The following pages link to (Q4870980):
Displaying 50 items.
- Infinite computations and the generic finite (Q299410) (← links)
- Nonstandard analysis: its creator and place (Q383351) (← links)
- Numerical point of view on calculus for functions assuming finite, infinite, and infinitesimal values over finite, infinite, and infinitesimal domains (Q419992) (← links)
- Non-standard semantics of hybrid systems modelers (Q439952) (← links)
- Interpretation of percolation in terms of infinity computations (Q440670) (← links)
- Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically (Q470915) (← links)
- A graded Bayesian coherence notion (Q488471) (← links)
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- A representative individual from Arrovian aggregation of parametric individual utilities (Q617616) (← links)
- New directions for nominalist philosophers of mathematics (Q625702) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Interval arithmetic over finitely many endpoints (Q695060) (← links)
- Incommensurables and incomparables: On the conceptual status and the philosophical use of hyperreal numbers (Q701303) (← links)
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Are instantaneous velocities real and really instantaneous?: An argument for the affirmative (Q720562) (← links)
- Remarks on basics of fuzzy sets and fuzzy multisets (Q812588) (← links)
- A note on special cases derived from Nelson's martingale central limit theorem (Q891939) (← links)
- The Olympic medals ranks, lexicographic ordering, and numerical infinities (Q897011) (← links)
- Asymptotic solutions of nonlinear difference equations (Q999705) (← links)
- Asymptotics of families of solutions of nonlinear difference equations (Q1000869) (← links)
- Numerical computations and mathematical modelling with infinite and infinitesimal numbers (Q1032541) (← links)
- On the relation between elementary partial difference equations and partial differential equations (Q1295376) (← links)
- Taking formalism seriously (Q1317509) (← links)
- On a nonstandard Brownian motion and its maximal function (Q1618391) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- Bounded energy exchange as an alternative to the third law of thermodynamics (Q1700971) (← links)
- PDE and extrafunctions (Q1768059) (← links)
- Dealing with zero-time transitions in axiom systems. (Q1854267) (← links)
- Conjugate-symplecticity properties of Euler-Maclaurin methods and their implementation on the infinity computer (Q1989370) (← links)
- Non-standard analysis revisited: an easy axiomatic presentation oriented towards numerical applications (Q2140979) (← links)
- Some paradoxes of infinity revisited (Q2148333) (← links)
- Novel first and second order numerical differentiation techniques and their application to nonlinear analysis of Kirchhoff-Love shells (Q2150252) (← links)
- A logic of interactive proofs (Q2151405) (← links)
- A topological approach to infinity in physics and biophysics (Q2152376) (← links)
- The exact (up to infinitesimals) infinite perimeter of the Koch snowflake and its finite area (Q2199469) (← links)
- On strong homogeneity of a class of global optimization algorithms working with infinite and infinitesimal scales (Q2205849) (← links)
- A new approach to the \(Z\)-transform through infinite computation (Q2207702) (← links)
- A generalized Taylor method of order three for the solution of initial value problems in standard and infinity floating-point arithmetic (Q2229113) (← links)
- Non-Archimedean game theory: a numerical approach (Q2244113) (← links)
- Independence of the grossone-based infinity methodology from non-standard analysis and comments upon logical fallacies in some texts asserting the opposite (Q2289686) (← links)
- A local stability principle for continuous group homomorphisms in nonstandard setting (Q2354651) (← links)
- The hybrid real number system (Q2383502) (← links)
- Lexicographic multi-objective linear programming using grossone methodology: theory and algorithm (Q2422877) (← links)
- Numerical infinitesimals in a variable metric method for convex nonsmooth optimization (Q2422878) (← links)
- Strong non-standard completeness for fuzzy logics (Q2466757) (← links)
- The external fundamental group of an algebraic number field (Q2476522) (← links)
- Theory extension in ACL2(r) (Q2642461) (← links)
- NONSTANDARD CENTRAL LIMIT THEOREMS FOR MARKOV CHAINS (Q2907971) (← links)
- Natural Numbers and Infinitesimals (Q2909760) (← links)
- Modular invariant of quantum tori (Q2930135) (← links)
