Play Video
1
Thomas Ball -  Advances in Automated Theorem Proving
Thomas Ball - Advances in Automated Theorem Proving
::2012/10/12::
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
Website Automation Wizard Review
Website Automation Wizard Review
::2012/04/10::
Play Video
5
ARW 2013. Sessions 3, 4 and 5
ARW 2013. Sessions 3, 4 and 5
::2013/04/15::
Play Video
6
Binary Options Cash Profits Proof Of Broker Withdrawal To Bank Account
Binary Options Cash Profits Proof Of Broker Withdrawal To Bank Account
::2014/06/09::
Play Video
7
VisualizeSLE: A Visual Editor for Separation Logic Entailments
VisualizeSLE: A Visual Editor for Separation Logic Entailments
::2013/08/04::
Play Video
8
Intelligent Mistakes in Test Automation
Intelligent Mistakes in Test Automation
::2013/10/25::
Play Video
9
Predator-Proof Duck House and Attached Night Pen
Predator-Proof Duck House and Attached Night Pen
::2013/08/05::
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
Checking Child Proof Caps Friday
Checking Child Proof Caps Friday
::2010/11/11::
Play Video
12
Local proof transformations for flexible ...
Local proof transformations for flexible ...
::2013/07/24::
Play Video
13
Dragon City Hack and Cheats [With Proof] - January 2014
Dragon City Hack and Cheats [With Proof] - January 2014
::2014/01/17::
Play Video
14
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
15
FreeBitco in Review  Payment Proof
FreeBitco in Review Payment Proof
::2014/03/15::
Play Video
16
Interactive Theorem Proving (1-1)
Interactive Theorem Proving (1-1)
::2013/07/14::
Play Video
17
OptionBit Rate Scam Proof  Binary Options Scam Part 2
OptionBit Rate Scam Proof Binary Options Scam Part 2
::2014/06/25::
Play Video
18
Minecraft Update 1.5 Preview: Fully Automated Hopper Item Sorting System
Minecraft Update 1.5 Preview: Fully Automated Hopper Item Sorting System
::2013/01/05::
Play Video
19
Tekkit Ep12  - BuildCraft Power Station - Explosion proof Combustion Engines
Tekkit Ep12 - BuildCraft Power Station - Explosion proof Combustion Engines
::2012/09/07::
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
Intelligent Mistakes in Test Automation
Intelligent Mistakes in Test Automation
::2013/08/06::
Play Video
22
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
::2013/11/20::
Play Video
23
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/07::
Play Video
24
Automated Mold Design with Mold Wizard (Siemens PLM)
Automated Mold Design with Mold Wizard (Siemens PLM)
::2012/11/07::
Play Video
25
100-1000ml double heads Cream Shampoo Cosmetic Automatic Filling Machine
100-1000ml double heads Cream Shampoo Cosmetic Automatic Filling Machine
::2013/12/26::
Play Video
26
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/19::
Play Video
27
BackPage Autoposter Automated Marketing For Any Business
BackPage Autoposter Automated Marketing For Any Business
::2013/01/13::
Play Video
28
Smart-BUS G4 Automation Quality Control Test Sequences Exmple
Smart-BUS G4 Automation Quality Control Test Sequences Exmple
::2012/04/20::
Play Video
29
Automated Leak Detection
Automated Leak Detection
::2013/07/02::
Play Video
30
Continuous automatic vacuum sealing machine
Continuous automatic vacuum sealing machine
::2014/05/20::
Play Video
31
indeni - Company Video
indeni - Company Video
::2014/01/20::
Play Video
32
MINECRAFT Tekkit/Technic SAFE AUTOMATED NUCLEAR REACTOR
MINECRAFT Tekkit/Technic SAFE AUTOMATED NUCLEAR REACTOR
::2012/04/09::
Play Video
33
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
34
Proof that the TF2 Outpost Trading Bot Works.
Proof that the TF2 Outpost Trading Bot Works.
::2012/07/20::
Play Video
35
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
36
$150-350 Per Day Automated System
$150-350 Per Day Automated System
::2012/07/27::
Play Video
37
Checking Accounts: "Pay to the Order Of" circa 1948  American Bankers Association
Checking Accounts: "Pay to the Order Of" circa 1948 American Bankers Association
::2013/11/02::
Play Video
38
SEO Expert Traffic Generation Page #1 RankingVideo Proof
SEO Expert Traffic Generation Page #1 RankingVideo Proof
::2011/01/28::
Play Video
39
Consumer Alert  Automatic Electronic Debits   Internet Crime
Consumer Alert Automatic Electronic Debits Internet Crime
::2013/08/31::
Play Video
40
TREMENDOUS: Automatic Money Machine - Should I Join???  building your automatic money machine jobs
TREMENDOUS: Automatic Money Machine - Should I Join??? building your automatic money machine jobs
::2012/07/11::
Play Video
41
Best Twitter Software (Easy)
Best Twitter Software (Easy)
::2014/06/16::
Play Video
42
Real Radio Investigation into child-proof bottle tops
Real Radio Investigation into child-proof bottle tops
::2011/05/30::
Play Video
43
Forex Trading Robot
Forex Trading Robot
::2012/11/08::
Play Video
44
EZI Check Auto Carton Checking System
EZI Check Auto Carton Checking System
::2013/10/23::
Play Video
45
Prototype Quadrotor with Machine Gun!
Prototype Quadrotor with Machine Gun!
::2012/04/23::
Play Video
46
Technical Competency of the Automation Group
Technical Competency of the Automation Group's Tech Team at Cross Company
::2012/06/20::
Play Video
47
Automation Ideas - 2 Gal Cooler Run off - Leak Detector
Automation Ideas - 2 Gal Cooler Run off - Leak Detector
::2013/01/29::
Play Video
48
Lets Check Out Lighting in the Indoor Garden Bloom Room
Lets Check Out Lighting in the Indoor Garden Bloom Room
::2013/10/28::
Play Video
49
Modded Minecraft - "Magic Bear" - S2E30 - Blood Magic Mining
Modded Minecraft - "Magic Bear" - S2E30 - Blood Magic Mining
::2014/03/24::
Play Video
50
More MCA Testimonials... WOW!!
More MCA Testimonials... WOW!!
::2013/02/03::
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
LEGAL
  • Mashpedia © 2014