Infinite Games on Finite Graphs Using Grossone
From MaRDI portal
Cites work
- A classification of one-dimensional cellular automata using infinite computations
- A new applied approach for executing computations with infinite and infinitesimal quantities
- Automata theory and its applications
- Computations with grossone-based infinities
- scientific article; zbMATH DE number 2129479 (Why is no real title available?)
- Infinite games played on finite graphs
- Infinitesimals and infinites in the history of mathematics: a brief survey
- Lexicographic multi-objective linear programming using grossone methodology: theory and algorithm
- Metamathematical investigations on the theory of grossone
- Nonlinear programming and grossone: quadratic programing and the role of constraint qualifications
- Numerical infinities and infinitesimals: methodology, applications, and repercussions on two Hilbert problems
- Ø. Linnebo, Philosophy of Mathematics, Princeton Foundations of Contemporary Philosophy, Princeton University Press, Princeton, NJ, 2017, vi + 203 pp.
- Observability of Turing machines: a refinement of the theory of computation
- Planar methods and grossone for the conjugate gradient breakdown in nonlinear programming
- Taking the Pirahã seriously
- The exact measures of the Sierpiński \(d\)-dimensional tetrahedron in connection with a Diophantine nonlinear system
- The Olympic medals ranks, lexicographic ordering, and numerical infinities
- Using grossone to count the number of elements of infinite sets and the connection with bijections
Cited in
(9)- Infinite games played on finite graphs
- Domination games on infinite graphs
- Weak observable liveness and infinite games on finite graphs
- Non-Archimedean zero-sum games
- 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
- Admissible Strategies in Infinite Games over Graphs
- scientific article; zbMATH DE number 1953100 (Why is no real title available?)
- Computer Aided Verification
This page was built for publication: Infinite Games on Finite Graphs Using Grossone
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5122310)