ParFORM: Parallel Version of the Symbolic Manipulation Program FORM
M. Tentyukov, D. Fliegner, M. Frank, A. Onischenko, A. Retey, H. M. Staudenmaier, J. A. M. Vermaseren
Abstract
After an introduction to the sequential version of FORM and the mechanisms behind, we report on the status of our project of parallelization. We have now a parallel version of FORM running on Cluster- and SMP-architectures. This version can be used to run arbitrary FORM programs in parallel.
Create a lesson
Related papers
Exact rational certificates and a Lean formalization of the eleven-variable Vasc inequality
Dakai Guo, Ruichen Qiu, Yichuan Cao et al.
RISR: Residual-Informed Scientific Equation Discovery with Large Language Models
Haobo Li, Wenshuo Zhang, Wenxiao Zhao et al.
A Finite Certificate for the Positive n=11 Vasc Inequality
Tiancheng Xu, Wensheng Yu
Parallel Integration over Simple Radical Extensions III: Antiderivatives in Terms of Special Functions
Sam Blake
Root isolation for analytic functions using cubic hermite interpolation
Christophe Raffalli
CPUNeSy: Controlling Model Writes for Reliable Neuro-Symbolic Reasoning
Zeyan Li, Siyuan Qiu, Shuai Zhao et al.