Login / Signup
Verified Computer Algebra in Acl2. Gröbner Bases Computation.
Inmaculada Medina-Bulo
Francisco Palomo-Lozano
José A. Alonso-Jiménez
José-Luis Ruiz-Reina
Published in:
AISC (2004)
Keyphrases
</>
computer algebra
numerically stable
theorem prover
numerical stability
computer vision
computer algebra systems
polynomial equations
methods in computer vision
real time
artificial intelligence
knowledge base
efficient computation