Image de couverture de livre

Solving Homotopy Domain Equations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Martínez-Rivillas, Daniel O., de Queiroz, Ruy J. G. B.
Format:	Preprint
Publié:	2021
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The $K_\infty$ Homotopy $λ$-Model
par: Martínez-Rivillas, Daniel O., et autres
Publié: (2025)

Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model
par: Martinez-Rivillas, Daniel O., et autres
Publié: (2026)

Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL
par: Hulak, David B., et autres
Publié: (2026)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
par: Gratzer, Daniel, et autres
Publié: (2024)

Token-Sensitive Enclosure Semantics for Measurement-Bearing Expressions
par: Hulak, David B., et autres
Publié: (2026)

Stokes' Theorem for Smooth Singular Cubes in Lean 4: True Pullback, Bridges to mathlib4, and Chain-Level d^2=0
par: Hulak, David B., et autres
Publié: (2026)

Computational Paths Form a Weak ω-Groupoid
par: Ramos, Arthur F., et autres
Publié: (2025)

Coslice Colimits in Homotopy Type Theory
par: Hart, Perry, et autres
Publié: (2024)

On Solving String Equations via Powers and Parikh Images
par: Eisenhofer, Clemens, et autres
Publié: (2026)

Homotopy type theory as a language for diagrams of $\infty$-logoses
par: Uemura, Taichi
Publié: (2022)

SMT and Functional Equation Solving over the Reals: Challenges from the IMO
par: Brown, Chad E., et autres
Publié: (2025)

On Planarity of Graphs in Homotopy Type Theory
par: Prieto-Cubides, Jonathan, et autres
Publié: (2021)

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda
par: Brough, Jackson
Publié: (2026)

Discrete Homotopy and Promise Constraint Satisfaction Problem
par: Beikmohammadi, Arash, et autres
Publié: (2025)

Ext groups in Homotopy Type Theory
par: Christensen, J. Daniel, et autres
Publié: (2023)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
par: de Jong, Tom
Publié: (2024)

Deciding Equations in the Time Warp Algebra
par: van Gool, Sam, et autres
Publié: (2023)

Polynomial Universes in Homotopy Type Theory
par: Aberlé, C. B., et autres
Publié: (2024)

Equational Bit-Vector Solving via Strong Gröbner Bases
par: Song, Jiaxin, et autres
Publié: (2024)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
par: Lyon, Tim S.
Publié: (2024)

Faster Game Solving by Fixpoint Acceleration
par: Hausmann, Daniel
Publié: (2024)

Learning Branching-Time Properties in CTL and ATL via Constraint Solving
par: Bordais, Benjamin, et autres
Publié: (2024)

Symmetric Monoidal Smash Products in Homotopy Type Theory
par: Ljungström, Axel
Publié: (2024)

Computational Synthetic Cohomology Theory in Homotopy Type Theory
par: Ljungström, Axel, et autres
Publié: (2024)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
par: Pinsker, Michael, et autres
Publié: (2025)

Meaning as Use, Application, Employment, Purpose, Usefulness
par: de Queiroz, Ruy J. G. B.
Publié: (2025)

From the Notebooks to the Investigations and Beyond
par: de Queiroz, Ruy J. G. B.
Publié: (2025)

Operations on Fixpoint Equation Systems
par: Neele, Thomas, et autres
Publié: (2023)

Network Satisfaction Problems Solved by k-Consistency
par: Bodirsky, Manuel, et autres
Publié: (2023)

Formalising and Computing the Fourth Homotopy Group of the $3$-Sphere in Cubical Agda
par: Ljungström, Axel, et autres
Publié: (2023)

Finding Connections via Satisfiability Solving
par: Eisenhofer, Clemens, et autres
Publié: (2026)

Spanning Matrices via Satisfiability Solving
par: Eisenhofer, Clemens, et autres
Publié: (2024)

Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing
par: Queiroz, Luiz Fernando Paulino, et autres
Publié: (2026)

SAT Solving for Variants of First-Order Subsumption
par: Coutelier, Robin, et autres
Publié: (2024)

Solving Set Constraints with Comprehensions and Bounded Quantifiers
par: Mohamed, Mudathir, et autres
Publié: (2025)

Orthologic for SAT Solving
par: de Haldat, Vladislas, et autres
Publié: (2026)

A Study Of Sudoku Solving Algorithms: Backtracking and Heuristic
par: Bhattarai, Apekshya, et autres
Publié: (2025)

Applications of Quantified Constraint Solving over the Reals -- Bibliography
par: Ratschan, Stefan
Publié: (2012)

RustSAT: A Library For SAT Solving in Rust
par: Jabs, Christoph
Publié: (2025)

parSAT: Parallel Solving of Floating-Point Satisfiability
par: Krahl, Markus, et autres
Publié: (2025)