Publications by authors named "R Bottesch"

Claim this Profile
F
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

J Autom Reason· June 2020

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
E
Ellipsometry with polarisation analysis at cryogenic temperatures inside a vacuum chamber.
S Bauer, B Grees, D Spitzer, M Beck, R Bottesch

Rev Sci Instrum· December 2013

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis