scholarly journals A Computer Proof of Moll's Log-Concavity Conjecture

2007 ◽  
Vol 135 (12) ◽  
pp. 3847-3857 ◽  
Author(s):  
Manuel Kauers ◽  
Peter Paule
Keyword(s):  
Computer Proof

Can a computer proof be elegant?

2001 ◽  
Vol 32 (1) ◽  
pp. 111-114
Author(s):  
Steve Seiden
Keyword(s):  
Computer Proof

First-in-Man Computed Tomography-Guided Percutaneous Revascularization of Coronary Chronic Total Occlusion Using a Wearable Computer: Proof of Concept

2016 ◽  
Vol 32 (6) ◽  
pp. 829.e11-829.e13 ◽  
Author(s):  
Maksymilian P. Opolski ◽  
Artur Debski ◽  
Bartosz A. Borucki ◽  
Marcin Szpak ◽  
Adam D. Staruch ◽  
...  
Keyword(s):  
Computed Tomography ◽  
Chronic Total Occlusion ◽  
Wearable Computer ◽  
Proof Of Concept ◽  
Total Occlusion ◽  
Percutaneous Revascularization ◽  
Computer Proof

Computer proof of monotonicity of operations on orthomodular lattices

2013 ◽  
Vol 236 ◽  
pp. 205-217 ◽  
Author(s):  
Jeannine J.M. Gabriëls ◽  
Mirko Navara
Keyword(s):  
Orthomodular Lattices ◽  
Computer Proof

A computer proof of relations in a certain class of groups

1991 ◽  
Vol 117 (1-2) ◽  
pp. 109-114
Author(s):  
Edmund F. Robertson ◽  
Kevin Rutherford
Keyword(s):  
Group Theory ◽  
Special Cases ◽  
Computer Proof

SynopsisA gp-toolkit consisting of computer implementations of various group theory methods, in particular a Tietze transformation program, was designed. Special cases of a conjecture were solved by the gp-toolkit. Examination of the method used by the gp-toolkit to deduce relations showed that a general approach had been employed. We present a proof verifying that the conjecture is true which is a straightforward generalisation of the method discovered by the gp-toolkit.

Sign in / Sign up

Export Citation Format

Share Document