logo-large
  • Browse Categories

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
© PubHawk
  • About PubHawk
  • Privacy Policy
  • Sitemap
Socials: