A constructive sequence algebra for the calculus of indications

DOI10.1007/s00500-020-05121-1zbMath1491.03084MaRDI 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

Mathematics Subject Classification ID

03G25: Other algebras related to logic

18B99: Special categories

18A15: Foundations, relations to logic and deductive systems

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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