The functional programming language known as Haskell features a program for symbolic mathematics known as DoCon.
称作Haskell的函数式编程语言展示了一个用于符号数学的程序，名为DoCon。
By using the symbolic mathematics tools, control system tools and optimisation design tools in MATLAB software, it make the design ease and last. The efficiency of programming is enhanced.
该方法利用了MAT - LAB软件中的符号数学工具箱、控制系统工具箱和优化设计工具箱，使设计简单、快捷，提高了编程效率。
Many computer programs are available to assist you in solving numerical and symbolic mathematical problems, but there are also programs to help you learn about mathematics.
可以使用许多计算机程序来帮助您解决数字和符号数学问题，但是还有些程序可以帮助您学习数学。
Other areas of computational mathematics include computer algebra and symbolic computation.
计算数学的其他领域包括计算机代数和符号计算。
George Boole was an English mathematician who helped establish the field of mathematics called symbolic logic.
乔治·布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家。
Mathematical logic, also known as symbolic logic, was developed when people finally realized that the tools of mathematics can be used to study the structure of logic itself.
数理逻辑，也称为符号逻辑，是当人们终于认识到，数学的工具可以用来研究的结构，逻辑本身。
Mathematical logic, also known as symbolic logic, was developed when people finally realized that the tools of mathematics can be used to study the structure of logic itself.
数理逻辑，也称为符号逻辑，是当人们终于认识到，数学的工具可以用来研究的结构，逻辑本身。
应用推荐