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.