Monsters in Calculus.

Krzysztof Chris Ciesielski

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

Keyphrases

provably correct
database
data sets
real time
website
digital libraries
machine learning
learning algorithm
metadata
data structure
artificial neural networks
qualitative spatial reasoning
automated theorem proving