Implementation of a geometry theorem proving package in SCRATCHPAD II

DOI10.1007/3-540-51517-8_123zbMath1209.51001OpenAlexW1480001877MaRDI 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

Symbolic computation and algebraic computation (68W30) 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)

Uses Software

• Unnamed Item

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