Automated Deduction in Geometry

DOI10.1007/b95516zbMath1193.68274OpenAlexW2489376520MaRDI QIDQ5902032

Lu Yang

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 graphics; computational geometry (digital and algorithmic aspects) (68U05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) General theory of distance geometry (51K05) Geometric constructions in real or complex geometry (51M15)

Related Items (2)

A characterisation of the generic rigidity of 2-dimensional point-line frameworks ⋮ Constructing a Tetrahedron with Prescribed Heights and Widths

This page was built for publication: Automated Deduction in Geometry