I saw this project before, nice work! What is your plan when it comes to the hard core algebra parts like multivariate polynomial factorization and cylindrical algebraic decomposition? These features require quite some complex mathematical code and it is tricky to get it correct, and to get it working fast. Do you want to use other libraries for this or do you want to implement this all yourself?
If you want to use Symbolica for some of these features, feel free to reach out!
If you want to use Symbolica for some of these features, feel free to reach out!