3 ms·

I wonder if it is possible to get a full dump of that db

• mixedmath 10y ago
  It is. It's open source, and the backend is closely tied to the free math software sagemath (sometimes called sage). In fact, the site sometimes generates the data on request through sage instead of filling in large databases of static objects.