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.
137 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. Algorithm-assisted discovery of an intrinsic order among mathematical constants. Elimelech R; David O; De la Cruz Mengual C; Kalisch R; Berndt W; Shalyt M; Silberstein M; Hadad Y; Kaminer I Proc Natl Acad Sci U S A; 2024 Jun; 121(25):e2321440121. PubMed ID: 38875143 [TBL] [Abstract][Full Text] [Related]
3. 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]
4. 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]
5. 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]
6. 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]
7. 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]
8. 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]
9. 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]
10. 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]
11. 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]
12. Viscosity and diffusion in life processes and tuning of fundamental constants. Trachenko K Rep Prog Phys; 2023 Oct; 86(11):. PubMed ID: 37811635 [TBL] [Abstract][Full Text] [Related]
13. 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]
14. 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]
16. 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]
17. 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]
18. 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]
19. 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]