University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > The Big Proof Agenda for Mechanizing Mathematical Discourse

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

The Big Proof Agenda for Mechanizing Mathematical Discourse

Download to your calendar using vCal

If you have a question about this talk, please contact INI IT .

BPR - Big proof

We are creating and using mathematical knowledge at a rapidly
increasing rate.  This growth creates the
need for automation in
building and indexing formal mathematical 

knowledge
bases.  Automated proof technologies such
as theorem proving,
satisfiability solving, and model checking are increasingly
being used for formalizing the behavior of computer 

hardware and
software systems, constructing large libraries  of formalized
mathematics, and solving open problems. 
We outline  an agenda for
the Big Proof programme toward pragmatic foundations
and practical technologies that can assist pure and applied
mathematicians solve large problems individually and collaboratively.

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Seminar Room, MRC Human Nutrition Research, Elsie Widdowson Laboratory, 120 Fulbourn Road, Cambridge CB1 9NL Senior Parlour, Gonville & Caius College Cormack Room, The University Centre, Granta Place, Cambridge CB2 1RU

Other talks

Title TBC Title to be confirmed Strange New Worlds Tea and Coffee Break New insights on the turbulent energy cascade from non-equilibrium statistical mechanics Title to be confirmed
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity