Login / Signup
An Integer Construction of Infinitesimals: Toward a Theory of Eudoxus Hyperreals.
Alexandre V. Borovik
Renling Jin
Mikhail G. Katz
Published in:
Notre Dame J. Formal Log. (2012)
Keyphrases
</>
theoretical framework
data sets
neural network
machine learning
computational model
real time
multi agent
np hard
theoretical foundation
theoretical basis
construction process
formal theory