Back to Search
Start Over
Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops
- Publication Year :
- 2010
-
Abstract
- We present novel Gr"obner basis algorithms based on saturation loops used by modern superposition theorem provers. We illustrate the practical value of the algorithms through an experimental implementation within the Z3 SMT solver.
Details
- Database :
- OAIster
- Notes :
- application/pdf, English
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.ocn883643437
- Document Type :
- Electronic Resource
- Full Text :
- https://doi.org/10.4230.DagSemProc.10161.3