Ralph Bottesch

From MaRDI portal
Person:2180229

Available identifiers

zbMath Open bottesch.ralph-christianMaRDI QIDQ2180229

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50051772021-08-04Paper
Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL2020-11-02Paper
A hierarchy of polynomial kernels2020-10-22Paper
https://portal.mardi4nfdi.de/entity/Q51118682020-05-27Paper
Verifying an incremental theory solver for linear arithmetic in Isabelle/HOL2020-05-13Paper
A Verified Efficient Implementation of the LLL Basis Reduction Algorithm2019-07-04Paper
Correlation in Hard Distributions in Communication Complexity2017-08-31Paper
Equality, Revisited2015-09-16Paper

Research outcomes over time

This page was built for person: Ralph Bottesch

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2180229&oldid=6648483"
Powered by MediaWiki