These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.
136 related articles for article (PubMed ID: 32269396)
1. A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm. Divasón J; Joosten SJC; Thiemann R; Yamada A J Autom Reason; 2020; 64(4):699-735. PubMed ID: 32269396 [TBL] [Abstract][Full Text] [Related]
2. Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL. Thiemann R; Bottesch R; Divasón J; Haslbeck MW; Joosten SJC; Yamada A J Autom Reason; 2020; 64(5):827-856. PubMed ID: 32831440 [TBL] [Abstract][Full Text] [Related]
3. A Verified Implementation of Algebraic Numbers in Isabelle/HOL. Joosten SJC; Thiemann R; Yamada A J Autom Reason; 2020; 64(3):363-389. PubMed ID: 32226180 [TBL] [Abstract][Full Text] [Related]
4. A Formalization of the Smith Normal Form in Higher-Order Logic. Divasón J; Thiemann R J Autom Reason; 2022; 66(4):1065-1095. PubMed ID: 36353683 [TBL] [Abstract][Full Text] [Related]
5. An Algorithm for the Factorization of Split Quaternion Polynomials. Scharler DF; Schröcker HP Adv Appl Clifford Algebr; 2021; 31(3):29. PubMed ID: 34720306 [TBL] [Abstract][Full Text] [Related]
6. An explicit Wiener-Hopf factorization algorithm for matrix polynomials and its exact realizations within ExactMPF package. Adukov VM; Adukova NV; Mishuris G Proc Math Phys Eng Sci; 2022 Jul; 478(2263):20210941. PubMed ID: 35811639 [TBL] [Abstract][Full Text] [Related]
7. Integral-valued polynomials over sets of algebraic integers of bounded degree. Peruginelli G J Number Theory; 2014 Apr; 137():241-255. PubMed ID: 26949270 [TBL] [Abstract][Full Text] [Related]
8. A new quantum-safe multivariate polynomial public key digital signature algorithm. Kuang R; Perepechaenko M; Barbeau M Sci Rep; 2022 Aug; 12(1):13168. PubMed ID: 35915107 [TBL] [Abstract][Full Text] [Related]
10. A graph-theoretic criterion for absolute irreducibility of integer-valued polynomials with square-free denominator. Frisch S; Nakato S Commun Algebra; 2020; 48(9):3716-3723. PubMed ID: 32939189 [TBL] [Abstract][Full Text] [Related]
11. Certified Quantum Computation in Isabelle/HOL. Bordg A; Lachnitt H; He Y J Autom Reason; 2021; 65(5):691-709. PubMed ID: 34720282 [TBL] [Abstract][Full Text] [Related]
12. Lengths of factorizations of integer-valued polynomials on Krull domains with prime elements. Fadinger-Held V; Windisch D Arch Math; 2024; 123(2):123-135. PubMed ID: 39071218 [TBL] [Abstract][Full Text] [Related]
13. A Verified ODE Solver and the Lorenz Attractor. Immler F J Autom Reason; 2018; 61(1):73-111. PubMed ID: 30069071 [TBL] [Abstract][Full Text] [Related]
14. Factorization of Dual Quaternion Polynomials Without Study's Condition. Siegele J; Pfurner M; Schröcker HP Adv Appl Clifford Algebr; 2021; 31(2):22. PubMed ID: 33746321 [TBL] [Abstract][Full Text] [Related]
15. Experimental realization of Shor's quantum factoring algorithm using nuclear magnetic resonance. Vandersypen LM; Steffen M; Breyta G; Yannoni CS; Sherwood MH; Chuang IL Nature; 2001 Dec 20-27; 414(6866):883-7. PubMed ID: 11780055 [TBL] [Abstract][Full Text] [Related]
16. Prime factorization algorithm based on parameter optimization of Ising model. Wang B; Hu F; Yao H; Wang C Sci Rep; 2020 Apr; 10(1):7106. PubMed ID: 32345998 [TBL] [Abstract][Full Text] [Related]
17. Optimization of the multivariate polynomial public key for quantum safe digital signature. Kuang R; Perepechaenko M Sci Rep; 2023 Apr; 13(1):6363. PubMed ID: 37076506 [TBL] [Abstract][Full Text] [Related]
18. The lifting factorization and construction of wavelet bi-frames with arbitrary generators and scaling. Shi Y; Yang X IEEE Trans Image Process; 2011 Sep; 20(9):2439-49. PubMed ID: 21356617 [TBL] [Abstract][Full Text] [Related]
19. Primary decomposition of the ideal of polynomials whose fixed divisor is divisible by a prime power. Peruginelli G J Algebra; 2014 Jan; 398():227-242. PubMed ID: 27570257 [TBL] [Abstract][Full Text] [Related]
20. Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL. Li W; Paulson LC J Autom Reason; 2020; 64(2):331-360. PubMed ID: 32063661 [TBL] [Abstract][Full Text] [Related] [Next] [New Search]