Login / Signup
On the way to certify Computer Algebra Systems.
Sylvain Boulmé
Thérèse Hardin
Daniel Hirschkoff
Valérie Ménissier-Morain
Renaud Rioboo
Published in:
Calculemus (1999)
Keyphrases
</>
computer algebra systems
computer algebra
theorem prover
theorem proving
first order logic
knowledge base