Neutrices and External Numbers

DOI10.1201/9780429291456MaRDI QIDQ5381201zbMATH OpenOpenAlexFDO

Authors Bruno Dinis, I. P. Van den Berg

Publication date 7 June 2019

Full work available at URL https://doi.org/10.1201/9780429291456

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Nonstandard models in mathematics (03H05)

Recommendations

• Algebraic properties of external numbers
• Axiomatics for the external numbers of nonstandard analysis
• An algebraic model for the propagation of errors in matrix calculus
• On flexible sequences
• How to measure the infinite. Mathematics with infinite and infinitesimal numbers

Cited in

(13)

• The explicit formula for Gauss-Jordan elimination applied to flexible systems
• An algebraic model for the propagation of errors in matrix calculus
• CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES
• On Non-linear Optimization with a Perturbed Objective Function
• Equality and Near-Equality in a Nonstandard World
• Stateful Realizers for Nonstandard Analysis
• Some representations of unlimited natural numbers
• Gaussian elimination for flexible systems of linear inclusions
• Strolling through common meadows
• Realizability with stateful computations for nonstandard analysis
• Infinite number of changes of sign for a difference of two number-theoretic functions
• Counterparts as near-equals
• A theory of marginal and large difference

This page was built for publication: Neutrices and External Numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5381201)