Profile
Institute for Computer-Aided Reasoning in Mathematics
icarmath.bsky.social
did:plc:i4e4tjq7q5p632djo7xdnzve
The Institute for Computer-Aided Reasoning in Mathematics (ICARM) is a new NSF Mathematical Sciences Research Institute located at Carnegie Mellon University.