University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Proof Automation - Automation in Isabelle's Analysis

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

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

Proof Automation - Automation in Isabelle's Analysis

Add to your list(s) Download to your calendar using vCal

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

This talk has been canceled/deleted

It is essential in Isabelle's analysis library has
special support to handle
continuity, measurability, and differentiability, etc. This is quite
different to big automation like SMT or what Sledgehammer does.

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

Tell a friend about this talk:

This talk is included in these lists:

This talk is not included in any other list

Note that ex-directory lists are not shown.

Other lists

Institute of Astronomy Seminars CUFAS talks The obesity epidemic: Discussing the global health crisis Museum of Archaeology & Anthropology facisnating Talks Part III Seminar Series Lent 2008

Other talks

The Anne McLaren Lecture: CRISPR-Cas Gene Editing: Biology, Technology and Ethics PROFESSIONAL REGISTRATION WORKSHOP Mechanical properties of cells or cell components on the micro- and nanometer scale Current-Induced Stresses in Ceramic Lithium-Ion Conductors Mechanistic model development to characterise drug effects on platelets over time in pharmaceutical research.
 

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