scientific article
From MaRDI portal
Publication:3745318
zbMath0606.68084MaRDI QIDQ3745318
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems ⋮ A review and prospect of readable machine proofs for geometry theorems ⋮ Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method
This page was built for publication:
