research
∙
05/16/2023
How to automatise proofs of operator statements: Moore-Penrose inverse – a case study
We describe a recently developed algebraic framework for proving first-o...
share
research
∙
02/13/2023
Signature Gröbner bases in free algebras over rings
We generalize signature Gröbner bases, previously studied in the free al...
research
∙
02/06/2023
Short proofs of ideal membership
A cofactor representation of an ideal element, that is, a representation...
research
∙
10/25/2021
Computing elements of certain form in ideals to prove properties of operators
Proving statements about linear operators expressed in terms of identiti...
research
∙
07/30/2021
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra
Signature-based algorithms have become a standard approach for computing...
research
∙
02/10/2020