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

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1573-0670
Extent
Online-Ressource
Language
Englisch
Notes
online resource.

Bibliographic citation
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL ; volume:64 ; number:5 ; day:9 ; month:6 ; year:2020 ; pages:827-856 ; date:6.2020
Journal of automated reasoning ; 64, Heft 5 (9.6.2020), 827-856, 6.2020

Creator
Thiemann, René
Bottesch, Ralph
Divasón, Jose
Haslbeck, Max W.
Joosten, Sebastiaan J. C.
Yamada, Akihisa
Contributor
SpringerLink (Online service)

DOI
10.1007/s10817-020-09552-1
URN
urn:nbn:de:101:1-2020092101050925148144
Rights
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 10:53 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

  • Thiemann, René
  • Bottesch, Ralph
  • Divasón, Jose
  • Haslbeck, Max W.
  • Joosten, Sebastiaan J. C.
  • Yamada, Akihisa
  • SpringerLink (Online service)

Other Objects (12)

The LLL algorithm : survey and applications

The LLL algorithm : survey and applications

Lenkungsausschuss LLL

Archivale

Lenkungsausschuss LLL

[Lit. Lll]

Abschnitt

[Lit. Lll]

[Lit. Lll]

Abschnitt

[Lit. Lll]

[Lll-Ppp]

Abschnitt

[Lll-Ppp]

Lit. LLL

Kapitel

Lit. LLL

[Lll-Ppp]

Abschnitt

[Lll-Ppp]

Lenkungsausschuss LLL

Archivale

Lenkungsausschuss LLL

Lenkungsausschuss LLL

Archivale

Lenkungsausschuss LLL

Lenkungsausschuss LLL

Archivale

Lenkungsausschuss LLL

Aktienrechtsreform lll

Sachakte

Aktienrechtsreform lll

Kartellrecht lll

Sachakte

Kartellrecht lll

Related objects