即使在初等函数等领域，Mathematica的对数学性质的一致处理使其成为可能寻找新的有意义的结果这是第一次，或者是为了提出新的概括已经众所周知的结果。

大多数这些功能都已使用命令进行了验证对测试方程进行完全简化。例如，评估Mathematica中的公式Sin[2x]==2Cos[x]Sin[x]返回值True。当不可能从代数上验证这些公式，它们已经被验证了使用精心构建的方法。这些方法具有优势Mathematica对涉及的函数（例如分支切割和奇点）要选择测试点，请使用Mathematica的任意精度数值能力，然后验证在数字上达成一致。

使用了多种方法进行推导和验证此网站上列出的身份。许多标准技术用于计算不定积分和定积分。其他常用方法的示例包括符号高阶级数展开和匹配系数（实例，用于导出广义的连续关系超几何函数与模的模方程函数）、多项式化和消元的应用技术（例如，导出微分方程对于椭圆积分和函数）。

除了代数和数字功能，Mathematica还包括一套全面的技术出版物以及数学排版功能。上的每个公式这个网站是用Mathematica排版的。

网站的HTML版本包含身份信息从Mathematica导出为GIF，以及XML的版本该网站包含从导出的身份Mathematica公司作为MathML。

因为Mathematica笔记本本身就是Mathematia表达式，该网站上的所有内容网页都是使用自定义Mathematica程序创建。这个每个函数的PDF文件也会自动生成使用Mathematica。

中显示的所有图形可视化部分这个的网站是用Mathematica计算和渲染的。生成每个图形的完整源代码可以是从相应的功能页面下载。

最后，由于Mathematica系统是开放式的，它有可能治疗比这些都列在这里，因此它形成了一个良好的技术现在不仅是编译函数知识的基础在这个网站上，还介绍了所有的数学函数。