Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

25 relations

Broader (3)

Artificial intelligenceAutomated theorem provingFormal methods
Automated MathematicianAutomated reasoningChua's circuitComputer

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Сдвиг парадигм: библиотеки в контексте цифровых гуманитарных наук (зарубежный опыт)
The article analyzes the new status of Western libraries within the framework of Di­gital Humanities (DH), a volumetric trend… 
2016
2016
A Proof of the Four Color Theorem by Induction
We choose one of four colors as a temporary color for all regions that have not been colored,and made the initial conditions… 
Review
2010
Review
2010
Manual of Clinical Paramedic Procedures
Introduction Foreword 1. Airway management Definition of airway management Concept of a stepwise approach Basic anatomy of the… 
2006
2006
Geschichte und Entwicklung der computerassistierten Chirurgie in der Orthopädie
ZusammenfassungDie computerassistierte Chirurgie wurde unter dem Gesichtspunkt der verbesserten Genauigkeit orthopädisch… 
2003
2003
An Integrated Framework for Supporting Photo Retrieval Activities in Home Environments
This paper addresses the content overload problem applied to photo retrieval activities in the home environment. The starting… 
1992
1992
The next generation of computer assistance for software engineering
The BluePrint toolset and project provides support for a style of software engineering that is often aspired to but is very… 
1988
1988
Computer-Assisted Mathematical Programming (Modelling) System: CAMPS
A Computer-Assisted Mathematical Programming (Modelling) System (CAMPS) is described in this paper. The system uses program… 
1986
1986
Computer Aided Optimization of Machining Conditions in Single Pass Turning Operations
Optimization strategies and computer flow charts for single pass rough turning on NC/CNC and conventional lathes are presented… 
Review
1982
Review
1982
Computer assistance for soil survey and land evaluation
1970
1970
The radiological evaluation of skeletal lesions with computer assistance.