Over time, we will provide additional computational resources, datasets, evaluations, and training and technical support.
Resources
While numeric and symbolic computation have long been mechanized, ICARM focuses on computational technologies that can assist mathematical reasoning and discovery more broadly — formalization and interactive theorem proving, automated reasoning and symbolic AI, and machine learning and neural AI.
New technologies for mathematics
ICARM aims to help mathematical researchers leverage new computational technologies for reasoning and discovery. Our resource pages provide survey overviews, notable examples, and links to online resources, tutorials, and communities.
Problem-focused collaborative websites and math databases
Websites created by ICARM researchers and their collaborators: collaborative sites organized around specific open problems, and databases of mathematical objects.
Problem-focused collaborative websites
- Elliptic Curve Rank Leaderboard
- Ruzsa’s genus-one problem
- Equation 677 Database
- Matroid Correlation Constants