称作Haskell的函数式编程语言展示了一个用于符号数学的程序，名为DoCon。

The functional programming language known as Haskell features a program for symbolic mathematics known as DoCon.

youdao

在大部分的编程语言中，包含了小数点的数字称之为浮点数，可以用它来表示数学中的实数。

In most programming languages, Numbers that include a decimal fraction are called floating-point Numbers, which are used to approximate real Numbers in mathematics.

youdao

Derive是使用Lisp语言编写的，Lisp是一种公共编程语言，尤其适合基于规则的处理，该处理是将一个抽象数学表达式变换为另一个表达式所必需的。

Derive is written in Lisp, a common programming language that is especially suited for the kind of rule-based processing necessary for transforming one abstract mathematical expression into another.

youdao

You do have mathematical operators in C and most every language.

在C语言还有一些其他,编程语言里有很多数学符号。

哈佛公开课 - 计算机科学课程节选