Ralph Bottesch

According to our database, Ralph Bottesch authored at least 12 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

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

Ralph Bottesch, Jose Divasón, René Thiemann

Arch. Formal Proofs, 2021

2020

Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL.

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

J. Autom. Reason., 2020

Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL.

Ralph Bottesch, Max W. Haslbeck, Alban Reynaud, René Thiemann

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

Linear Inequalities.

Ralph Bottesch, Alban Reynaud, René Thiemann

Arch. Formal Proofs, 2019

Farkas' Lemma and Motzkin's Transposition Theorem.

Ralph Bottesch, Max W. Haslbeck, René Thiemann

Arch. Formal Proofs, 2019

A Hierarchy of Polynomial Kernels.

Jouke Witteveen, Ralph Bottesch, Leen Torenvliet

Proceedings of the SOFSEM 2019: Theory and Practice of Computer Science, 2019

Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL.

Ralph Bottesch, Max W. Haslbeck, René Thiemann

Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019

2018

On W[1]-Hardness as Evidence for Intractability.

Ralph Christian Bottesch

Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

A Verified Efficient Implementation of the LLL Basis Reduction Algorithm.

Ralph Bottesch, Max W. Haslbeck, René Thiemann

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2017

Relativization and Interactive Proof Systems in Parameterized Complexity Theory.

Ralph Bottesch

Proceedings of the 12th International Symposium on Parameterized and Exact Computation, 2017

2015

Equality, Revisited.

Ralph Bottesch, Dmitry Gavinsky, Hartmut Klauck

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

Correlation in Hard Distributions in Communication Complexity.

Ralph Bottesch, Dmitry Gavinsky, Hartmut Klauck

Proceedings of the Approximation, 2015