SPONSORED VIDEO
Play Video
1
Thomas Ball -  Advances in Automated Theorem Proving
Thomas Ball - Advances in Automated Theorem Proving
::2012/10/11::
Play Video
2
Proof that Dota 2 mute system is 100% automated
Proof that Dota 2 mute system is 100% automated
::2013/06/25::
Play Video
3
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
4
Secret Millionaire Society Review - Proof Its Not A Scam!
Secret Millionaire Society Review - Proof Its Not A Scam!
::2014/09/25::
Play Video
5
VisualizeSLE: A Visual Editor for Separation Logic Entailments
VisualizeSLE: A Visual Editor for Separation Logic Entailments
::2013/08/04::
Play Video
6
Crazy Fast Hostile Mob Farm (24000 Drops per Hour)
Crazy Fast Hostile Mob Farm (24000 Drops per Hour)
::2014/10/02::
Play Video
7
Shocking PROOF on how Cole
Shocking PROOF on how Cole's Credit Repair Services ARE THE BEST EVER!
::2013/06/10::
Play Video
8
ARW 2013. Sessions 3, 4 and 5
ARW 2013. Sessions 3, 4 and 5
::2013/04/15::
Play Video
9
Tekkit Ep12  - BuildCraft Power Station - Explosion proof Combustion Engines
Tekkit Ep12 - BuildCraft Power Station - Explosion proof Combustion Engines
::2012/09/07::
Play Video
10
Local proof transformations for flexible ...
Local proof transformations for flexible ...
::2013/07/24::
Play Video
11
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
12
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
13
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
14
Predator-Proof Duck House and Attached Night Pen
Predator-Proof Duck House and Attached Night Pen
::2013/08/05::
Play Video
15
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
16
MINECRAFT Tekkit/Technic SAFE AUTOMATED NUCLEAR REACTOR
MINECRAFT Tekkit/Technic SAFE AUTOMATED NUCLEAR REACTOR
::2012/04/09::
Play Video
17
Interactive Theorem Proving (1-1)
Interactive Theorem Proving (1-1)
::2013/07/13::
Play Video
18
Partial Valve Stroke Testing Demonstration with System 800xA HI
Partial Valve Stroke Testing Demonstration with System 800xA HI
::2012/07/12::
Play Video
19
Smart-BUS G4 Automation Quality Control Test Sequences Exmple
Smart-BUS G4 Automation Quality Control Test Sequences Exmple
::2012/04/20::
Play Video
20
Automated Mold Design with Mold Wizard (Siemens PLM)
Automated Mold Design with Mold Wizard (Siemens PLM)
::2012/11/07::
Play Video
21
Arduino - Controlled Small Automated Hot Beverage Vending Machine
Arduino - Controlled Small Automated Hot Beverage Vending Machine
::2014/08/08::
Play Video
22
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
23
$50,000+ "Income Proof" - Jeff Learner - Carbon Copy Pro
$50,000+ "Income Proof" - Jeff Learner - Carbon Copy Pro
::2009/04/06::
Play Video
24
Auto Receptionist: Automated Communication Services Keep You in Touch - Davinci Virtual Office Video
Auto Receptionist: Automated Communication Services Keep You in Touch - Davinci Virtual Office Video
::2012/04/30::
Play Video
25
S.A.M. |  Cash Any Check at a Kiosk!
S.A.M. | Cash Any Check at a Kiosk!
::2014/02/18::
Play Video
26
Modded Minecraft - "Magic Bear" - S2E30 - Blood Magic Mining
Modded Minecraft - "Magic Bear" - S2E30 - Blood Magic Mining
::2014/03/24::
Play Video
27
1/18/13 - Orgone Pyramid Cleans Sky Chemtrail Contrail Proof  - my opinion
1/18/13 - Orgone Pyramid Cleans Sky Chemtrail Contrail Proof - my opinion
::2013/01/18::
Play Video
28
lipstick bottom labeling machine fully automatic cosmetics equipment máquina de etiquetado
lipstick bottom labeling machine fully automatic cosmetics equipment máquina de etiquetado
::2014/05/06::
Play Video
29
Siemens TK76209RW EQ.7 Fully automatic espresso maker
Siemens TK76209RW EQ.7 Fully automatic espresso maker
::2010/06/11::
Play Video
30
Copy Paste Cash 100% Automated - copy paste cash review, copy paste cash uk
Copy Paste Cash 100% Automated - copy paste cash review, copy paste cash uk
::2012/11/29::
Play Video
31
ATMSKIMM.COM RIPPER ATM SKIMMER SALE SCAM
ATMSKIMM.COM RIPPER ATM SKIMMER SALE SCAM
::2014/03/06::
Play Video
32
Millionaire Marketing Machine Review...Why You Should Join!
Millionaire Marketing Machine Review...Why You Should Join!
::2013/01/13::
Play Video
33
Automated Profit Clicking Withdrawal DEMO
Automated Profit Clicking Withdrawal DEMO
::2012/12/11::
Play Video
34
Watch LIVE PROOF  Binary Options Secrets - Earn Money Every 60 Seconds
Watch LIVE PROOF Binary Options Secrets - Earn Money Every 60 Seconds
::2014/04/02::
Play Video
35
Best Proofreading Software for Professional Writers and Online Users
Best Proofreading Software for Professional Writers and Online Users
::2014/07/11::
Play Video
36
OMG... MCA IS REAL!
OMG... MCA IS REAL!
::2013/01/23::
Play Video
37
MagLid Magic - Closure technology (Close_and_Seal).mov
MagLid Magic - Closure technology (Close_and_Seal).mov
::2012/05/04::
Play Video
38
Real Radio Investigation into child-proof bottle tops
Real Radio Investigation into child-proof bottle tops
::2011/05/30::
Play Video
39
Exchange Autotrading
Exchange Autotrading
::2012/11/07::
Play Video
40
Automatic List System Review The Ultimate List Building System
Automatic List System Review The Ultimate List Building System
::2014/11/30::
Play Video
41
More MCA Testimonials... WOW!!
More MCA Testimonials... WOW!!
::2013/02/02::
Play Video
42
Why dont automated backlink building services work?
Why dont automated backlink building services work?
::2010/06/22::
Play Video
43
OWN 1 10 Method One Ten Method Review
OWN 1 10 Method One Ten Method Review
::2014/12/24::
Play Video
44
English Gramer Checker Software
English Gramer Checker Software
::2012/08/27::
Play Video
45
2015 MAKE MONEY ONLINE FAST! Online Business Ideas On News - Project Payday Payment Proof Below
2015 MAKE MONEY ONLINE FAST! Online Business Ideas On News - Project Payday Payment Proof Below
::2014/10/10::
Play Video
46
Nzpcs Auto blogs Clickbank proof
Nzpcs Auto blogs Clickbank proof
::2008/01/30::
Play Video
47
Continuous automatic vacuum sealing machine
Continuous automatic vacuum sealing machine
::2014/05/20::
Play Video
48
Automation Formfilling Data Processing
Automation Formfilling Data Processing
::2012/09/25::
Play Video
49
Make Money With Clickbank - Proof of Huge Sales - a College video
Make Money With Clickbank - Proof of Huge Sales - a College video
::2013/06/25::
Play Video
50
How To Become A Proofreader (Tips & Advice)
How To Become A Proofreader (Tips & Advice)
::2013/11/07::
NEXT >>
RESULTS [51 .. 101]
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 © 2014