Login / Signup
A Computer Algebra System: Risa/Asir.
Masayuki Noro
Published in:
Algebra, Geometry, and Software Systems (2003)
Keyphrases
</>
computer algebra
theorem prover
computer algebra systems
artificial intelligence
bayesian networks
belief revision