2012/03/29 by J. Kuipers, Takahiro Ueda, T. Ueda +2 · 8 citations
Computer Science · Mathematics · Physics and Astronomy · #Algebra over a field #Algorithm #Closure (psychology) #Computation #Computer science #Factorization #Gröbner basis #License #Logic, programming, and type systems #Mathematics #Numerical Methods and Algorithms #Operating system #Polynomial and algebraic computation #Programming language #Pure mathematics #Rational function #Symbolic computation #Theoretical computer science #cs.SC #hep-ph
paper · pdf · doi:10.1016/j.cpc.2012.12.028
26 pages. Uses axodraw
arxiv created 2012/03/29 · openalex publication_date 2013/01/08 · arxiv updated 2015/06/04 · openalex created_date 2016/06/24 · openalex updated_date 2026/08/05
We present version 4.0 of the symbolic manipulation system FORM. The most important new features are manipulation of rational polynomials and the factorization of expressions. Many other new functions and commands are also added; some of them are very general, while others are designed for building specific high level packages, such as one for Groebner bases. New is also the checkpoint facility, that allows for periodic backups during long calculations. Lastly, FORM 4.0 has become available as open source under the GNU General Public License version 3.