Observability in the univalent universe (Q2675950): Difference between revisions

@@ Property / cites work @@
+From Sets to Types, to Categories, to Sets
@@ Property / cites work: From Sets to Types, to Categories, to Sets / rank @@
+Normal rank
@@ Property / cites work @@
+The Sierpinski curve viewed by numerical computations with infinities and infinitesimals
+Normal rank
@@ Property / cites work @@
+Lexicographic multi-objective linear programming using grossone methodology: theory and algorithm
+Normal rank
@@ Property / cites work @@
+Solving the lexicographic multi-objective mixed-integer linear programming problem using branch-and-bound and grossone methodology
+Normal rank
@@ Property / cites work @@
+Isomorphism is equality
@@ Property / cites work: Isomorphism is equality / rank @@
+Normal rank
@@ Property / cites work @@
+Cellular automata using infinite computations
@@ Property / cites work: Cellular automata using infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5258132
@@ Property / cites work: Q5258132 / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of one-dimensional cellular automata using infinite computations
+Normal rank
@@ Property / cites work @@
+The use of grossone in mathematical programming and operations research
+Normal rank
@@ Property / cites work @@
+An Invitation to Applied Category Theory
@@ Property / cites work: An Invitation to Applied Category Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Survey article: an elementary illustrated introduction to simplicial sets
+Normal rank
@@ Property / cites work @@
+Q4247303
@@ Property / cites work: Q4247303 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretation of percolation in terms of infinity computations
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-categories and Kan complexes
@@ Property / cites work: Quasi-categories and Kan complexes / rank @@
+Normal rank
@@ Property / cites work @@
+The simplicial model of univalent foundations (after Voevodsky)
+Normal rank
@@ Property / cites work @@
+Infinite computations and the generic finite
@@ Property / cites work: Infinite computations and the generic finite / rank @@
+Normal rank
@@ Property / cites work @@
+Identity in Homotopy Type Theory, Part I: The Justification of Path Induction
+Normal rank
@@ Property / cites work @@
+A Cubical Approach to Synthetic Homotopy Theory
@@ Property / cites work: A Cubical Approach to Synthetic Homotopy Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigations on the theory of grossone
+Normal rank
@@ Property / cites work @@
+Infinitesimals and infinites in the history of mathematics: a brief survey
+Normal rank
@@ Property / cites work @@
+Weak omega-categories from intensional type theory
+Normal rank
@@ Property / cites work @@
+Higher Topos Theory (AM-170)
@@ Property / cites work: Higher Topos Theory (AM-170) / rank @@
+Normal rank
@@ Property / cites work @@
+Q3588180
@@ Property / cites work: Q3588180 / rank @@
+Normal rank
@@ Property / cites work @@
+Using grossone to count the number of elements of infinite sets and the connection with bijections
+Normal rank
@@ Property / cites work @@
+Q4099613
@@ Property / cites work: Q4099613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Taking the Pirahã seriously
@@ Property / cites work: Taking the Pirahã seriously / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771728
@@ Property / cites work: Q2771728 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy type theory and Voevodsky’s univalent foundations
+Normal rank
@@ Property / cites work @@
+Elements of ∞-Category Theory
@@ Property / cites work: Elements of ∞-Category Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Study of Mathematical Determination through Bertrand’s Paradox
+Normal rank
@@ Property / cites work @@
+A new applied approach for executing computations with infinite and infinitesimal quantities
+Normal rank
@@ Property / cites work @@
+Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically
+Normal rank
@@ Property / cites work @@
+Numerical infinities and infinitesimals: methodology, applications, and repercussions on two Hilbert problems
+Normal rank
@@ Property / cites work @@
+Q3064583
@@ Property / cites work: Q3064583 / rank @@
+Normal rank
@@ Property / cites work @@
+On strong homogeneity of a class of global optimization algorithms working with infinite and infinitesimal scales
+Normal rank
@@ Property / cites work @@
+Q5286647
@@ Property / cites work: Q5286647 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+Q5563362
@@ Property / cites work: Q5563362 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing sums of conditionally convergent and divergent series using the concept of grossone
+Normal rank