scientific article; zbMATH DE number 1303350
From MaRDI portal
Publication:4249903
zbMATH Open0924.03025MaRDI QIDQ4249903FDOQ4249903
Authors: Laurent Théry 
Publication date: 15 November 1999
Title of this publication is not available (Why is that?)
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
Mechanization of proofs and logical operations (03B35) Number-theoretic algorithms; complexity (11Y16)
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
- Title not available (Why is that?)
- Artificial Intelligence and Symbolic Computation
- A refinement-based approach to computational algebra in Coq
- 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
Uses Software
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)
