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 *

127 related articles for article (PubMed ID: 7727701)

  • 1. A precondition prover for analogy.
    Bledsoe WW
    Biosystems; 1995; 34(1-3):225-47. PubMed ID: 7727701
    [TBL] [Abstract][Full Text] [Related]  

  • 2. The Higher-Order Prover Leo-II.
    Benzmüller C; Sultana N; Paulson LC; Theiß F
    J Autom Reason; 2015; 55(4):389-404. PubMed ID: 30174358
    [TBL] [Abstract][Full Text] [Related]  

  • 3. An evaluation based theorem prover.
    Degano P; Sirovich F
    IEEE Trans Pattern Anal Mach Intell; 1985 Jan; 7(1):70-9. PubMed ID: 21869241
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 6. Proof Complexity of Modal Resolution.
    Sigley S; Beyersdorff O
    J Autom Reason; 2022; 66(1):1-41. PubMed ID: 35068630
    [TBL] [Abstract][Full Text] [Related]  

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

  • 8. Prolegomena to any theory of proof simplicity.
    Pambuccian V
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180035. PubMed ID: 30966971
    [TBL] [Abstract][Full Text] [Related]  

  • 9. The ergodic theorems of demography: a simple proof.
    Arthur WB
    Demography; 1982 Nov; 19(4):439-45. PubMed ID: 7173465
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 12. A useful formula for periodic Jacobi matrices on trees.
    Banks J; Breuer J; Garza-Vargas J; Seelig E; Simon B
    Proc Natl Acad Sci U S A; 2024 Jun; 121(23):e2315218121. PubMed ID: 38819999
    [TBL] [Abstract][Full Text] [Related]  

  • 13. What is a proof?
    Bundy A; Jamnik M; Fugard A
    Philos Trans A Math Phys Eng Sci; 2005 Oct; 363(1835):2377-88; discussion 2388-91. PubMed ID: 16188611
    [TBL] [Abstract][Full Text] [Related]  

  • 14. A possible analogy between contours in mathematics--as exemplified by Cauchy's integral formula--and contours in the arts.
    Gerr S
    Perception; 1982; 11(4):483-90. PubMed ID: 7182805
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Weak ergodicity of population evolution processes.
    Inaba H
    Math Biosci; 1989 Oct; 96(2):195-219. PubMed ID: 2520198
    [TBL] [Abstract][Full Text] [Related]  

  • 16. A survey of noninteractive zero knowledge proof system and its applications.
    Wu H; Wang F
    ScientificWorldJournal; 2014; 2014():560484. PubMed ID: 24883407
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Highly complex proofs and implications of such proofs.
    Aschbacher M
    Philos Trans A Math Phys Eng Sci; 2005 Oct; 363(1835):2401-4; discussion 2404-6. PubMed ID: 16188615
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Simplifying principles for chemical and enzyme reaction kinetics.
    Klonowski W
    Biophys Chem; 1983 Sep; 18(2):73-87. PubMed ID: 6626688
    [TBL] [Abstract][Full Text] [Related]  

  • 19. AfterMath: the work of proof in the age of human-machine collaboration.
    Dick S
    Isis; 2011 Sep; 102(3):494-505. PubMed ID: 22073773
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Quantum de Finetti Theorem under Fully-One-Way Adaptive Measurements.
    Li K; Smith G
    Phys Rev Lett; 2015 Apr; 114(16):160503. PubMed ID: 25955040
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 7.