Search

Your search keyword '"Yamada, Akihisa"' showing total 6 results

Search Constraints

Start Over You searched for: Author "Yamada, Akihisa" Remove constraint Author: "Yamada, Akihisa" Topic computer science Remove constraint Topic: computer science
6 results on '"Yamada, Akihisa"'

Search Results

1. Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL

2. A Verified Implementation of Algebraic Numbers in Isabelle/HOL

Catalog

Books, media, physical & digital resources

3. Complete Non-Orders and Fixed Points

4. Efficient certification of complexity proofs: formalizing the Perron--Frobenius theorem (invited talk paper)

5. TOOLympics 2019: An Overview of Competitions in Formal Methods

6. On probabilistic term rewriting