G
auss-
J
ordan-
E
lim-
F
un Dependents
2012
Markov Models
by
Johannes Hölzl
and
Tobias Nipkow
Jan 03