Results 1 to 10 of about 187 (58)
Infinitesimals via Cauchy sequences: Refining the classical equivalence
Open Mathematics, 2021 A refinement of the classic equivalence relation among Cauchy sequences yields a useful infinitesimal-enriched number system. Such an approach can be seen as formalizing Cauchy’s sentiment that a null sequence “becomes” an infinitesimal.
Emanuele Bottazzi, Mikhail G Katz
exaly +2 more sources
The explicit formula for Gauss-Jordan elimination applied to flexible systems
Special Matrices, 2022 Flexible systems are obtained from systems of linear equations by adding to the elements of the coefficient matrix and the right-hand side scalar neutrices, which are convex groups of (non-standard) real numbers.
Tran Nam Van +2 more
doaj +1 more source
A topological interpretation of three Leibnizian principles within the functional extensions [PDF]
Logical Methods in Computer Science, 2018 Three philosophical principles are often quoted in connection with Leibniz: "objects sharing the same properties are the same object" (Identity of indiscernibles), "everything can possibly exist, unless it yields contradiction" (Possibility as ...
Marco Forti
doaj +1 more source
An algebraic model for the propagation of errors in matrix calculus
Special Matrices, 2020 We assume that every element of a matrix has a small, individual error, and model it by an external number, which is the sum of a nonstandard real number and a neutrix, the latter being a convex (external) additive group.
Van Tran Nam, van den Berg Imme
doaj +1 more source
Metric completions, the Heine-Borel property, and approachability
Open Mathematics, 2020 We show that the metric universal cover of a plane with a puncture yields an example of a nonstandard hull properly containing the metric completion of a metric space.
Kanovei Vladimir +2 more
doaj +1 more source
Calculus using proximities: a mathematical approach in which students can actually prove theorems
Open Mathematics, 2017 Teaching and learning calculus are notoriously difficult and the didactic solutions may involve resorting to intuitive but vague definitions or informal gestures offered as proofs.
O’Donovan Richard
doaj +1 more source
Categories of First-Order Quantifiers [PDF]
, 2018 One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories
Adam Nowaczyk +13 more
core +2 more sources
Mixed characteristic homological theorems in low degrees [PDF]
, 2002 Let R be a locally finitely generated algebra over a discrete valuation ring V of mixed characteristic. For any of the homological properties, the Direct Summand Theorem, the Monomial Theorem, the Improved New Intersection Theorem, the Vanishing of Maps ...
Schoutens, Hans
core +3 more sources
Time averaging for functional differential equations
Journal of Applied Mathematics, Volume 2003, Issue 1, Page 1-16, 2003., 2003 We present a result on the averaging for functional differential equations on finite time intervals. The result is formulated in both classical mathematics and nonstandard analysis; its proof uses some methods of nonstandard analysis.
Mustapha Lakrib
wiley +1 more source
The method of averaging and functional differential equations with delay
International Journal of Mathematics and Mathematical Sciences, Volume 26, Issue 8, Page 497-511, 2001., 2001 We present a natural extension of the method of averaging to fast oscillating functional differential equations with delay. Unlike the usual approach where the analysis is kept in an infinite‐dimensional Banach space, our analysis is achieved in ℝn. Our results are formulated in classical mathematics. They are proved within Internal Set Theory which is
Mustapha Lakrib
wiley +1 more source