## Homepages 🌐

- http://group-mmm.org/~ayamada/

## E-Mails 📧

- ta.ca.kbiu @adamay.asihika
- pj.og.tsia @adamay.asihika
- pj.ca.u-ayogan.si.mc.srt @adamaya

## Entries

### 2023

##### Formalizing Results on Directed Sets

by Akihisa Yamada 📧 and Jérémy Dubut 📧
May 24

### 2021

##### A Formalization of Weighted Path Orders and Recursive Path Orders

by Christian Sternagel 📧, René Thiemann 📧 and Akihisa Yamada 📧
Sep 16

### 2019

##### Complete Non-Orders and Fixed Points

by Akihisa Yamada 🌐 and Jérémy Dubut 🌐
Jun 27

### 2018

##### A verified factorization algorithm for integer polynomials with polynomial complexity

by Jose Divasón 🌐, Sebastiaan J. C. Joosten 🌐, René Thiemann 🌐 and Akihisa Yamada 📧
Feb 06

##### A verified LLL algorithm

by Ralph Bottesch, Jose Divasón 🌐, Max W. Haslbeck 🌐, Sebastiaan J. C. Joosten 🌐, René Thiemann 🌐 and Akihisa Yamada
Feb 02

### 2017

##### Subresultants

by Sebastiaan J. C. Joosten 📧, René Thiemann 📧 and Akihisa Yamada 📧
Apr 06

### 2016

##### The Factorization Algorithm of Berlekamp and Zassenhaus

by Jose Divasón 🌐, Sebastiaan J. C. Joosten 📧, René Thiemann 📧 and Akihisa Yamada 📧
Oct 14

##### Perron-Frobenius Theorem for Spectral Radius Analysis

by Jose Divasón 🌐, Ondřej Kunčar 🌐, René Thiemann 📧 and Akihisa Yamada 📧
May 20

##### Polynomial Interpolation

by René Thiemann 📧 and Akihisa Yamada 📧
Jan 29

##### Polynomial Factorization

by René Thiemann 📧 and Akihisa Yamada 📧
Jan 29

### 2015

##### Algebraic Numbers in Isabelle/HOL

by René Thiemann 📧, Akihisa Yamada 📧 and Sebastiaan J. C. Joosten 📧
Dec 22

##### Matrices, Jordan Normal Forms, and Spectral Radius Theory

by René Thiemann 📧 and Akihisa Yamada 📧
Aug 21