Search Page
Save citations to file
Email citations
Send citations to clipboard
Add to Collections
Add to My Bibliography
Create a file for external citation management software
Your saved search
Your RSS Feed
Search Results
2 results
Filters applied: . Clear all
Results are displayed in a computed author sort order.
The Results By Year timeline is not available.
Page 1
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL.
J Autom Reason. 2020;64(5):827-856. doi: 10.1007/s10817-020-09552-1. Epub 2020 Jun 9.
J Autom Reason. 2020.
PMID: 32831440
Free PMC article.
Ellipsometry with polarisation analysis at cryogenic temperatures inside a vacuum chamber.
Bauer S, Grees B, Spitzer D, Beck M, Bottesch R, Ortjohann HW, Ostrick B, Schäfer T, Telle HH, Wegmann A, Zbořil M, Weinheimer C.
Bauer S, et al. Among authors: bottesch r.
Rev Sci Instrum. 2013 Dec;84(12):123103. doi: 10.1063/1.4838555.
Rev Sci Instrum. 2013.
PMID: 24387416
Item in Clipboard
Cite
Cite