Articles by Clemens Hofstadler | Synthical

Synthical

Your space

Profile

Activity

Favorites

Folders

Feeds

Contacts

About

Articles by Clemens Hofstadler | Synthical

Claim page

Clemens Hofstadler

Follow

Activity

Upvotes

Folders

Articles

8

f4ncgb: High Performance Gröbner Basis Computations in Free Algebras

25 May 2025 by Maximilian Heisinger and Clemens Hofstadler

Mathematical Software, Symbolic Computation

Modular Algorithms For Computing Gröbner Bases in Free Algebras

17 February 2025 by Clemens Hofstadler and Viktor Levandovskyy

Symbolic Computation, Rings and Algebras

Symmetries of Dependency Quantified Boolean Formulas

21 October 2024 by Clemens Hofstadler and others

Logic in Computer Science

Short proofs of ideal membership

9 April 2024 by Clemens Hofstadler and Thibaut Verron

Symbolic Computation

Universal truth of operator statements via ideal membership

12 March 2024 by Clemens Hofstadler and others

Signature Gröbner bases in free algebras over rings

18 July 2023 by Clemens Hofstadler and Thibaut Verron

Commutative Algebra, Symbolic Computation

How to automatise proofs of operator statements: Moore-Penrose inverse -- a case study

27 June 2023 by Klara Bernauer and others

Symbolic Computation, Logic in Computer Science

Computing elements of certain form in ideals to prove properties of operators

17 June 2022 by Clemens Hofstadler and others

Symbolic Computation

Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra

29 November 2021 by Clemens Hofstadler and Thibaut Verron

Symbolic Computation, Rings and Algebras

Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law

11 August 2020 by Dragana Cvetkovic-Ilic and others

Functional Analysis, Rings and Algebras

Compatible rewriting of noncommutative polynomials for proving operator identities

10 February 2020 by Cyrille Chenavier and others

Symbolic Computation, Representation Theory

Topics

Symbolic Computation Rings and Algebras Logic Commutative Algebra Logic in Computer Science Functional Analysis Representation Theory