論文

査読有り
2013年5月

FORM version 4.0

COMPUTER PHYSICS COMMUNICATIONS
  • J. Kuipers
  • ,
  • T. Ueda
  • ,
  • J. A. M. Vermaseren
  • ,
  • J. Vollinga

184
5
開始ページ
1453
終了ページ
1467
記述言語
英語
掲載種別
研究論文(学術雑誌)
DOI
10.1016/j.cpc.2012.12.028
出版者・発行元
ELSEVIER SCIENCE BV

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 Grobner bases. New is also the checkpoint facility, that allows for periodic backups during long calculations. Finally, FORM 4.0 has become available as open source under the GNU General Public License version 3.
Program summary
Program title: FORM.
Catalogue identifier: AEOT_v1_0
Program summary URL: http://cpc.cs.qub.ac.uk/summaries/AEOT_v1_0.html
Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland
Licensing provisions: GNU General Public License, version 3
No. of lines in distributed program, including test data, etc.: 151599
No. of bytes in distributed program, including test data, etc.: 1 078 748
Distribution format: tar.gz
Programming language: The FORM language. FORM itself is programmed in a mixture of C and C++.
Computer: All.
Operating system: UNIX, LINUX, Mac OS, Windows.
Classification: 5.
Nature of problem:
FORM defines a symbolic manipulation language in which the emphasis lies on fast processing of very large formulas. It has been used successfully for many calculations in Quantum Field Theory and mathematics. In speed and size of formulas that can be handled it outperforms other systems typically by an order of magnitude.
Special in this version:
The version 4.0 contains many new features. Most important are factorization and rational arithmetic. The program has also become open source under the GPL. The code in CPC is for reference. You are encouraged to upload the most recent sources from www.nikhef.nl/form/formcvs.php because of frequent bug fixes.
Solution method:
See "Nature of Problem", above.
Additional comments:
NOTE: The code in CPC is for reference. You are encouraged to upload the most recent sources from www.nikhef.nl/form/formcvs.php because of frequent bug fixes. (C) 2013 Elsevier B.V. All rights reserved.

Web of Science ® 被引用回数 : 255

リンク情報
DOI
https://doi.org/10.1016/j.cpc.2012.12.028
arXiv
http://arxiv.org/abs/arXiv:1203.6543
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000317455500013&DestApp=WOS_CPL
URL
http://orcid.org/0000-0001-9805-5832
ID情報
  • DOI : 10.1016/j.cpc.2012.12.028
  • ISSN : 0010-4655
  • ORCIDのPut Code : 43471463
  • arXiv ID : arXiv:1203.6543
  • Web of Science ID : WOS:000317455500013

エクスポート
BibTeX RIS