scientific article
From MaRDI portal
Publication:3491012
zbMath0708.68079MaRDI QIDQ3491012
Publication date: 1989
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 (5)
Geometric constraint solving with geometric transformation ⋮ Elimination procedures for mechanical theorem proving in geometry ⋮ Resultant elimination via implicit equation interpolation ⋮ Algebraic factoring and geometry theorem proving ⋮ An automated study of isoptic curves of an astroid
This page was built for publication:
