Daniela Kaufmann

From MaRDI portal
Person:2110232

Available identifiers

zbMath Open kaufmann.danielaMaRDI QIDQ2110232

List of research outcomes





PublicationDate of PublicationType
Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker2025-01-13Paper
Nullstellensatz-proofs for multiplier verification2022-12-21Paper
Formal Verification of Integer Multiplier Circuits Using Algebraic Reasoning: A Survey2021-10-18Paper
Incremental column-wise verification of arithmetic circuits using computer algebra2021-02-08Paper

Research outcomes over time

This page was built for person: Daniela Kaufmann

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2110232&oldid=6598647"
Powered by MediaWiki