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.


BIOMARKERS

Molecular Biopsy of Human Tumors

- a resource for Precision Medicine *

114 related articles for article (PubMed ID: 32226180)

  • 1. 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]  

  • 2. 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]  

  • 3. 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]  

  • 4. 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]  

  • 5. Combining Higher-Order Logic with Set Theory Formalizations.
    Kaliszyk C; Pąk K
    J Autom Reason; 2023; 67(2):20. PubMed ID: 37252035
    [TBL] [Abstract][Full Text] [Related]  

  • 6. A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision.
    Narkawicz A; Munoz C; Dutle A
    J Formaliz Reason; 2018; 11(1):19-41. PubMed ID: 31534636
    [TBL] [Abstract][Full Text] [Related]  

  • 7. 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]  

  • 8. An analytical approach to bistable biological circuit discrimination using real algebraic geometry.
    Siegal-Gaskins D; Franco E; Zhou T; Murray RM
    J R Soc Interface; 2015 Jul; 12(108):20150288. PubMed ID: 26109633
    [TBL] [Abstract][Full Text] [Related]  

  • 9. A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality.
    Blanchette JC; Fleury M; Lammich P; Weidenbach C
    J Autom Reason; 2018; 61(1):333-365. PubMed ID: 30069073
    [TBL] [Abstract][Full Text] [Related]  

  • 10. 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]  

  • 11. 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]  

  • 12. 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]  

  • 13. On Definitions of Constants and Types in HOL.
    Arthan R
    J Autom Reason; 2016; 56(3):205-219. PubMed ID: 30174359
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Algebraic characterization of polynomials whose zeros lie in certain algebraic domains.
    Kalman RE
    Proc Natl Acad Sci U S A; 1969 Nov; 64(3):818-23. PubMed ID: 16591801
    [TBL] [Abstract][Full Text] [Related]  

  • 15. 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]  

  • 16. 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]  

  • 17. Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset).
    Benzmüller C
    Data Brief; 2019 Jun; 24():103823. PubMed ID: 31016212
    [TBL] [Abstract][Full Text] [Related]  

  • 18. The Case for Algebraic Biology: from Research to Education.
    Macauley M; Youngs N
    Bull Math Biol; 2020 Aug; 82(9):115. PubMed ID: 32816124
    [TBL] [Abstract][Full Text] [Related]  

  • 19. LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset).
    Benzmüller C; Farjami A; Fuenmayor D; Meder P; Parent X; Steen A; van der Torre L; Zahoransky V
    Data Brief; 2020 Dec; 33():106409. PubMed ID: 33134442
    [TBL] [Abstract][Full Text] [Related]  

  • 20. 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]  

    [Next]    [New Search]
    of 6.