Transcendental functions and mechanical theorem proving in elementary geometries
From MaRDI portal
Publication:805606
DOI10.1007/BF00244356zbMath0729.03006OpenAlexW2080260105MaRDI QIDQ805606
Publication date: 1990
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00244356
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Learning to solve geometric construction problems from images ⋮ Elimination procedures for mechanical theorem proving in geometry ⋮ ``Russian killer No. 2: a challenging geometric theorem with human and machine proofs. ⋮ Algebraic factoring and geometry theorem proving
This page was built for publication: Transcendental functions and mechanical theorem proving in elementary geometries