Acknowledgement
The Institute for Computer-Aided Reasoning in Mathematics (ICARM) is supported by U.S. National Science Foundation Grant DMS 2425401. The views expressed on these pages do not necessarily reflect those of the NSF.
If any ICARM meetings, resources, or innovation engineers are helpful to you, you can indicate that in associated publications with a brief acknowledgment, such as the following:
- “Part of this research has been carried out at the Institute for Computer-Aided Reasoning (ICARM), which is supported by NSF Grant DMS 2425401.”
- “This research made use of the Elliptic Curve Rank Leaderboard, maintained by the Institute for Computer-Aided Reasoning (ICARM) under NSF Grant DMS 2425401.”
- “We are grateful to the Institute for Computer-Aided Reasoning (ICARM) for technical support provided under NSF Grant DMS 2425401.”