Activities
- 3 Contributed talk
- 3 results
Search results
-
Computing elements of certain form in ideals to prove properties of operators
Hofstadler, C. (Speaker)
14 Sept 2021Activity: Talk or presentation › Contributed talk › science-to-science
-
Automatizing proofs of properties of operators
Hofstadler, C. (Speaker)
27 Jul 2021Activity: Talk or presentation › Contributed talk › science-to-science
-
Certifying operator identities via noncommutative Gröbner bases
Raab, C. (Speaker)
17 Jul 2019Activity: Talk or presentation › Contributed talk › science-to-science