An XML-Format for Conjectures in Geometry (Work-in-Progress)

Published in: CoRR (2012)

Keyphrases

xml format
geometry theorem proving
metadata
xml files
three dimensional
xml data
data sets
databases
neural network
computer vision
geometric constraints
xml documents
d objects