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 *

164 related articles for article (PubMed ID: 30966972)

  • 1. From mathematical axioms to mathematical rules of proof: recent developments in proof analysis.
    Negri S; von Plato J
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180037. PubMed ID: 30966972
    [TBL] [Abstract][Full Text] [Related]  

  • 2. The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem.
    Straßburger L
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180038. PubMed ID: 30966973
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 5. Identification of proofs via syzygies.
    Malheiro A; Reis JF
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180275. PubMed ID: 30966976
    [TBL] [Abstract][Full Text] [Related]  

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

  • 7. Visual thinking and simplicity of proof.
    Cain AJ
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180032. PubMed ID: 30966969
    [TBL] [Abstract][Full Text] [Related]  

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

  • 9. Proof simplification and automated theorem proving.
    Kinyon M
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180034. PubMed ID: 30966970
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Mathematical proof: from mathematics to school mathematics.
    Rocha H
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180045. PubMed ID: 30966974
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Hilbert's sixth problem: between the foundations of geometry and the axiomatization of physics.
    Corry L
    Philos Trans A Math Phys Eng Sci; 2018 Apr; 376(2118):. PubMed ID: 29555796
    [TBL] [Abstract][Full Text] [Related]  

  • 12. The solution of the sixth Hilbert problem: the ultimate Galilean revolution.
    D'Ariano GM
    Philos Trans A Math Phys Eng Sci; 2018 Apr; 376(2118):. PubMed ID: 29555798
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Hilbert's sixth problem and the failure of the Boltzmann to Euler limit.
    Slemrod M
    Philos Trans A Math Phys Eng Sci; 2018 Apr; 376(2118):. PubMed ID: 29555797
    [TBL] [Abstract][Full Text] [Related]  

  • 14. A simple theory of every 'thing'.
    Hipolito I
    Phys Life Rev; 2019 Dec; 31():79-85. PubMed ID: 31757601
    [TBL] [Abstract][Full Text] [Related]  

  • 15. [Not Available].
    Thiele R
    NTM; 1997 Dec; 5(1):23-42. PubMed ID: 27742928
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Hilbert's sixth problem: the endless road to rigour.
    Gorban AN
    Philos Trans A Math Phys Eng Sci; 2018 Apr; 376(2118):. PubMed ID: 29555808
    [TBL] [Abstract][Full Text] [Related]  

  • 17. From Magnitudes to Geometry and Back: De Zolt's Postulate.
    Giovannini EN; Lassalle-Casanave A
    Theoria; 2022 Jun; 88(3):629-652. PubMed ID: 35912399
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Quantum probability and Hilbert's sixth problem.
    Accardi L
    Philos Trans A Math Phys Eng Sci; 2018 Apr; 376(2118):. PubMed ID: 29555809
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Discussing Hilbert's 24th problem.
    Hipolito I; Kahle R
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180040. PubMed ID: 30966977
    [No Abstract]   [Full Text] [Related]  

  • 20. Skolem and pessimism about proof in mathematics.
    Cohen PJ
    Philos Trans A Math Phys Eng Sci; 2005 Oct; 363(1835):2407-18. PubMed ID: 16188616
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 9.