Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics
Loïc PottierPublished in: CoRR (2010)
Keyphrases
- numerically stable
- theorem prover
- computer programs
- boolean algebra
- theorem proving
- three dimensional
- formal proof
- methods in computer vision
- polynomial equations
- query language
- algebraic expressions
- geometric information
- numerical stability
- inference rules
- basis functions
- image analysis
- formal methods
- first order logic
- data model
- algebraic structure
- database systems
- answer sets
- databases
- relational algebra
- algebraic geometry