Daniela Kaufmann

1PUBLICATIONS

0CO-AUTHORS

Knowledge representation and reasoning

Featured researcher

Get your video featured.

Publish with JoVE

Featured researcher

Get your video featured.

Publish with JoVE

Publications (1)

Sort by Publication Date:

|Dec 31, 2024

Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker.

Daniela Kaufmann, Mathias Fleury, Armin Biere

Pageof 1

Frequent Collaborators

Frequent Collaborators