Comment on Towards a new SymPyparentComments−bmitc3yMathlib is not nearly as complete as advertised. It is very much a collection of research projects with little cohesion.−staunton3yA CAS also covers only a tiny part of "an undergrad math degree" so that's beside the point here. Assuming it had appropriate tactics doing the job of a CAS using all theorems (which isn't happening any time soon), what math would be missing?
Comments
Mathlib is not nearly as complete as advertised. It is very much a collection of research projects with little cohesion.
A CAS also covers only a tiny part of "an undergrad math degree" so that's beside the point here. Assuming it had appropriate tactics doing the job of a CAS using all theorems (which isn't happening any time soon), what math would be missing?