Certified version of Buchberger's algorithm
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 349-364
- https://doi.org/10.1007/bfb0054271
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation SystemsPublished by Springer Nature ,1996
- Extracting text from proofsPublished by Springer Nature ,1995
- Extending the HOL theorem prover with a computer algebra system to reason about the realsPublished by Springer Nature ,1994
- Synthesis of ML programs in the system CoqJournal of Symbolic Computation, 1993
- Reasoning about functional programs in NuprlPublished by Springer Nature ,1993
- First Leaves: A Tutorial Introduction to Maple VPublished by Springer Nature ,1992
- Analytica — A theorem prover in mathematicaPublished by Springer Nature ,1992
- Little theoriesPublished by Springer Nature ,1992
- Algorithms for Computer AlgebraPublished by Springer Nature ,1992
- Constructing recursion operators in intuitionistic type theoryJournal of Symbolic Computation, 1986