The functional programming language known as Haskell features a program for symbolic mathematics known as DoCon.
称作Haskell的函数式编程语言展示了一个用于符号数学的程序，名为DoCon。
2
A new method for node dividing of ellipse was presented, it can be used formathematics preparing process of this kind of curves before programming.
提出了一个椭圆曲线节点划分的新方法，用于数控车削此类零件编程的数学预处理。
3
Waterloo university in mathematics, computer science, engineering, the school is famous for its team has repeatedly received ACM international collegiate programming contest champions.