Copertina

Stable Andrews-Curtis trivialization of AK(3) revisited. A case study using automated deduction

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Lisitsa, Alexei
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Group Theory 20-08 Computational methods for problems pertaining to group theory I.2.3
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Energy-Efficient Resource Management in Microservices-based Fog and Edge Computing: State-of-the-Art and Future Directions
di: Vali, Ali Akbar, et al.
Pubblicazione: (2025)

A Survey of AI Methods for Geometry Preparation and Mesh Generation in Engineering Simulation
di: Owen, Steven, et al.
Pubblicazione: (2025)

Classifying exact factorizations of minimal length of sporadic simple groups
di: Rahimipour, Ali Reza
Pubblicazione: (2020)

Definite Descriptions and Hybrid Tense Logic
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

Stalnaker's Epistemic Logic in Isabelle/HOL
di: Guzman, Laura P. Gamboa, et al.
Pubblicazione: (2024)

Anthem 2.0: Automated Reasoning for Answer Set Programming
di: Fandinno, Jorge, et al.
Pubblicazione: (2025)

On the calculation of inner products of Schur functions
di: J.A. Castilho Alcarás
Pubblicazione: (2010)

On homomorphic images of ultraproducts
di: Corson, Samuel M.
Pubblicazione: (2025)

Artinian groups of large cardinality
di: Corson, Samuel M., et al.
Pubblicazione: (2024)

Cubic threefolds moduli and the Monster group
di: Looijenga, Eduard
Pubblicazione: (2023)

Groups elementary equivalent to finitely generated free metabelian
di: Kharlampovich, Olga, et al.
Pubblicazione: (2023)

Discernment is all you need
di: Fuenmayor, David
Pubblicazione: (2026)

The UNC-method: a problem-based software development method
di: Carlos Mario Zapata Jaramillo
Pubblicazione: (2009)

Universal Algebra in UniMath
di: Amato, Gianluca, et al.
Pubblicazione: (2021)

Twitch: Learning Abstractions for Equational Theorem Proving
di: Axelrod, Guy, et al.
Pubblicazione: (2026)

Optimistic Higher-Order Superposition
di: Bentkamp, Alexander, et al.
Pubblicazione: (2025)

Mechanised uniform interpolation for modal logics K, GL, and iSL
di: Férée, Hugo, et al.
Pubblicazione: (2024)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
di: Wright, Craig Steven
Pubblicazione: (2025)

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
di: Ceragioli, Leonardo, et al.
Pubblicazione: (2025)

Trustworthiness Preservation by Copies of Machine Learning Systems
di: Ceragioli, Leonardo, et al.
Pubblicazione: (2025)

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
di: Ceragioli, Leonardo, et al.
Pubblicazione: (2025)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
di: Bertrand, Meven Lennon, et al.
Pubblicazione: (2026)

Differential Algebraic Closure Framework for Group Representation Theory: Explicit Solutions and Combinatorial Structures
di: liu, shifa
Pubblicazione: (2025)

Arithmetic in Group Extensions
di: Hulpke, Alexander
Pubblicazione: (2024)

Non-Ground Congruence Closure
di: Leidinger, Hendrik, et al.
Pubblicazione: (2024)

Mechanized HOL Reasoning in Set Theory
di: Guilloud, Simon, et al.
Pubblicazione: (2024)

Revisiting Conjunctive Query Entailment for $\mathcal S$
di: Ibáñez-García, Yazmín, et al.
Pubblicazione: (2025)

Executable First-Order Queries in the Logic of Information Flows
di: Aamer, Heba, et al.
Pubblicazione: (2022)

Verifying Procedural Programs via Constrained Rewriting Induction
di: Fuhs, Carsten, et al.
Pubblicazione: (2014)

Incomplete Descriptions and Qualified Definiteness
di: Więckowski, Bartosz
Pubblicazione: (2024)

Term Orders for Optimistic Lambda-Superposition
di: Bentkamp, Alexander, et al.
Pubblicazione: (2025)

Metric Equational Theories
di: Mardare, Radu, et al.
Pubblicazione: (2025)

Canonical for Automated Theorem Proving in Lean
di: Norman, Chase, et al.
Pubblicazione: (2025)

Implementing Dependent Type Theory Inhabitation and Unification
di: Norman, Chase, et al.
Pubblicazione: (2026)

Minimal operations over permutation groups
di: Marimon, Paolo, et al.
Pubblicazione: (2024)

A Coq-based Axiomatization of Tarski's Mereogeometry
di: Barlatier, Patrick, et al.
Pubblicazione: (2025)

Andrews-Curtis groups
di: Gilman, Robert H., et al.
Pubblicazione: (2025)

Capturing properties of planar diagrams in Lean proof assistant software
di: Litterick, Alastair, et al.
Pubblicazione: (2025)

A Sequent Calculus for General Inductive Definitions
di: Eede, Robbe Van den, et al.
Pubblicazione: (2026)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
di: Arndt, Dörthe, et al.
Pubblicazione: (2025)