Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis.

John R. Cowles Ruben Gamboa

Published in: ACL2 (2014)

Keyphrases

real life
data sets
real world
search algorithm
database
artificial intelligence
reinforcement learning
data analysis
domain knowledge
statistical analysis
quantitative analysis