Results 61 to 70 of about 141 (94)

Knot theory and error-correcting codes. [PDF]

open access: yesDes Codes Cryptogr
Kılıç AB   +3 more
europepmc   +1 more source

A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm. [PDF]

open access: yesJ Autom Reason, 2020
Divasón J   +3 more
europepmc   +1 more source

Number systems over orders. [PDF]

open access: yesMon Hefte Math, 2018
Pethő A, Thuswaldner J.
europepmc   +1 more source

Identification of proofs via syzygies. [PDF]

open access: yesPhilos Trans A Math Phys Eng Sci, 2019
Malheiro A, Reis JF.
europepmc   +1 more source

Home - About - Disclaimer - Privacy