List of works - Bruno Buchberger - Paulina

List of works by Bruno Buchberger

$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation ⬇️

scientific article published in 2016

Artificial Intelligence — Eine Einführung

scholarly article published 1986

Groebner basis

Solving Linear Boundary Value Problems Via Non-commutative Gröbner Bases

Paulina is supported by:

About Paulina

Help