Login / Signup
Formalization of Gaussian integers, Gaussian rational numbers, and their algebraic structures with Mizar.
Yuichi Futa
Daichi Mizushima
Hiroyuki Okazaki
Published in:
ISITA (2012)
Keyphrases
</>
algebraic structures
maximum likelihood
covariance matrices
artificial intelligence
decision making
similarity measure
gaussian mixture model
gaussian distribution
impulse response
neural network
computer assisted
formal model
gaussian mixture
gaussian model