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 *

128 related articles for article (PubMed ID: 33536657)

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

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

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

  • 4. The universal numbers. From Biology to Physics.
    Marchal B
    Prog Biophys Mol Biol; 2015 Dec; 119(3):368-81. PubMed ID: 26140993
    [TBL] [Abstract][Full Text] [Related]  

  • 5. The Ramanujan conjecture and its applications.
    Winnie Li WC
    Philos Trans A Math Phys Eng Sci; 2020 Jan; 378(2163):20180441. PubMed ID: 31813366
    [TBL] [Abstract][Full Text] [Related]  

  • 6. Creation of Numerical Constants in Robust Gene Expression Programming.
    Fajfar I; Tuma T
    Entropy (Basel); 2018 Oct; 20(10):. PubMed ID: 33265845
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 9. The role of pattern recognition in creative problem solving: a case study in search of new mathematics for biology.
    Hong FT
    Prog Biophys Mol Biol; 2013 Sep; 113(1):181-215. PubMed ID: 23597605
    [TBL] [Abstract][Full Text] [Related]  

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

  • 11. The unreasonable effectiveness of small neural ensembles in high-dimensional brain.
    Gorban AN; Makarov VA; Tyukin IY
    Phys Life Rev; 2019 Jul; 29():55-88. PubMed ID: 30366739
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Discrete Ramanujan transform for distinguishing the protein coding regions from other regions.
    Hua W; Wang J; Zhao J
    Mol Cell Probes; 2014; 28(5-6):228-36. PubMed ID: 24787059
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Granularity analysis for mathematical proofs.
    Schiller MR
    Top Cogn Sci; 2013 Apr; 5(2):251-69. PubMed ID: 23460420
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Reshaping the metaphor of proof.
    Vavilov N
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180279. PubMed ID: 30966978
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Ramanujan's legacy: the work of the SASTRA prize winners
    Alladi K
    Philos Trans A Math Phys Eng Sci; 2020 Jan; 378(2163):20180438. PubMed ID: 31813370
    [TBL] [Abstract][Full Text] [Related]  

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

  • 17. The fundamental constants and theory.
    Mohr PJ
    Philos Trans A Math Phys Eng Sci; 2005 Sep; 363(1834):2123-37. PubMed ID: 16147501
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Compatible quantum theory.
    Friedberg R; Hohenberg PC
    Rep Prog Phys; 2014 Sep; 77(9):092001. PubMed ID: 25146940
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Computing and the cultures of proving.
    MacKenzie D
    Philos Trans A Math Phys Eng Sci; 2005 Oct; 363(1835):2335-47; discussion 2347-50. PubMed ID: 16188609
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Base units of the SI, fundamental constants and modern quantum physics.
    Bordé CJ
    Philos Trans A Math Phys Eng Sci; 2005 Sep; 363(1834):2177-201. PubMed ID: 16147505
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 7.