Implementation of a geometry theorem proving package in SCRATCHPAD II

DOI10.1007/3-540-51517-8_123zbMath1209.51001MaRDI QIDQ5393347

No author found.

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

68W30: Symbolic computation and algebraic computation

13-04: Software, source code, etc. for problems pertaining to commutative algebra

13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)

51-04: Software, source code, etc. for problems pertaining to geometry

Uses Software

• IBM Scratchpad