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

ARW 2013. Sessions 3, 4 and 5

::2013/04/15::

5

Proof Reading Software Demo

::2013/07/25::

6

Website Automation Wizard Review

::2012/04/10::

7

VisualizeSLE: A Visual Editor for Separation Logic Entailments

::2013/08/04::

8

Shocking PROOF on how Cole's Credit Repair Services ARE THE BEST EVER!

::2013/06/10::

9

Checking Child Proof Caps Friday

::2010/11/11::

10

Dragon City Hack and Cheats [With Proof] - January 2014

::2014/01/16::

11

Watch LIVE PROOF Binary Options Secrets Earn Money Every 60 Seconds

::2014/04/02::

12

Minecraft Update 1.5 Preview: Fully Automated Hopper Item Sorting System

::2013/01/04::

13

Domain Tweak System: Shocking Rank in Google in 24 Hours System. Proof Inside...

::2012/11/25::

14

Grammarly Automated Online Proofreader

::2013/03/13::

15

FreeBitco in Review Payment Proof

::2014/03/15::

16

Air Hockey Automation

::2012/06/06::

17

Local proof transformations for flexible ...

::2013/07/24::

18

Tekkit Ep12 - BuildCraft Power Station - Explosion proof Combustion Engines

::2012/09/07::

19

lipstick bottom labeling machine fully automatic cosmetics equipment máquina de etiquetado

::2014/05/06::

20

100-1000ml double heads Cream Shampoo Cosmetic Automatic Filling Machine

::2013/12/26::

21

2015 MAKE MONEY ONLINE FAST! Online Business Ideas On News - Project Payday Payment Proof Below

::2013/11/20::

22

Automated Mold Design with Mold Wizard (Siemens PLM)

::2012/11/07::

23

Proof that "32Bit RamPatch" works

::2013/07/30::

24

Automated Profit Clicking Withdrawal DEMO

::2012/12/11::

25

Smart-BUS G4 Automation Quality Control Test Sequences Exmple

::2012/04/20::

26

GUI automation Recorder

::2013/06/11::

27

1/18/13 - Orgone Pyramid Cleans Sky Chemtrail Contrail Proof - my opinion

::2013/01/18::

28

Make Money Online Fast- Instant Payday Network Proof Of Income click here...

::2013/10/28::

29

BackPage Autoposter Automated Marketing For Any Business

::2013/01/13::

30

MINECRAFT Tekkit/Technic SAFE AUTOMATED NUCLEAR REACTOR

::2012/04/09::

31

Automated Leak Detection

::2013/07/02::

32

Auto Receptionist: Automated Communication Services Keep You in Touch - Davinci Virtual Office Video

::2012/04/30::

33

Copy Paste Cash 100% Automated - copy paste cash review, copy paste cash uk

::2012/11/29::

34

Exchange Autotrading

::2012/11/07::

35

Thanks For Checking Out My Postcard Marketing Course

::2014/06/29::

36

$150-350 Per Day Automated System

::2012/07/26::

37

Proof that the TF2 Outpost Trading Bot Works.

::2012/07/20::

38

Consumer Alert Automatic Electronic Debits Internet Crime

::2013/08/31::

39

1 Click Instant Directory Submitter Review & Free $5989 Bonus - Watch Directory Submitter in Action

::2014/08/04::

40

Continuous automatic vacuum sealing machine

::2014/05/20::

41

all in one automatic chicken farm v2.0!

::2013/01/22::

42

Real Radio Investigation into child-proof bottle tops

::2011/05/30::

43

Safe Pen Designs, Chicken Coop Pen Designs, Automatic Chicken Doors

::2014/08/04::

44

SEO Expert Traffic Generation Page #1 RankingVideo Proof

::2011/01/28::

45

ATMSKIMM.COM RIPPER ATM SKIMMER SALE SCAM

::2014/03/06::

46

EZI Check Auto Carton Checking System

::2013/10/22::

47

$50,000+ "Income Proof" - Jeff Learner - Carbon Copy Pro

::2009/04/06::

48

Best Twitter Software (Easy)

::2014/06/16::

49

Lets Check Out Lighting in the Indoor Garden Bloom Room

::2013/10/28::

50

Technical Competency of the Automation Group's Tech Team at Cross Company

::2012/06/20::

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