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.
127 related articles for article (PubMed ID: 7727701)
21. Dynamics of the Bell Prover, II. Ruegg FW; Ruegg FC J Res Natl Inst Stand Technol; 1990; 95(1):15-31. PubMed ID: 28179755 [TBL] [Abstract][Full Text] [Related]
22. A Simple Proof of Siegel's Theorem. Goldfeld DM Proc Natl Acad Sci U S A; 1974 Apr; 71(4):1055. PubMed ID: 16592152 [TBL] [Abstract][Full Text] [Related]
23. Adiabatic Theorem for Quantum Spin Systems. Bachmann S; De Roeck W; Fraas M Phys Rev Lett; 2017 Aug; 119(6):060201. PubMed ID: 28949622 [TBL] [Abstract][Full Text] [Related]
25. Markov Property of the Conformal Field Theory Vacuum and the a Theorem. Casini H; Testé E; Torroba G Phys Rev Lett; 2017 Jun; 118(26):261602. PubMed ID: 28707911 [TBL] [Abstract][Full Text] [Related]
26. Proof phenomenon as a function of the phenomenology of proving. Hipólito I Prog Biophys Mol Biol; 2015 Dec; 119(3):360-7. PubMed ID: 26160643 [TBL] [Abstract][Full Text] [Related]
28. A Fully Automatic Theorem Prover with Human-Style Output. Ganesalingam M; Gowers WT J Autom Reason; 2017; 58(2):253-291. PubMed ID: 30174363 [TBL] [Abstract][Full Text] [Related]
29. Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs. Schlaipfer M; Weissenbacher G J Autom Reason; 2016; 57(1):3-36. PubMed ID: 30174360 [TBL] [Abstract][Full Text] [Related]
30. Redundancy in distributed proofs. Feuilloley L; Fraigniaud P; Hirvonen J; Paz A; Perry M Distrib Comput; 2021; 34(2):113-132. PubMed ID: 34720290 [TBL] [Abstract][Full Text] [Related]
32. 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]
33. Ergodic theorem, ergodic theory, and statistical mechanics. Moore CC Proc Natl Acad Sci U S A; 2015 Feb; 112(7):1907-11. PubMed ID: 25691697 [TBL] [Abstract][Full Text] [Related]
34. In Situ Pipe Prover Volume Measurement Method. Hu J; Zhou W; Chen A; Cai J; Yu J; Cui Z; Li D Sensors (Basel); 2024 Jul; 24(15):. PubMed ID: 39123919 [TBL] [Abstract][Full Text] [Related]
36. Variable-coefficient parabolic theory as a high-dimensional limit of elliptic theory. Davey B; Smit Vega Garcia M Calc Var Partial Differ Equ; 2024; 63(2):40. PubMed ID: 38288457 [TBL] [Abstract][Full Text] [Related]
37. 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]
38. Heuristic analogy in Ars Conjectandi: From Archimedes' De Circuli Dimensione to Bernoulli's theorem. Campos DG Stud Hist Philos Sci; 2018 Feb; 67():44-53. PubMed ID: 29458946 [TBL] [Abstract][Full Text] [Related]
39. 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]
40. Control analysis of time-dependent metabolic systems. Acerenza L; Sauro HM; Kacser H J Theor Biol; 1989 Apr; 137(4):423-44. PubMed ID: 2626059 [TBL] [Abstract][Full Text] [Related] [Previous] [Next] [New Search]