Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Formalization of Knuth-Bendix Orders., and . Arch. Formal Proofs, (2020)Solving Cubic and Quartic Equations.. Arch. Formal Proofs, (2021)Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic., and . J. Autom. Reason., 66 (4): 1097 (2022)Extending a Verified Simplex Algorithm.. LPAR (Workshop and Short Papers), volume 9 of Kalpa Publications in Computing, page 37-48. EasyChair, (2018)Preface., and . LSFA, volume 323 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2015)Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs., , , and . CPP, page 147-161. ACM, (2024)Linear Inequalities., , and . Arch. Formal Proofs, (2019)Factorization of Polynomials with Algebraic Coefficients., and . Arch. Formal Proofs, (2021)Clique is not solvable by monotone circuits of polynomial size.. Arch. Formal Proofs, (2022)A Verified Efficient Implementation of the Weighted Path Order., and . Arch. Formal Proofs, (2023)