scientific article
From MaRDI portal
Publication:2796478
zbMath1335.51002MaRDI QIDQ2796478
Vesna Marinković, Pascal Mathis, Predrag Janičić, Pascal Schreck
Publication date: 24 March 2016
Full work available at URL: http://forumgeom.fau.edu/FG2016volume16/FG201610index.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
symbolic computationtheorem provingproblem solvingcomputer-based systemtriangle construction problems
Geometric constructions in real or complex geometry (51M15) Software, source code, etc. for problems pertaining to geometry (51-04)
Related Items (3)
Automated triangle constructions in hyperbolic geometry ⋮ On the reconstruction problem for Pascal lines ⋮ Unnamed Item
This page was built for publication:
