Computer theorem proving in math

Details Computer theorem proving in math Computer theorem proving in math

2003-11-16

arxiv.org/abs/math/0311260v2

Mathematics

History and Overview

Scientific paper

10.1007/s11005-004-0607-9

We give an overview of issues surrounding computer-verified theorem proving
in the standard pure-mathematical context. This is based on my talk at the PQR
conference (Brussels, June 2003).

Affiliated with

Also associated with

No associations

Rating

Computer theorem proving in math does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Computer theorem proving in math, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computer theorem proving in math will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-635326