Jordan_Normal_Form Dependents
2023
2021
Verified Algorithms for Solving Markov Decision Processes
by Maximilian Schäffeler and Mohammad Abdulaziz
Simplicial Complexes and Boolean functions
by Jesús Aransay, Alejandro del Campo and Julius Michaelis
Two algorithms based on modular arithmetic: lattice basis reduction and Hermite normal form computation
by Ralph Bottesch, Jose Divasón and René Thiemann
2020
Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information
by Anthony Bordg, Hanna Lachnitt and Yijun He
2019
Quantum Hoare Logic
by Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying and Naijun Zhan
Farkas' Lemma and Motzkin's Transposition Theorem
by Ralph Bottesch, Max W. Haslbeck and René Thiemann
2017
2016
Perron-Frobenius Theorem for Spectral Radius Analysis
by Jose Divasón, Ondřej Kunčar, René Thiemann and Akihisa Yamada