Automated theorem proving

Computing portal

Here is a list of articles in the Automated theorem proving category of the Computing portal that unifies foundations of mathematics and computations using computers.

Subcategories

This category has the following 2 subcategories, out of 2 total.

T

Theorem proving software systems‎ (1 C, 18 P)

U

Unification (computer science)‎ (9 P)

Pages in category "Automated theorem proving"

The following 40 pages are in this category, out of 40 total.

Automated theorem proving

A

B

Burrows–Abadi–Needham logic

C

D

F

G

M

N

O

Occurs check

P

R

S

T

U

W

WalkSAT

Automated theorem proving

Topic: Category

Subcategories

T

U

Pages in category "Automated theorem proving"

A

B

C

D

F

G

H

I

L

M

N

O

P

R

S

T

U

W