Automated Mathematics India

1–12 of 12
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.