Formalizing complex plane geometry.

Filip Maric Danijela Petrovic

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

Keyphrases

three dimensional
real world
artificial intelligence
euclidean geometry
real time
neural network
case study
viewpoint
complex data
computationally intensive
projective geometry