Conferences

• How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse – a Case Study, CASC 2023, Havana, August 2023.
• Signature Gröbner bases in free algebras over rings, ISSAC 2023, Tromsø, July 2023.
• A semi-decision procedure for proving operator statements, AADIOS @ ACA 2023, Warsaw, July 2023.
• Automated proofs of operator statements, ILAS 2023, Madrid, June 2023
• Automated proofs of operator statements, Tagung Fachgruppe Computeralgebra, Hannover, June 2023.
• Computing elements of certain form in ideals to prove properties of operators, CASC 2021, Sochi/online, September 2021.
• Automatizing proofs of properties of operators, AADIOS @ ACA 2021, online, July 2021. (Mathematica demo)

Seminars

• Noncommutative Gröbner bases and automated proofs of operator statements, PhD defense, JKU Linz, October 2023. (open with Adobe Acrobat Reader to see the animation)
• Gröbner bases in the free algebra: Introduction & advanced topics, Séminaire Calcul Formel, Limoges, January 2023.
• Universal truth of operator statements via ideal membership, Seminar Algebra and Discrete Mathematics, JKU Linz, December 2022.
• Signature Gröbner bases, Seminar Algebra and Discrete Mathematics, JKU Linz, October 2021.
• Solving QBFs with AlphaZero, Seminar Algebra and Discrete Mathematics, online, June 2021.
• Computing noncommutative Gröbner bases and certifying operator identities, Algebraic rewriting seminar, online, April 2021.