A Proof of Darboux's Theorem.

Sam B. Nadler Jr.

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

Keyphrases

interactive theorem proving
theorem prover
linear logic
theorem proving
search engine
database systems
von neumann
neural network
information retrieval
web services
clustering algorithm
decision trees
image sequences
multiscale
data structure
search algorithm