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 *

130 related articles for article (PubMed ID: 26525678)

  • 1. Learning-assisted theorem proving with millions of lemmas.
    Kaliszyk C; Urban J
    J Symb Comput; 2015 Jul; 69():109-128. PubMed ID: 26525678
    [TBL] [Abstract][Full Text] [Related]  

  • 2. Generating conjectures on fundamental constants with the Ramanujan Machine.
    Raayoni G; Gottlieb S; Manor Y; Pisha G; Harris Y; Mendlovic U; Haviv D; Hadad Y; Kaminer I
    Nature; 2021 Feb; 590(7844):67-73. PubMed ID: 33536657
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Formalization of bond graph using higher-order-logic theorem proving.
    Qasim U; Rashid A; Hasan O
    ISA Trans; 2022 Sep; 128(Pt B):453-469. PubMed ID: 34972543
    [TBL] [Abstract][Full Text] [Related]  

  • 4. The hypergraph regularity method and its applications.
    Rödl V; Nagle B; Skokan J; Schacht M; Kohayakawa Y
    Proc Natl Acad Sci U S A; 2005 Jun; 102(23):8109-13. PubMed ID: 15919821
    [TBL] [Abstract][Full Text] [Related]  

  • 5. Learning to Guide a Saturation-Based Theorem Prover.
    Abdelaziz I; Crouse M; Makni B; Austel V; Cornelio C; Ikbal S; Kapanipathi P; Makondo N; Srinivas K; Witbrock M; Fokoue A
    IEEE Trans Pattern Anal Mach Intell; 2023 Jan; 45(1):738-751. PubMed ID: 34982678
    [TBL] [Abstract][Full Text] [Related]  

  • 6. Advancing mathematics by guiding human intuition with AI.
    Davies A; Veličković P; Buesing L; Blackwell S; Zheng D; Tomašev N; Tanburn R; Battaglia P; Blundell C; Juhász A; Lackenby M; Williamson G; Hassabis D; Kohli P
    Nature; 2021 Dec; 600(7887):70-74. PubMed ID: 34853458
    [TBL] [Abstract][Full Text] [Related]  

  • 7. G1/ELE Functions in the Development of Rice Lemmas in Addition to Determining Identities of Empty Glumes.
    Liu M; Li H; Su Y; Li W; Shi C
    Front Plant Sci; 2016; 7():1006. PubMed ID: 27462334
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Solving olympiad geometry without human demonstrations.
    Trinh TH; Wu Y; Le QV; He H; Luong T
    Nature; 2024 Jan; 625(7995):476-482. PubMed ID: 38233616
    [TBL] [Abstract][Full Text] [Related]  

  • 9. A Comprehensive Framework for Saturation Theorem Proving.
    Waldmann U; Tourret S; Robillard S; Blanchette J
    J Autom Reason; 2022; 66(4):499-539. PubMed ID: 36353684
    [TBL] [Abstract][Full Text] [Related]  

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

  • 11. Formal verification of Matrix based MATLAB models using interactive theorem proving.
    Gauhar A; Rashid A; Hasan O; Bispo J; Cardoso JMP
    PeerJ Comput Sci; 2021; 7():e440. PubMed ID: 33834107
    [TBL] [Abstract][Full Text] [Related]  

  • 12. The challenge of computer mathematics.
    Barendregt H; Wiedijk F
    Philos Trans A Math Phys Eng Sci; 2005 Oct; 363(1835):2351-73; discussion 2374-5. PubMed ID: 16188610
    [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. Automated theorem proving.
    Plaisted DA
    Wiley Interdiscip Rev Cogn Sci; 2014 Mar; 5(2):115-28. PubMed ID: 26304304
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Hammer for Coq: Automation for Dependent Type Theory.
    Czajka Ł; Kaliszyk C
    J Autom Reason; 2018; 61(1):423-453. PubMed ID: 30069074
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Lemmas induce dormancy but help the seed of Leymus chinensis to resist drought and salinity conditions in Northeast China.
    Lin J; Shao S; Zhang N; Wang Y; Mu C
    PeerJ; 2016; 4():e1485. PubMed ID: 26855854
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Peano: learning formal mathematical reasoning.
    Poesia G; Goodman ND
    Philos Trans A Math Phys Eng Sci; 2023 Jul; 381(2251):20220044. PubMed ID: 37271179
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Formal reasoning about systems biology using theorem proving.
    Rashid A; Hasan O; Siddique U; Tahar S
    PLoS One; 2017; 12(7):e0180179. PubMed ID: 28671950
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Explanation in mathematical conversations: an empirical investigation.
    Pease A; Aberdein A; Martin U
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180159. PubMed ID: 30966975
    [TBL] [Abstract][Full Text] [Related]  

  • 20. The Cantor-Bernstein theorem: how many proofs?
    Sieg W
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180031. PubMed ID: 30966968
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 7.