A constructive sequence algebra for the calculus of indications

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

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Special categories (18B99) Foundations, relations to logic and deductive systems (18A15)

Related Items (4)

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

• 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

This page was built for publication: A constructive sequence algebra for the calculus of indications