8 results on '"René Thiemann"'
Search Results
2. Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL.
3. A Verified Implementation of Algebraic Numbers in Isabelle/HOL.
4. A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm.
5. Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic.
6. Analyzing Program Termination and Complexity Automatically with AProVE.
7. SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs.
8. Mechanizing and Improving Dependency Pairs.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.