Login / Signup
Numerical Approach for Automatic Theorem Proving in Plane Geometry.
Siwen Guo
Published in:
INCoS (2013)
Keyphrases
</>
automatic theorem proving
three dimensional
euclidean geometry
real time
sensitivity analysis
projective geometry
database
qualitative and quantitative
artificial neural networks
geometric constraints
geometric information
free space
normal direction