A constructive sequence algebra for the calculus of indications
From MaRDI portal
Publication:2156896
DOI10.1007/s00500-020-05121-1zbMath1491.03084OpenAlexW3042426934MaRDI QIDQ2156896
Rocco Gangle, Gianluca Caterina, Fernando A. Tohmé
Publication date: 21 July 2022
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00500-020-05121-1
Other algebras related to logic (03G25) Special categories (18B99) Foundations, relations to logic and deductive systems (18A15)
Related Items
Some paradoxes of infinity revisited, To the special issue dedicated to the 3rd international conference ``Numerical computations: theory and algorithms -- NUMTA 2019 June 15--21, 2019, Isola Capo Rizzuto, Italy, Lower and upper estimates of the quantity of algebraic numbers, A new cutting plane method for lexicographic multi-objective integer linear programming
Cites Work
- A classification of one-dimensional cellular automata using infinite computations
- Infinitesimals and infinites in the history of mathematics: a brief survey
- The use of grossone in mathematical programming and operations research
- Computing sums of conditionally convergent and divergent series using the concept of grossone
- Cellular automata using infinite computations
- Interpretation of percolation in terms of infinity computations
- Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically
- Taking the Pirahã seriously
- Using grossone to count the number of elements of infinite sets and the connection with bijections
- Conjugate-symplecticity properties of Euler-Maclaurin methods and their implementation on the infinity computer
- Solving the lexicographic multi-objective mixed-integer linear programming problem using branch-and-bound and grossone methodology
- On strong homogeneity of a class of global optimization algorithms working with infinite and infinitesimal scales
- Numerical infinities and infinitesimals: methodology, applications, and repercussions on two Hilbert problems
- Lexicographic multi-objective linear programming using grossone methodology: theory and algorithm
- The Sierpinski curve viewed by numerical computations with infinities and infinitesimals
- Iconicity and abduction: a categorical approach to creative hypothesis-formation in Peirce's existential graphs
- A Study of Mathematical Determination through Bertrand’s Paradox
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
