scientific article; zbMATH DE number 861256

Publication date 28 March 1996

history of analysis model theory nonstandard analysis

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of real functions (26-03) Development of contemporary mathematics (01A65) Nonstandard models in mathematics (03H05) Research exposition (monographs, survey articles) pertaining to real functions (26-02) Nonstandard analysis (26E35)

Recommendations

Publication:4863288
scientific article; zbMATH DE number 3901082
scientific article; zbMATH DE number 444623
scientific article; zbMATH DE number 3855103
scientific article; zbMATH DE number 2106998
Nonstandard universe based on internal set theory
scientific article; zbMATH DE number 46858
scientific article; zbMATH DE number 3933369
scientific article; zbMATH DE number 3957495
scientific article; zbMATH DE number 2123611

Cited in

(only showing first 100 items - show all)

scientific article; zbMATH DE number 4077156 (Why is no real title available?)
Nonstandard analysis: its creator and place
Infinitesimals from Leibniz to Robinson. Time to bring them back to school
From hybrid automata to DAE-based modeling
A new computational methodology using infinite and infinitesimal numbers
scientific article; zbMATH DE number 1738105 (Why is no real title available?)
scientific article; zbMATH DE number 3981121 (Why is no real title available?)
``But this idea of yours has universal significance and extraordinary value (from the prehistory of nonstandard analysis)
Modular invariant of quantum tori
Reflections on the Axiomatic Approach to Continuity
Taking physical infinity seriously
Curt Schmieden's Non-standard Analysis - A Method of Dissolving the Standard Paradoxes of Analysis*
A temporal logic for micro- and macro-step-based real-time systems: foundations and applications
Pre‐Robinson approach to the theory of infinitesimals
Taking formalism seriously
Calculus on a non-Archimedean field extension of the real numbers: inverse function theorem, intermediate value theorem and mean value theorem
Infinitesimal analysis. Part I.
Commuting and noncommuting infinitesimals
Conjugate-symplecticity properties of Euler-Maclaurin methods and their implementation on the infinity computer
Discrete sampling theorem to Shannon's sampling theorem using the hyperreal numbers \(^\ast\mathbb{R}\)
The hybrid real number system
Interval arithmetic over finitely many endpoints
Incommensurables and incomparables: On the conceptual status and the philosophical use of hyperreal numbers
Некоторые замечания о нестандартных методах анализа. I
scientific article; zbMATH DE number 7592852 (Why is no real title available?)
On strong homogeneity of a class of global optimization algorithms working with infinite and infinitesimal scales
Independence of the grossone-based infinity methodology from non-standard analysis and comments upon logical fallacies in some texts asserting the opposite
scientific article; zbMATH DE number 46858 (Why is no real title available?)
Examples of new nonstandard hulls of topological vector spaces
Comments on Edward Nelson’s “Internal set theory: A new approach to nonstandard analysis”
Numerical infinitesimals in a variable metric method for convex nonsmooth optimization
Quantum field theory in categorical quantum mechanics
Mathematics, ideology, and the politics of infinitesimals: mathematical logic and nonstandard analysis in modern China
Stability of Systems of General Functional Equations in the Compact-Open Topology
RIGOUR AND PROOF
Lexicographic multi-objective linear programming using grossone methodology: theory and algorithm
scientific article; zbMATH DE number 4004184 (Why is no real title available?)
scientific article; zbMATH DE number 7649902 (Why is no real title available?)
A functional interpretation for nonstandard arithmetic
A new approach to the \(Z\)-transform through infinite computation
On a sequence formed by iterating a divisor operator.
Nonstandard analysis
Implementing an automatic differentiator in ACL2
Gordon's conjectures 1 and 2: Pontryagin-van Kampen duality in the hyperfinite setting
Infinite computations and the generic finite
scientific article; zbMATH DE number 44113 (Why is no real title available?)
Asymptotics of families of solutions of nonlinear difference equations
On the algebraization of Henkin‐type second‐order logic
To be or not to be constructive, that is not the question
Dealing with zero-time transitions in axiom systems.
Infinite-dimensional categorical quantum mechanics
Numerical point of view on calculus for functions assuming finite, infinite, and infinitesimal values over finite, infinite, and infinitesimal domains
Interpretation of percolation in terms of infinity computations
Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically
Strong non-standard completeness for fuzzy logics
A local stability principle for continuous group homomorphisms in nonstandard setting
Non-standard analysis revisited: an easy axiomatic presentation oriented towards numerical applications
The external fundamental group of an algebraic number field
PDE and extrafunctions
Limit-free derivatives
L'analyse non standard et la tradition de l'infini
Utility with fuzzy numbers
scientific article; zbMATH DE number 488527 (Why is no real title available?)
scientific article; zbMATH DE number 6325220 (Why is no real title available?)
Remarks on basics of fuzzy sets and fuzzy multisets
Some paradoxes of infinity revisited
Mathematical analysis of functions of a non-Archimedean variable. A specialized mathematical tool for the description of the structural levels of geomedia
Non-standard semantics of hybrid systems modelers
Gaussian elimination for flexible systems of linear inclusions
Numerical computations and mathematical modelling with infinite and infinitesimal numbers
A representative individual from Arrovian aggregation of parametric individual utilities
Novel first and second order numerical differentiation techniques and their application to nonlinear analysis of Kirchhoff-Love shells
The Geometric Theory of the Fundamental Germ
A topological approach to infinity in physics and biophysics
Non-Archimedean game theory: a numerical approach
A note on special cases derived from Nelson's martingale central limit theorem
A logic of interactive proofs
The Olympic medals ranks, lexicographic ordering, and numerical infinities
Computations with grossone-based infinities
scientific article; zbMATH DE number 4164841 (Why is no real title available?)
The exact (up to infinitesimals) infinite perimeter of the Koch snowflake and its finite area
New directions for nominalist philosophers of mathematics
Nonstandard central limit theorems for Markov chains
scientific article; zbMATH DE number 3901081 (Why is no real title available?)
scientific article; zbMATH DE number 3901082 (Why is no real title available?)
scientific article; zbMATH DE number 4183362 (Why is no real title available?)
A graded Bayesian coherence notion
scientific article; zbMATH DE number 3813557 (Why is no real title available?)
Coalgebras in functional programming and type theory
Abraham Robinson, 1918-1974
scientific article; zbMATH DE number 764898 (Why is no real title available?)
Are instantaneous velocities real and really instantaneous?: An argument for the affirmative
A Nonstandard Functional Programming Language
A generalized Taylor method of order three for the solution of initial value problems in standard and infinity floating-point arithmetic
On a nonstandard Brownian motion and its maximal function
Bounded energy exchange as an alternative to the third law of thermodynamics
Theory extension in ACL2(r)
scientific article; zbMATH DE number 923871 (Why is no real title available?)
On the prime spectrum of the ring of bounded nonstandard complex numbers
On the relation between elementary partial difference equations and partial differential equations

This page was built for publication:

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