Add to Outlook calendar Add to Google calendar
Title: Automated theorem proving using Learning : concepts and code
Speaker: Siddhartha Gadgil
Date: 15 May 2015
Time: 11:00 a.m.
Venue: LH-III, Department of Mathematics, IISc

In this very informal seminar, I will discuss various aspects of ongoing work to build an automated theorem proving system using, among other things, machine learning.

Contact: +91 (80) 2293 2711, +91 (80) 2293 2265 ;     E-mail: chair.math[at]iisc[dot]ac[dot]in
Last updated: 08 Dec 2023