Login / Signup
Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle.
Jacques D. Fleuriot
Lawrence C. Paulson
Published in:
Automated Deduction in Geometry (1998)
Keyphrases
</>
quantitative analysis
three dimensional
data analysis
real time
databases
hidden markov models
statistical analysis