Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,842,912 papers from all fields of science
Search
Sign In
Create Free Account
Computer-assisted proof
Known as:
Computer assisted proof
, Computer proof
, Computer-aided proof
A computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
25 relations
Broader (3)
Artificial intelligence
Automated theorem proving
Formal methods
Automated Mathematician
Automated reasoning
Chua's circuit
Computer
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Сдвиг парадигм: библиотеки в контексте цифровых гуманитарных наук (зарубежный опыт)
Татьяна Евгеньевна Савицкая
2018
Corpus ID: 169042651
The article analyzes the new status of Western libraries within the framework of Digital Humanities (DH), a volumetric trend…
Expand
2016
2016
A Proof of the Four Color Theorem by Induction
Quang Nguyen Van
2016
Corpus ID: 124682326
We choose one of four colors as a temporary color for all regions that have not been colored,and made the initial conditions…
Expand
Review
2010
Review
2010
Manual of Clinical Paramedic Procedures
P. Gregory
,
Ian Mursell
2010
Corpus ID: 68728754
Introduction Foreword 1. Airway management Definition of airway management Concept of a stepwise approach Basic anatomy of the…
Expand
2006
2006
Geschichte und Entwicklung der computerassistierten Chirurgie in der Orthopädie
J. Jenny
Der Orthopade
2006
Corpus ID: 46465207
ZusammenfassungDie computerassistierte Chirurgie wurde unter dem Gesichtspunkt der verbesserten Genauigkeit orthopädisch…
Expand
2005
2005
On Homogenous Minimal Involutive Varieties
L. C. O. Almeida
,
S. C. Coutinho
LMS J. Comput. Math.
2005
Corpus ID: 122496556
Let S(2n, k) be the variety of homogeneous polynomials of degree k in 2n variables. The authors of this paper give a computer…
Expand
1996
1996
A Multi-Layer Architecture for Knowledge-Based System Synthesis
Jutta Eusterbrock
International Syposium on Methodologies for…
1996
Corpus ID: 17434722
This paper defines a clean multi-layer architecture for the design of knowledge-based synthesis systems within the logic…
Expand
1988
1988
Computer-Assisted Mathematical Programming (Modelling) System: CAMPS
C. Lucas
,
G. Mitra
Computer/law journal
1988
Corpus ID: 34529136
A Computer-Assisted Mathematical Programming (Modelling) System (CAMPS) is described in this paper. The system uses program…
Expand
Review
1982
Review
1982
Computer assistance for soil survey and land evaluation
P. Burrough
1982
Corpus ID: 130749211
1980
1980
Decision making and problem solving with computer assistance
F. Kraiss
1980
Corpus ID: 60096999
In modern guidance and control systems, the human as manager, supervisor, decision maker, problem solver and trouble shooter…
Expand
1970
1970
The radiological evaluation of skeletal lesions with computer assistance.
Lodwick Gs
1970
Corpus ID: 77974648