Over time, we will provide additional computational resources, datasets, evaluations, and training and technical support.
Resources
Descriptions of new technologies for mathematical research, tutorials on how to get started with them, and websites and databases for collaboration and shared research.
New technologies for mathematics
Survey overviews and notable examples of the new tools available to mathematicians, along with links to more resources, tutorials, and communities.
Tutorials
Written guides and videos on the tools and techniques of computer-aided reasoning.
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
- Littlewood ultraflat conjecture
- Additive squares conjecture
- Ruzsa’s genus-one problem
- Equation 677 Database
- Matroid Correlation Constants