Login / Signup
Proof and Computation in Geometry.
Michael Beeson
Published in:
Automated Deduction in Geometry (2012)
Keyphrases
</>
geometry theorem proving
three dimensional
data sets
geometric information
viewpoint
social networks
theorem proving
linear logic
efficiently computing