SPONSORED VIDEO
Play Video
1
Viral Content Profits - Han Fan
Viral Content Profits - Han Fan's EXCLUSIVE Interview With Ricky Mataka
::2015/01/28::
Play Video
2
Viral Content Profits - Han Fan
Viral Content Profits - Han Fan's EXCLUSIVE Interview With Ricky Mataka - Hangout
::2015/01/27::
Play Video
3
Viral Content Profits - get *BEST* Bonus and Review HERE!!! .... :) :) :)
Viral Content Profits - get *BEST* Bonus and Review HERE!!! .... :) :) :)
::2015/01/29::
Play Video
4
Thomas Ball -  Advances in Automated Theorem Proving
Thomas Ball - Advances in Automated Theorem Proving
::2012/10/11::
Play Video
5
Proof that Dota 2 mute system is 100% automated
Proof that Dota 2 mute system is 100% automated
::2013/06/25::
Play Video
6
Viral Content Profits Demo Video - get *BEST* Review and Bonus HERE!!! ... :) :) :)
Viral Content Profits Demo Video - get *BEST* Review and Bonus HERE!!! ... :) :) :)
::2015/01/28::
Play Video
7
Viral Content Profits Trailer Video - Where to Get Best Deal On Viral Content Profits? :) :) :)
Viral Content Profits Trailer Video - Where to Get Best Deal On Viral Content Profits? :) :) :)
::2015/01/28::
Play Video
8
Computer-Aided Security Proofs for the Working Cryptographer (Crypto 2011)
Computer-Aided Security Proofs for the Working Cryptographer (Crypto 2011)
::2011/10/09::
Play Video
9
Viral Content Profits Demo Video 2 - get *BEST* Review and Bonus HERE !!! ... :) :) :)
Viral Content Profits Demo Video 2 - get *BEST* Review and Bonus HERE !!! ... :) :) :)
::2015/01/28::
Play Video
10
Shocking PROOF on how Cole
Shocking PROOF on how Cole's Credit Repair Services ARE THE BEST EVER!
::2013/06/10::
Play Video
11
ARW 2013. Sessions 3, 4 and 5
ARW 2013. Sessions 3, 4 and 5
::2013/04/15::
Play Video
12
Viral Content Profits Demo Video 3 - get *BEST* Review and Bonus HERE!!! ... :) :) :)
Viral Content Profits Demo Video 3 - get *BEST* Review and Bonus HERE!!! ... :) :) :)
::2015/01/29::
Play Video
13
VisualizeSLE: A Visual Editor for Separation Logic Entailments
VisualizeSLE: A Visual Editor for Separation Logic Entailments
::2013/08/04::
Play Video
14
Crazy Fast Hostile Mob Farm (24000 Drops per Hour)
Crazy Fast Hostile Mob Farm (24000 Drops per Hour)
::2014/10/02::
Play Video
15
Tekkit Ep12  - BuildCraft Power Station - Explosion proof Combustion Engines
Tekkit Ep12 - BuildCraft Power Station - Explosion proof Combustion Engines
::2012/09/07::
Play Video
16
Millionaire Marketing Machine Review...Why You Should Join!
Millionaire Marketing Machine Review...Why You Should Join!
::2013/01/13::
Play Video
17
MCA PayDay | $1,237.96 In One Week | Direct Deposit Proof
MCA PayDay | $1,237.96 In One Week | Direct Deposit Proof
::2014/03/21::
Play Video
18
Domain Tweak System: Shocking Rank in Google in 24 Hours System. Proof Inside...
Domain Tweak System: Shocking Rank in Google in 24 Hours System. Proof Inside...
::2012/11/25::
Play Video
19
Home Automation with the Raspberry Pi and Node.js - Well Tempered Hacker
Home Automation with the Raspberry Pi and Node.js - Well Tempered Hacker
::2013/04/06::
Play Video
20
MCA proof video look at what they did to my bank! DO NOT JOIN UNTIL YOU SEE THIS! W T F
MCA proof video look at what they did to my bank! DO NOT JOIN UNTIL YOU SEE THIS! W T F
::2013/01/25::
Play Video
21
Cantor
Cantor's Theorem in Coq
::2014/03/11::
Play Video
22
Predator-Proof Duck House and Attached Night Pen
Predator-Proof Duck House and Attached Night Pen
::2013/08/05::
Play Video
23
Exchange Autotrading
Exchange Autotrading
::2012/11/07::
Play Video
24
MINECRAFT Tekkit/Technic SAFE AUTOMATED NUCLEAR REACTOR
MINECRAFT Tekkit/Technic SAFE AUTOMATED NUCLEAR REACTOR
::2012/04/09::
Play Video
25
Interactive Theorem Proving (1-1)
Interactive Theorem Proving (1-1)
::2013/07/13::
Play Video
26
Local proof transformations for flexible interpolation and proof reduction  | Для Лекториума
Local proof transformations for flexible interpolation and proof reduction | Для Лекториума
::2013/07/24::
Play Video
27
31. ProofCheck: Checking Mathematical Proofs written in TeX
31. ProofCheck: Checking Mathematical Proofs written in TeX
::2012/03/14::
Play Video
28
Automatic List System Review The Ultimate List Building System
Automatic List System Review The Ultimate List Building System
::2014/12/01::
Play Video
29
Automated Mold Design with Mold Wizard (Siemens PLM)
Automated Mold Design with Mold Wizard (Siemens PLM)
::2012/11/07::
Play Video
30
Arduino - Controlled Small Automated Hot Beverage Vending Machine
Arduino - Controlled Small Automated Hot Beverage Vending Machine
::2014/08/08::
Play Video
31
OMG... MCA IS REAL!
OMG... MCA IS REAL!
::2013/01/23::
Play Video
32
Smart-BUS G4 Automation Quality Control Test Sequences Exmple
Smart-BUS G4 Automation Quality Control Test Sequences Exmple
::2012/04/20::
Play Video
33
Safe Pen Designs, Chicken Coop Pen Designs, Automatic Chicken Doors
Safe Pen Designs, Chicken Coop Pen Designs, Automatic Chicken Doors
::2014/08/04::
Play Video
34
YouTube Negative Comments Flood Yahoo Email
YouTube Negative Comments Flood Yahoo Email
::2013/10/07::
Play Video
35
Partial Valve Stroke Testing Demonstration with System 800xA HI
Partial Valve Stroke Testing Demonstration with System 800xA HI
::2012/07/12::
Play Video
36
Automatic library sorting using RFID
Automatic library sorting using RFID
::2007/07/31::
Play Video
37
EZI Check Auto Carton Checking System
EZI Check Auto Carton Checking System
::2013/10/22::
Play Video
38
Best Twitter Software (Easy)
Best Twitter Software (Easy)
::2014/06/16::
Play Video
39
We
We're Hiring! Make $40,000-$60,000 or More: Paid $500-$2000 & Up Every Friday
::2013/01/31::
Play Video
40
Answering Service Shreveport LA? Don
Answering Service Shreveport LA? Don't Buy Until You Read Surprising Report!
::2014/08/03::
Play Video
41
Answering Service Des Moines IA? Don
Answering Service Des Moines IA? Don't Buy Until You Read Surprising Report!
::2014/08/04::
Play Video
42
Standard 8mm Silent Cine Transfer
Standard 8mm Silent Cine Transfer
::2008/10/14::
Play Video
43
This 6 Panel Sleeve (Mailer/Wallet) can hold 3 Disc. This Video shows folding & Gluing Process
This 6 Panel Sleeve (Mailer/Wallet) can hold 3 Disc. This Video shows folding & Gluing Process
::2012/04/29::
Play Video
44
Crisis Killer Review – Is This Forex Robot Really Good?
Crisis Killer Review – Is This Forex Robot Really Good?
::2014/10/25::
Play Video
45
Fresh Bundle Master - Fresh Bundle Master Review
Fresh Bundle Master - Fresh Bundle Master Review
::2014/06/27::
Play Video
46
P1 Traffic Machine - Does P1 Traffic Machine Work?
P1 Traffic Machine - Does P1 Traffic Machine Work?
::2014/07/10::
Play Video
47
Crisis Killer Review-What Can This Program Do For You?
Crisis Killer Review-What Can This Program Do For You?
::2014/10/27::
Play Video
48
MCA Real Testimonials
MCA Real Testimonials
::2013/02/02::
Play Video
49
Dragon City Hack and Cheats [With Proof] - January 2014
Dragon City Hack and Cheats [With Proof] - January 2014
::2014/01/16::
Play Video
50
Make an EXTRA $40,000-$60,000 or More: $500-$2000 & Up Paid Every Friday
Make an EXTRA $40,000-$60,000 or More: $500-$2000 & Up Paid Every Friday
::2013/02/11::
NEXT >>
RESULTS [ .. ]
From Wikipedia, the free encyclopedia
  (Redirected from Proof checking)
