APA引文

Thiemann, R., Bottesch, R., Divasón, J., Haslbeck, M. W., Joosten, S. J. C., & Yamada, A. (2020). Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL. J Autom Reason.

Citação norma Chicago

Thiemann, René, Ralph Bottesch, Jose Divasón, Max W. Haslbeck, Sebastiaan J. C. Joosten, and Akihisa Yamada. "Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL." J Autom Reason 2020.

MLA引文

Thiemann, René, et al. "Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL." J Autom Reason 2020.