Daniela Kaufmann
From MaRDI portal
Person:2110232
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker Formal Methods in System Design | 2025-01-13 | Paper |
| Nullstellensatz-proofs for multiplier verification | 2022-12-21 | Paper |
| Formal Verification of Integer Multiplier Circuits Using Algebraic Reasoning: A Survey Recent Findings in Boolean Techniques | 2021-10-18 | Paper |
| Incremental column-wise verification of arithmetic circuits using computer algebra Formal Methods in System Design | 2021-02-08 | Paper |
Research outcomes over time
This page was built for person: Daniela Kaufmann
