Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker
Crossref DOI link: https://doi.org/10.1007/s10703-022-00391-x
Published Online: 2022-04-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kaufmann, Daniela http://orcid.org/0000-0002-5645-0292
Fleury, Mathias
Biere, Armin
Kauers, Manuel
Funding for this research was provided by:
State of Upper Austria (LIT AI Lab)
Austrian Science Fund (P31571-N32)
Text and Data Mining valid from 2022-04-11
Version of Record valid from 2022-04-11
Article History
Received: 1 March 2021
Accepted: 8 March 2022
First Online: 11 April 2022