Akihisa Yamada

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

2025

First-Order Rewriting

by René Thiemann, Christian Sternagel, Christina Kirk, Martin Avanzini, Bertram Felgenhauer, Julian Nagele, Thomas Sternagel, Sarah Winkler and Akihisa Yamada

Apr 13

2024

Sorted Terms

by Akihisa Yamada and René Thiemann

May 27

Verifying a Decision Procedure for Pattern Completeness

by René Thiemann and Akihisa Yamada

May 27

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

2014

XML

by Christian Sternagel, René Thiemann and Akihisa Yamada

Oct 03