Automated Mathematics India

1–11 of 11

This is an informal forum for discussing automated mathematics in a broad sense. This is mainly aimed at those from India, but all interested in the theme are of course welcome.

0 selected

Siddhartha Gadgil

May 2

Fwd: Lean Job in Orsay

---------- Forwarded message --------- From: Siddhartha Gadgil <gadgil@iisc.ac.in> Date: Mon, 2

unread,

Fwd: Lean Job in Orsay

---------- Forwarded message --------- From: Siddhartha Gadgil <gadgil@iisc.ac.in> Date: Mon, 2

May 2

Siddhartha Gadgil

Apr 27

Fwd: Abel Prize Talk 2022

Not much to do with automating mathematics, but as I shared the corresponding blog I am sharing the

unread,

Fwd: Abel Prize Talk 2022

Not much to do with automating mathematics, but as I shared the corresponding blog I am sharing the

Apr 27

Siddhartha Gadgil

Apr 21

Fwd: Colloquium at TIFR-CAM : Kevin M Buzzard, Teaching proofs to a computer

---------- Forwarded message --------- From: Nishant Chandgotia <nishant@tifrbng.res.in> Date:

unread,

Fwd: Colloquium at TIFR-CAM : Kevin M Buzzard, Teaching proofs to a computer

---------- Forwarded message --------- From: Nishant Chandgotia <nishant@tifrbng.res.in> Date:

Apr 21

Siddhartha Gadgil

Mar 14

Another blog post: Forward reasoning in Lean 4

Dear All, I have posted another blog post at https://siddhartha-gadgil.github.io/automating-

unread,

Another blog post: Forward reasoning in Lean 4

Dear All, I have posted another blog post at https://siddhartha-gadgil.github.io/automating-

Mar 14

Siddhartha Gadgil

Jan 18

My lecture on Jan 19, 2022 (tomorrow

I am giving the following lecture online at KREA, which may be of some interest. I have given

unread,

My lecture on Jan 19, 2022 (tomorrow

I am giving the following lecture online at KREA, which may be of some interest. I have given

Jan 18

Anand Rao Tadipatri

12/18/21

Upcoming conferences on interactive and automated theorem proving

Dear all, There have been some recent announcements on the LEAN Users Google Group regarding upcoming

unread,

Upcoming conferences on interactive and automated theorem proving

Dear all, There have been some recent announcements on the LEAN Users Google Group regarding upcoming

12/18/21

Siddhartha Gadgil

12/1/21

Deepmind helping discovery

https://www.nature.com/articles/s41586-021-04086-x

unread,

Deepmind helping discovery

https://www.nature.com/articles/s41586-021-04086-x

12/1/21

Siddhartha Gadgil

10/27/21

Johann Commelin's recent talk

Dear All, Unfortunately I did not post in advance here, but many of you may like to listen to the

unread,

Johann Commelin's recent talk

Dear All, Unfortunately I did not post in advance here, but many of you may like to listen to the

10/27/21

Siddhartha Gadgil

6/28/21

SATurn: a lean 4 SAT solver-prover

Dear all, Here is a blog post about SATurn: https://siddhartha-gadgil.github.io/automating-

unread,

SATurn: a lean 4 SAT solver-prover

Dear all, Here is a blog post about SATurn: https://siddhartha-gadgil.github.io/automating-

6/28/21

Siddhartha Gadgil

6/6/21

Of possible interest: Peter Scholze and Fomalization of mathematics

Dear All, Peter Scholze reports as a guest post on the blog of Kevin Buzzard what may be considered a

unread,

Of possible interest: Peter Scholze and Fomalization of mathematics

Dear All, Peter Scholze reports as a guest post on the blog of Kevin Buzzard what may be considered a

6/6/21

Siddhartha Gadgil

5/28/21

New blog post on SAT solvers

Dear friends, I have blogged about my experiments with implementing SAT solvers at https://siddhartha

unread,

New blog post on SAT solvers

Dear friends, I have blogged about my experiments with implementing SAT solvers at https://siddhartha

5/28/21

Search

Clear search

Close search

Google apps

Main menu