The following pages link to (Q4039861):
Displaying 16 items.
- Zeno's arrow and the infinitesimal calculus (Q514100) (← links)
- Generalized functions and non-standard analysis (Q674560) (← links)
- Incommensurables and incomparables: On the conceptual status and the philosophical use of hyperreal numbers (Q701303) (← links)
- On a nonstandard Brownian motion and its maximal function (Q1618391) (← links)
- Divergent mathematical treatments in utility theory (Q1706758) (← links)
- Supermanifolds and sequences of computable structures: A link via a nonstandard extension of differential geometry (Q1809711) (← links)
- Internal approach to external sets and universes. I: Bounded set theory (Q1902552) (← links)
- Internal approach to external sets and universes. III. Partially saturated universes (Q1919980) (← links)
- Geometric singular perturbation theory in biological practice (Q2340016) (← links)
- Hyperalgebraic primitive elements for relational algebraic and topological algebraic models (Q2563459) (← links)
- Theory extension in ACL2(r) (Q2642461) (← links)
- Functions of limited accumulation (Q2987770) (← links)
- Weyl and Intuitionistic Infinitesimals (Q3297255) (← links)
- CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES (Q5884256) (← links)
- The surfaces capable of division into infinitesimal squares by their curves of curvature: a nonstandard-analysis approach to classical differential geometry. (Q5949253) (← links)
- Implementing an automatic differentiator in ACL2 (Q6586532) (← links)
