Jordan_Normal_Form

Two Theorems on Hermitian Matrices

by Sage Binder and Zilin Jiang

Nov 16

The Schwartz-Zippel Lemma

by Sunpill Kim and Yong Kiam Tan

Apr 27

Hardness of Lattice Problems

by Katharina Kreuzer

Feb 02

Verified Algorithms for Solving Markov Decision Processes

by Maximilian Schäffeler and Mohammad Abdulaziz

Dec 16

Simplicial Complexes and Boolean functions

by Jesús Aransay, Alejandro del Campo and Julius Michaelis

Nov 29

Complex Bounded Operators

by José Manuel Rodríguez Caballero and Dominique Unruh

Sep 18

Two algorithms based on modular arithmetic: lattice basis reduction and Hermite normal form computation

by Ralph Bottesch, Jose Divasón and René Thiemann

Mar 12

Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information

by Anthony Bordg, Hanna Lachnitt and Yijun He

Nov 22

Linear Programming

by Julian Parsert and Cezary Kaliszyk

Aug 06

Quantum Hoare Logic

by Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying and Naijun Zhan

Mar 24

Farkas' Lemma and Motzkin's Transposition Theorem

by Ralph Bottesch, Max W. Haslbeck and René Thiemann

Jan 17

Stochastic Matrices and the Perron-Frobenius Theorem

by René Thiemann

Nov 22

Subresultants

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

Apr 06

Expressiveness of Deep Learning

by Alexander Bentkamp

Nov 10

Perron-Frobenius Theorem for Spectral Radius Analysis

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

May 20

Gröbner Bases Theory

by Fabian Immler and Alexander Maletzky

May 02

Jordan_Normal_Form Dependents

2024