Equation 677 Database

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.

Citing this resource

If the Equation 677 Database has been useful in your research, please acknowledge ICARM and NSF Grant DMS 2425401 in related publications, projects, or other scholarly work. Any of the following phrasings is suitable:

  • “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 Equation 677 Database, 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.”

The views expressed on these pages do not necessarily reflect those of the NSF.