Rust, Heinrich. Operational Semantics for Timed Systems. A
non-standard approach to uniform modeling of timed and hybrid systems.
LNCS 3456, Springer, 2005.
Strobel, Michael. Non-standard analysis in dynamic geometry. J. Symbolic Comput. 97 (2020), 69-108. https://mathscinet.ams.org/mathscinet-getitem?mr=4016612
See also
Stevin
Fermat
Euler
Cauchy
Riemann
Cantor
Skolem
Robinson
Infinitesimal topics
More on infinitesimals
Return to homepage