Login / Signup

A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton's Principia.

Jacques D. FleuriotLawrence C. Paulson
Published in: CADE (1998)
Keyphrases
  • data analysis
  • statistical analysis
  • least squares
  • quantitative analysis
  • data sets
  • real world
  • video sequences
  • real time
  • databases
  • image analysis
  • software development
  • interior point methods
  • geometry theorem proving