A New Proof of Darboux's Theorem.

Published in: Am. Math. Mon. (2004)

Keyphrases

interactive theorem proving
theorem proving
data sets
real time
digital libraries
machine learning
information systems
clustering algorithm
case study
knowledge representation
natural deduction
complete axiomatization