Revision as of 08:03, 1 June 2025 edit Rodw (talk \| contribs) Autopatrolled, Event coordinators, Extended confirmed users, New page reviewers, Pending changes reviewers, Rollbackers 840,827 edits m Disambiguating links to Python (link changed to Python (programming language)) using DisamAssist. ← Previous edit		Latest revision as of 14:35, 1 June 2025 edit undo Jevan (talk \| contribs) 142 edits m →Implementations: Disambiguation of Coq link
Line 41: There is an implementation of Buchberger’s algorithm that has been proved correct within the proof assistant [[Coq (proof assistant)\|Coq]].<ref>{{cite journal \|last1=Théry \|first1=Laurent \|title=A Machine-Checked Implementation of Buchberger's Algorithm \|journal=Journal of Automated Reasoning \|date=2001 \|volume=26 \|issue=2 \|pages=107–137 \|doi=10.1023/A:1026518331905}}</ref> == See also ==

Buchberger's algorithm: Difference between revisions