使用两种类型的计算机代数系统解决麦克斯韦光学问题
摘要：用张量和向量分析的数学工具来合成 Maxwell 光学系统是很常见的。这一数学工具涉及执行大量简单的模式化操作，这些操作有计算机代数系统来支持。本文区分了数学模型的两个阶段：模型的开发和模型的使用。每个阶段需要用到各自的计算机代数系统。我们以几何化 Maxwell 方程为模型问题。在研究的不同阶段，我们选择了两个计算机代数系统 -- Cadabra 和 FORM 来使用。
作者：D. S. Kulyabov
论文ID：1605.00832
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2016-05-04