Can one design a geometry engine? - On the (un)decidability of certain affine Euclidean geometries.

Johann A. Makowsky

Published in: Ann. Math. Artif. Intell. (2019)

Keyphrases

case study
user interface
description logics
knowledge based systems
building blocks
design process
euclidean distance
engineering design
geometric constraints