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 *

159 related articles for article (PubMed ID: 30966976)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • 18. Aggregation of Markov flows I: theory.
    MacKay RS; Robinson JD
    Philos Trans A Math Phys Eng Sci; 2018 Apr; 376(2118):. PubMed ID: 29555805
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Hilbert's 17th problem and the quantumness of states.
    Korbicz JK; Cirac JI; Wehr J; Lewenstein M
    Phys Rev Lett; 2005 Apr; 94(15):153601. PubMed ID: 15904143
    [TBL] [Abstract][Full Text] [Related]  

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

    [Next]    [New Search]
    of 8.