A certified version of Buchberger's algorithm
From MaRDI portal
Recommendations
- A machine-checked implementation of Buchberger's algorithm
- Improved Buchberger's algorithm
- scientific article; zbMATH DE number 782043
- scientific article; zbMATH DE number 915924
- Verified approximation algorithms
- Verified Approximation Algorithms
- On an installation of Buchberger's algorithm
- Certified Algorithms: Worst-Case Analysis and Beyond
- Certification of breadth-first algorithms by extraction
- Certifying algorithms
Cited in
(17)- Certifying properties of an efficient functional program for computing Gröbner bases
- A verified common lisp implementation of Buchberger's algorithm in ACL2
- A certified program for the Karatsuba method to multiply polynomials
- Certification of breadth-first algorithms by extraction
- Complexity analysis of the bivariate Buchberger algorithm in Theorema
- A refinement-based approach to computational algebra in Coq
- Proof certificates for algebra and their application to automatic geometry theorem proving
- Proving Formally the Implementation of an Efficient gcd Algorithm for Polynomials
- scientific article; zbMATH DE number 1163431 (Why is no real title available?)
- scientific article; zbMATH DE number 1163435 (Why is no real title available?)
- A formal proof of Sasaki-Murao algorithm
- Buchberger's algorithm: the term rewriter's point of view (extended abstract)
- A mechanical verification of the stressing algorithm for negative cost cycle detection in networks
- Computer Aided Systems Theory – EUROCAST 2005
- Artificial Intelligence and Symbolic Computation
- An interactive user interface for division algorithms and the Buchberger algorithm
- Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants
This page was built for publication: A certified version of Buchberger's algorithm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249903)
