Cover Image

Quantifier Elimination and Invariant Theory: Applications to Quaternions, Octonions, and Other Algebras

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Illmer, Maximilian
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Constructive Quantifier Elimination with a Focus on Matrix Rings
by: Illmer, Maximilian, et al.
Published: (2025)

On Efficient Algorithms For Partial Quantifier Elimination
by: Goldberg, Eugene
Published: (2024)

Partial Quantifier Elimination By Certificate Clauses
by: Goldberg, Eugene
Published: (2020)

Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
Published: (2025)

Pseudo-Complex Quantifier Elimination
by: Faroß, Nicolas, et al.
Published: (2026)

Structure-Aware Computing, Partial Quantifier Elimination And SAT
by: Goldberg, Eugene
Published: (2024)

Integer Linear-Exponential Programming in NP by Quantifier Elimination
by: Chistikov, Dmitry, et al.
Published: (2024)

Quantifier Elimination and Craig Interpolation, Quantitatively
by: Batz, Kevin, et al.
Published: (2025)

The Dual of Quantifier Elimination: Boolean Elimination over C and R
by: Frank, Matthew
Published: (2025)

Quantifier Elimination Meets Treewidth
by: Wu, Hao, et al.
Published: (2026)

Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
by: Amat, Nicolas, et al.
Published: (2024)

Invariant Checking for SMT-based Systems with Quantifiers
by: Redondi, Gianluca, et al.
Published: (2024)

One-Parametric Presburger Arithmetic has Quantifier Elimination
by: Mansutti, Alessio, et al.
Published: (2025)

A Proof Theory for Profinite Modal Algebras
by: De Berardinis, Matteo, et al.
Published: (2025)

On Symbol Elimination and Uniform Interpolation in Theory Extensions
by: Sofronie-Stokkermans, Viorica
Published: (2025)

Quantum Expanders and Quantifier Reduction for Tracial von Neumann Algebras
by: Farah, Ilijas, et al.
Published: (2023)

Completeness of Relational Algebra via Cylindric Algebra
by: Laštovička, Jan
Published: (2026)

On the Cut Elimination of Weak Intuitionistic Tense Logic
by: Wang, Yiheng, et al.
Published: (2024)

Compact Quantitative Theories of Convex Algebras
by: Mio, Matteo
Published: (2025)

Fast Ramsey Quantifier Elimination in LIRA (with applications to liveness checking)
by: Lichtner, Kilian, et al.
Published: (2025)

Deciding Equations in the Time Warp Algebra
by: van Gool, Sam, et al.
Published: (2023)

Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems
by: Simmons, William, et al.
Published: (2023)

Homological Invariants of Higher-Order Equational Theories
by: Ikebuchi, Mirai
Published: (2025)

Topological Dualities for Modal Algebras
by: Collinson, Matthew
Published: (2026)

Layered Monoidal Theories I: Diagrammatic Algebra and Applications
by: Lobski, Leo, et al.
Published: (2026)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
by: Almeida, Rodrigo Nicolau
Published: (2023)

Nonembeddings of Combinatory Algebras
by: Lutz, Patrick, et al.
Published: (2026)

Conjunctive Table Algebras
by: Kötters, Jens, et al.
Published: (2024)

The Algebras of Lewis's Counterfactuals
by: Rosella, Giuliano, et al.
Published: (2024)

The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete
by: Nakamura, Yoshiki
Published: (2025)

Embedded Finite Models Beyond Restricted Quantifier Collapse
by: Benedikt, Michael, et al.
Published: (2023)

Applications of the Magidor Iteration to Ultrafilter Theory
by: Benhamou, Tom, et al.
Published: (2024)

Applications of Quantified Constraint Solving over the Reals -- Bibliography
by: Ratschan, Stefan
Published: (2012)

Some General Completeness Results for Propositionally Quantified Modal Logics
by: Ding, Yifeng, et al.
Published: (2024)

Relative Quantifier Elimination for Separable-Algebraically Maximal Kaplansky Fields
by: Moreno, Paulo Andrés Soto
Published: (2025)

Cardinality and Representation of Stone Relation Algebras
by: Furusawa, Hitoshi, et al.
Published: (2023)

On a Generalization of Heyting Algebras I
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2024)

On a Generalization of Heyting Algebras II
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2024)

Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
by: Cerda, Rémy, et al.
Published: (2025)

Keisler's Theorem and Cardinal Invariants
by: Goto, Tatsuya
Published: (2021)