1
Thomas Ball - Advances in Automated Theorem Proving
::2012/10/11::
2
Proof that Dota 2 mute system is 100% automated
::2013/06/25::
3
Computer-Aided Security Proofs for the Working Cryptographer (Crypto 2011)
::2011/10/09::
4
How to Make Money Fast - Live Proof - Binary Options Trading
::2014/11/20::
5
31. ProofCheck: Checking Mathematical Proofs written in TeX
::2012/03/14::
6
Secret Millionaire Society Review - Proof Its Not A Scam!
::2014/09/25::
7
Home Automation with the Raspberry Pi and Node.js - Well Tempered Hacker
::2013/04/06::
8
Tekkit Ep12 - BuildCraft Power Station - Explosion proof Combustion Engines
::2012/09/07::
9
Shocking PROOF on how Cole's Credit Repair Services ARE THE BEST EVER!
::2013/06/10::
10
Local proof transformations for flexible ...
::2013/07/24::
11
Space Engineers - Series 2.18 - 'AUTOMATED BUILDERS / CONSTRUCTION'
::2014/06/28::
12
ARW 2013. Sessions 3, 4 and 5
::2013/04/15::
13
Domain Tweak System: Shocking Rank in Google in 24 Hours System. Proof Inside...
::2012/11/25::
14
Minecraft Update 1.5 Preview: Fully Automated Hopper Item Sorting System
::2013/01/04::
15
MCA PayDay | $1,237.96 In One Week | Direct Deposit Proof
::2014/03/21::
16
VisualizeSLE: A Visual Editor for Separation Logic Entailments
::2013/08/04::
17
Predator-Proof Duck House and Attached Night Pen
::2013/08/05::
18
MINECRAFT Tekkit/Technic SAFE AUTOMATED NUCLEAR REACTOR
::2012/04/09::
19
MCA proof video look at what they did to my bank! DO NOT JOIN UNTIL YOU SEE THIS! W T F
::2013/01/25::
20
Interactive Theorem Proving (1-1)
::2013/07/13::
21
Hexagon mh35.65 entry-level Laser pre-setter. Affordable automated tool correction.
::2014/05/29::
22
Automated Mold Design with Mold Wizard (Siemens PLM)
::2012/11/07::
23
Partial Valve Stroke Testing Demonstration with System 800xA HI
::2012/07/12::
24
Smart-BUS G4 Automation Quality Control Test Sequences Exmple
::2012/04/20::
25
Auto Receptionist: Automated Communication Services Keep You in Touch - Davinci Virtual Office Video
::2012/04/30::
26
Grammarly Automated Online Proofreader
::2013/03/13::
27
BackPage Autoposter Automated Marketing For Any Business
::2013/01/13::
28
More MCA Testimonials... WOW!!
::2013/02/02::
29
Copy Paste Cash 100% Automated - copy paste cash review, copy paste cash uk
::2012/11/29::
30
Watch LIVE PROOF Binary Options Secrets - Earn Money Every 60 Seconds
::2014/04/02::
31
Modded Minecraft - "Magic Bear" - S2E30 - Blood Magic Mining
::2014/03/24::
32
Automated Profit Clicking Withdrawal DEMO
::2012/12/11::
33
$50,000+ "Income Proof" - Jeff Learner - Carbon Copy Pro
::2009/04/06::
34
1/18/13 - Orgone Pyramid Cleans Sky Chemtrail Contrail Proof - my opinion
::2013/01/18::
35
Automatic library sorting using RFID
::2007/07/31::
36
Why dont automated backlink building services work?
::2010/06/22::
37
lipstick bottom labeling machine fully automatic cosmetics equipment máquina de etiquetado
::2014/05/06::
38
Best Proofreading Software for Professional Writers and Online Users
::2014/07/11::
39
MCA PROOF. WITHDRAW MONEY FROM THE ATM
::2013/02/08::
40
Millionaire Marketing Machine Review...Why You Should Join!
::2013/01/13::
41
Continuous automatic vacuum sealing machine
::2014/05/20::
42
Exchange Autotrading
::2012/11/07::
43
Crisis Killer Review-What Can This Program Do For You?
::2014/10/26::
44
How To Become A Proofreader (Tips & Advice)
::2013/11/07::
45
Nzpcs Auto blogs Clickbank proof
::2008/01/30::
46
IDscan Visage - Another IDscan innovation
::2014/07/07::
47
Auto Electronic Cigarette Oil Filling Machine E-Cigarette Liquid Filler E-liquid Filling Machinery
::2014/05/15::
48
Automation Formfilling Data Processing
::2012/09/25::
49
This 6 Panel Sleeve (Mailer/Wallet) can hold 3 Disc. This Video shows folding & Gluing Process
::2012/04/29::
50
Am I getting paid in AST? HELL YEAH!!!
::2013/02/17::
From Wikipedia, the free encyclopedia
(Redirected from
Proof checking )
This article has multiple issues. Please help improve it or discuss these issues on the talk page .
This article needs attention from an expert in Mathematics . Please add a reason or a talk parameter to this template to explain the issue with the article. WikiProject Mathematics (or its Portal ) may be able to help recruit an expert. (February 2009)
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