Implementation of a geometry theorem proving package in SCRATCHPAD II

DOI10.1007/3-540-51517-8_123MaRDI QIDQ5393347zbMATH OpenOpenAlexFDO

Authors

Publication date 16 April 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-51517-8_123

zbMATH Keywords

\texttt{SCRATCHPAD II}

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to commutative algebra (13-04) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Software, source code, etc. for problems pertaining to geometry (51-04) Symbolic computation and algebraic computation (68W30)

Recommendations

• Automated Deduction in Geometry
• On the application of Buchberger's algorithm to automated geometry theorem proving
• Mechanical geometry theorem proving
• scientific article; zbMATH DE number 41286
• Mechanical theorem proving in projective geometry

Cited in

(5)

• On the application of Buchberger's algorithm to automated geometry theorem proving
• scientific article; zbMATH DE number 2247478 (Why is no real title available?)
• Automated Deduction in Geometry
• Geometry machines: from AI to SMC
• Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski

Describes a project that uses

Uses Software

• IBM Scratchpad

This page was built for publication: Implementation of a geometry theorem proving package in SCRATCHPAD II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5393347)