Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
Automated Mathematics India
Conversations
Labels
About
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.
Mark all as read
Report abusive group
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