scientific article; zbMATH DE number 861256
From MaRDI portal
Publication:4870980
zbMATH Open0843.26012MaRDI QIDQ4870980FDOQ4870980
Authors: Abraham Robinson
Publication date: 28 March 1996
Title of this publication is not available (Why is that?)
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
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)
Cited In (only showing first 100 items - show all)
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications
- Taking formalism seriously
- Commuting and noncommuting infinitesimals
- Conjugate-symplecticity properties of Euler-Maclaurin methods and their implementation on the infinity computer
- 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
- 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
- Examples of new nonstandard hulls of topological vector spaces
- Mathematics, ideology, and the politics of infinitesimals: mathematical logic and nonstandard analysis in modern China
- Quantum field theory in categorical quantum mechanics
- Numerical infinitesimals in a variable metric method for convex nonsmooth optimization
- Lexicographic multi-objective linear programming using grossone methodology: theory and algorithm
- Title not available (Why is that?)
- A functional interpretation for nonstandard arithmetic
- A new approach to the \(Z\)-transform through infinite computation
- Nonstandard analysis
- Title not available (Why is that?)
- Infinite-dimensional categorical quantum mechanics
- Infinite computations and the generic finite
- Asymptotics of families of solutions of nonlinear difference equations
- Dealing with zero-time transitions in axiom systems.
- To be or not to be constructive, that is not the question
- 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
- PDE and extrafunctions
- L'analyse non standard et la tradition de l'infini
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some paradoxes of infinity revisited
- Remarks on basics of fuzzy sets and fuzzy multisets
- Non-standard semantics of hybrid systems modelers
- Numerical computations and mathematical modelling with infinite and infinitesimal numbers
- Novel first and second order numerical differentiation techniques and their application to nonlinear analysis of Kirchhoff-Love shells
- A representative individual from Arrovian aggregation of parametric individual utilities
- Non-Archimedean game theory: a numerical approach
- A logic of interactive proofs
- A note on special cases derived from Nelson's martingale central limit theorem
- The Olympic medals ranks, lexicographic ordering, and numerical infinities
- Computations with grossone-based infinities
- The exact (up to infinitesimals) infinite perimeter of the Koch snowflake and its finite area
- Nonstandard central limit theorems for Markov chains
- New directions for nominalist philosophers of mathematics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Abraham Robinson, 1918-1974
- A graded Bayesian coherence notion
- Coalgebras in functional programming and type theory
- 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
- Are instantaneous velocities real and really instantaneous?: An argument for the affirmative
- On the prime spectrum of the ring of bounded nonstandard complex numbers
- Ergodicity of Markov processes via nonstandard analysis
- On the relation between elementary partial difference equations and partial differential equations
- Towards Quantum Field Theory in Categorical Quantum Mechanics
- Asymptotic solutions of nonlinear difference equations
- Title not available (Why is that?)
- Nonstandard analysis: its creator and place
- Infinitesimals from Leibniz to Robinson. Time to bring them back to school
- Title not available (Why is that?)
- 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*
- Pre‐Robinson approach to the theory of infinitesimals
- 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.
- Discrete sampling theorem to Shannon's sampling theorem using the hyperreal numbers \(^\ast\mathbb{R}\)
- Title not available (Why is that?)
- Некоторые замечания о нестандартных методах анализа. I
- Title not available (Why is that?)
- Comments on Edward Nelson’s “Internal set theory: A new approach to nonstandard analysis”
- RIGOUR AND PROOF
- Stability of Systems of General Functional Equations in the Compact-Open Topology
- Title not available (Why is that?)
- On a sequence formed by iterating a divisor operator.
- Implementing an automatic differentiator in ACL2
- Gordon's conjectures 1 and 2: Pontryagin-van Kampen duality in the hyperfinite setting
- On the algebraization of Henkin‐type second‐order logic
- The external fundamental group of an algebraic number field
- Limit-free derivatives
- Utility with fuzzy numbers
- Gaussian elimination for flexible systems of linear inclusions
- Mathematical analysis of functions of a non-Archimedean variable. A specialized mathematical tool for the description of the structural levels of geomedia
- The Geometric Theory of the Fundamental Germ
- A topological approach to infinity in physics and biophysics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Nonstandard Functional Programming Language
- Theory extension in ACL2(r)
- Title not available (Why is that?)
- 50 years of nonstandard analysis
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)