Clemens Hofstadler

23 papers A 1B 4Journal 16Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits.
CoRR
Clemens Hofstadler, Daniela Kaufmann, Chen Chen
2025 A conf
Guess and Prove: A Hybrid Approach to Linear Polynomial Recovery in Circuit Verification.
CP
Clemens Hofstadler, Daniela Kaufmann
2025 J jnl
Modular Algorithms For Computing Gröbner Bases in Free Algebras.
CoRR
Clemens Hofstadler, Viktor Levandovskyy
2025 — conf
Recycling Algebraic Proof Certificates.
SC-Square@CADE
Daniela Kaufmann, Clemens Hofstadler
2025 J jnl
Recycling Algebraic Proof Certificates.
CoRR
Daniela Kaufmann, Clemens Hofstadler
2025 — conf
Refinement-Based Enumeration of QBF Solutions.
JELIA (2)
Andreas Plank, Clemens Hofstadler, Maximilian Heisinger, Martina Seidl
2025 B conf
f4ncgb: High Performance Gröbner Basis Computations in Free Algebras.
CASC
Maximilian Heisinger, Clemens Hofstadler
2025 J jnl
f4ncgb: High Performance Gröbner Basis Computations in Free Algebras.
CoRR
Maximilian Heisinger, Clemens Hofstadler
2024 J jnl
Short proofs of ideal membership.
J. Symb. Comput.
Clemens Hofstadler, Thibaut Verron
2024 J jnl
Symmetries of Dependency Quantified Boolean Formulas.
CoRR
Clemens Hofstadler, Manuel Kauers, Martina Seidl
2023 B conf
How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study.
CASC
Klara Bernauer, Clemens Hofstadler, Georg Regensburger
2023 J jnl
How to automatise proofs of operator statements: Moore-Penrose inverse - a case study.
CoRR
Klara Bernauer, Clemens Hofstadler, Georg Regensburger
2023 J jnl
Short proofs of ideal membership.
CoRR
Clemens Hofstadler, Thibaut Verron
2023 B conf
Signature Gröbner bases in free algebras over rings.
ISSAC
Clemens Hofstadler, Thibaut Verron
2023 J jnl
Signature Gröbner bases in free algebras over rings.
CoRR
Clemens Hofstadler, Thibaut Verron
2022 J jnl
Computing Elements of Certain Form in Ideals to Prove Properties of Operators.
Math. Comput. Sci.
Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
2022 J jnl
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra.
J. Symb. Comput.
Clemens Hofstadler, Thibaut Verron
2021 J jnl
Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig's triple reverse order law.
Appl. Math. Comput.
Dragana S. Cvetkovic-Ilic, Clemens Hofstadler, Jamal Hossein Poor, Jovana Milosevic, Clemens G. Raab, Georg Regensburger
2021 J jnl
Computing elements of certain form in ideals to prove properties of operators.
CoRR
Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
2021 J jnl
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra.
CoRR
Clemens Hofstadler, Thibaut Verron
2020 B conf
Compatible rewriting of noncommutative polynomials for proving operator identities.
ISSAC
Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
2020 J jnl
Compatible rewriting of noncommutative polynomials for proving operator identities.
CoRR
Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
2019 J jnl
Certifying operator identities via noncommutative Gröbner bases.
ACM Commun. Comput. Algebra
Clemens Hofstadler, Clemens G. Raab, Georg Regensburger