Tarski's Geometry and the Euclidean Plane in Mizar.

Adam Grabowski Roland Coghetto

Published in: FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)

Keyphrases

euclidean plane
computer assisted
three dimensional
machine learning
image segmentation
expert systems
data sets
information systems
multiresolution
geometric constraints
geometric structure