从张量方程到数值编码--数值相对论的计算机代数工具
From Tensor Equations to Numerical Code -- Computer Algebra Tools for Numerical Relativity
摘要：
在本文中，我们提出了我们最近的工作，在开发一个计算机代数工具系统的偏微分方程（PDE），被称为“Kranc”。我们的工作的动机是通过数值模拟找到爱因斯坦方程的解决方案的问题。Kranc由基于Mathematica的计算机代数软件包组成，它便于处理符号张量计算的任务，并实现偏微分演化方程系统到并行C或Fortran代码的转换。
英文摘要：
In this paper we present our recent work in developing a computer-algebra tool for systems of partial differential equations (PDEs), termed "Kranc". Our work is motivated by the problem of finding solutions of the Einstein equations through numerical simulations. Kranc consists of Mathematica based computer-algebra packages, that facilitate the task of dealing with symbolic tensorial calculations and realize the conversion of systems of partial differential evolution equations into parallelized C or Fortran code.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
