- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm ; day:17 ; month:6 ; year:2019 ; pages:1-37
Journal of automated reasoning ; (17.6.2019), 1-37
- Creator
-
Divasón, Jose
Joosten, Sebastiaan J. C.
Thiemann, René
Yamada, Akihisa
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-019-09526-y
- URN
-
urn:nbn:de:101:1-2019121209040214132620
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:47 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Divasón, Jose
- Joosten, Sebastiaan J. C.
- Thiemann, René
- Yamada, Akihisa
- SpringerLink (Online service)
Other Objects (12)
verifiedSCION: Verified Secure Routing
A simplex algorithm for rational cp-factorization
An Algorithm for the Factorization of Split Quaternion Polynomials
A Verified Implementation of Algebraic Numbers in Isabelle/HOL
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL
Gale-Shapley Verified
A binary matrix factorization algorithm for protein complex prediction
SPARKNaCl: A Verified, Fast Re-implementation of TweetNaCl
Further applications of the Cauchon algorithm to rank determination and bidiagonal factorization
Self-Formalisation of Higher-Order Logic : Semantics, Soundness, and a Verified Implementation
ModelPlex: verified runtime validation of verified cyber-physical system models
For a Few Dollars More -- Verified Fine-Grained Algorithm Analysis Down to LLVM
verifiedSCION: Verified Secure Routing
A simplex algorithm for rational cp-factorization
An Algorithm for the Factorization of Split Quaternion Polynomials
A Verified Implementation of Algebraic Numbers in Isabelle/HOL
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL
Gale-Shapley Verified
A binary matrix factorization algorithm for protein complex prediction
SPARKNaCl: A Verified, Fast Re-implementation of TweetNaCl
Further applications of the Cauchon algorithm to rank determination and bidiagonal factorization
Self-Formalisation of Higher-Order Logic : Semantics, Soundness, and a Verified Implementation
ModelPlex: verified runtime validation of verified cyber-physical system models
For a Few Dollars More -- Verified Fine-Grained Algorithm Analysis Down to LLVM
verifiedSCION: Verified Secure Routing
A simplex algorithm for rational cp-factorization
An Algorithm for the Factorization of Split Quaternion Polynomials
A Verified Implementation of Algebraic Numbers in Isabelle/HOL
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL
Gale-Shapley Verified
A binary matrix factorization algorithm for protein complex prediction
SPARKNaCl: A Verified, Fast Re-implementation of TweetNaCl
Further applications of the Cauchon algorithm to rank determination and bidiagonal factorization
Self-Formalisation of Higher-Order Logic : Semantics, Soundness, and a Verified Implementation
ModelPlex: verified runtime validation of verified cyber-physical system models