是否有任何图书馆可用于解决大学物理水平的问题？

特别是，我对能够以数字和符号方式计算结果的通用编程语言库感兴趣。

可用于实现此类功能的库有 SymPy (Python)、GiNaC (C++) 或 SymbolicC++ (C++)。

我问这个问题是因为我已经开始编写一个用于符号计算的 C# 库并用它来解决一些弹丸运动问题，但想回顾一下那里的其他工作。

这是解决此类问题的程序示例。

以下是程序运行时输出的内容：

欢迎任何指针或建议。谢谢！