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