Results 51 to 60 of about 146 (131)
Ordinary varieties with trivial canonical bundle are not uniruled. [PDF]
Math Ann, 2021 Patakfalvi Z, Zdanowicz M.
europepmc +1 more source
Nonholomorphic Ramanujan-type congruences for Hurwitz class numbers. [PDF]
Proc Natl Acad Sci U S A, 2020 Beckwith O, Raum M, Richter OK.
europepmc +1 more source
A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm. [PDF]
J Autom Reason, 2020 Divasón J +3 more
europepmc +1 more source
Erasure decoding of convolutional codes using first-order representations. [PDF]
Math Control Signal Syst, 2021 Lieb J, Rosenthal J.
europepmc +1 more source
Current State of Computational Modeling of Nanohelicenes. [PDF]
Nanomaterials (Basel), 2023 Porsev VV, Evarestov RA.
europepmc +1 more source
Hypergeometric decomposition of symmetric K3 quartic pencils. [PDF]
Res Math Sci, 2020 Doran CF +5 more
europepmc +1 more source
A Verified Implementation of Algebraic Numbers in Isabelle/HOL. [PDF]
J Autom Reason, 2020 Joosten SJC, Thiemann R, Yamada A.
europepmc +1 more source
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL. [PDF]
J Autom Reason, 2020 Thiemann R +5 more
europepmc +1 more source
Sensorless Impedance Control of Micro Finger Using Coprime Factorization. [PDF]
Micromachines (Basel)Morohoshi Y, Deng M.
europepmc +1 more source