Automated Deduction in Geometry

DOI10.1007/b95516zbMath1202.68455OpenAlexW2489376520MaRDI QIDQ5902027

J. C. Owen, Stephen C. Power

Publication date: 4 June 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b95516

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07) Planar graphs; geometric and topological aspects of graph theory (05C10)

Related Items (1)

The non-solvability by radicals of generic 3-connected planar Laman graphs

This page was built for publication: Automated Deduction in Geometry