关于数学概念的计算机表达？

logxing

数学概念非常之多，像实数，复数，矩阵，向量都可以有数据结构来表达。
函数也可以表达。

泛函可以通过函数指针来一定程度的表达（自变量函数需要指定，而不能自由变化）。

但是像纤维丛，流形，群，环还有很多高级深入的数学概念该如何用计算机表达呢？我在想能不能用程序建立一个数学类，把所有数学概念，层次，关系都表达出来？