Jump to: navigation, search

Automated proof checking is the process of using software for checking proofs for correctness. It is one of the most developed fields in automated reasoning.

Automated proof checking differs from automated theorem proving in that automated proof checking simply mechanically checks the formal workings of an existing proof, instead of trying to develop new proofs or theorems itself. Because of this, the task of automated proof verification is much simpler than that of automated theorem proving, allowing automated proof checking software to be much simpler than automated theorem proving software.

Because of this small size, some automated proof checking systems can have less than a thousand lines of core code, and are thus themselves amenable to both hand-checking and automated software verification.

The Mizar system, HOL Light, and Metamath are examples of automated proof checking systems.

Automated proof checking can be done either as a batch operation, or interactively, as part of an interactive theorem proving system.

Field journals and conferences[edit]

See also[edit]

External links[edit]

  • Julie Rehmeyer (November 14, 2008). "How to (really) trust a mathematical proof". ScienceNews. Retrieved 2008-11-14. 
  • Metamath: a proof checking system with an extensive collection of machine-readable proofs covering a considerable range of mathematical fields
  • Digimath: Freek Wiedijk's alphabetic list of systems
  • MathSystem: Mathematical Software systems


Wikipedia content is licensed under the GFDL License
Powered by YouTube
MASHPEDIA
LEGAL
  • Mashpedia © 2015