Extension of the functionality of the symbolic program FORM by external software
M. Tentyukov, J. A. M. Vermaseren
Abstract
We describe the implementation of facilities for the communication with external resources in the Symbolic Manipulation System FORM. This is done according to the POSIX standards defined for the UNIX operating system. We present a number of examples that illustrate the increased power due to these new capabilities.
Create a lesson
Related papers
Construction and formal verification of a special topology on Zn: characterization of connected subsets
Ignacio Vega-Páez
On the Complexity of Computing with p-adic Lattices
Pierre Fromonot, Mercedes Haiech, Tristan Vaccon
Barik transform and Barik eliminant: a novel algebraic method to solve polynomial equations in the sine and cosine of one variable
Sandipan Bandyopadhyay
Automatic Certified Differentiation in Lean
Ramy Shahin
One Loss Resolves Signed Rank-One Gradient Fibers: Exact Decoding on Cycle and Theta Blocks
Junwen Lou, Shuo Tian, Penghui Liu
Deterministic Root-Finding over Finite Fields with Elliptic Curves
Pierre-Jean Spaenlehauer