scientific article
From MaRDI portal
Publication:3668379
zbMath0519.51001MaRDI QIDQ3668379
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Automated production of traditional proofs in solid geometry, On the application of Buchberger's algorithm to automated geometry theorem proving, Geometric constraint solving with geometric transformation, Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle, On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving, Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems, The parallel numerical method of mechanical theorem proving, Computer assistance for ``discovering formulas in system engineering and operator theory
