Skip to main content
SpringerLink
Log in

Potential of FORM 4.0

  • Chapter
  • First Online:
Computer Algebra in Quantum Field Theory

Part of the book series: Texts & Monographs in Symbolic Computation ((TEXTSMONOGR))

Abstract

I describe the main new features of Form version 4.0. They include factorization, polynomial arithmetic, new special functions, systems independent. sav files, a complete ParForm, open source code and a forum for user communication. I also mention a completely new feature for code simplification.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    By now (publication of these proceedings) this request has been approved and the project will start in July 2013.

References

  1. Banerjee, N., Dutta, S., Lodato, I.: The fate of flat directions in higher derivative gravity. 36p (2013). e-Print: arXiv:1301.6773 [hep-th]

    Google Scholar 

  2. Vermaseren, J.A.M.: New features of FORM. arXiv math-ph/0010025

    Google Scholar 

  3. Tentyukov, M., Vermaseren, J.A.M.: The multithreaded version of FORM. Comput. Phys. Commun. 181, 1419 (2010). arXiv hep-ph/0702279

    Google Scholar 

  4. Kuipers, J., Vermaseren, J.A.M., Plaat, A., van den Herik, H.J.: Improving multi-variate Horner schemes with Monte Carlo tree search. arXiv 1207.7079

    Google Scholar 

  5. Kuipers, J., Vermaseren, J.A.M.: Code simplification in FORM (In preparation)

    Google Scholar 

  6. Lewis, R.H.: Fermat. http://www.bway.net/~lewis/

  7. GNU Multiple Precision Arithmetic Library. http://gmplib.org/

  8. Mincer is a program for the evaluation of massless three loop propagator diagrams. The original paper is: Gorishnii, S.G., Larin, S.A., Surguladze, L.R., Tkachev, F.V.: Mincer: program for multiloop calculations in quantum field theory for the schoonschip system. Comput. Phys. Commun. 55, 381–408 (1989). A much improved Form version is included in the Form distribution

    Google Scholar 

  9. Blümlein, J., Broadhurst, D.J., Vermaseren, J.A.M.: The multiple zeta value datamine. Comput. Phys. Commun. 181, 582–625 (2010)

    Article  ADS  MATH  Google Scholar 

  10. Kojima, M.: Efficient evaluation of polynomials and their partial derivatives in homotopy continuation methods. J. Oper. Res. Soc. Jpn. 51, 29–54 (2008)

    MathSciNet  MATH  Google Scholar 

  11. Leiserson, C.E., Li, L., Maza, M.M., Xie, Y.: Efficient evaluation of large polynomials. LNCS 6327, 342–353 (2010)

    Google Scholar 

  12. Reiter, T.: Optimising code generation with haggies. Comput. Phys. Commun. 181, 1301–1331 (2010). arXiv 0907.3714

    Google Scholar 

  13. Yuasa, F., et al.: Automatic computation of cross sections in HEP. Prog. Theor. Phys. Suppl. 138, 18 (2000). arXiv hep-ph/0007053

    Google Scholar 

  14. Fujimoto, J., et al.: GRACE with FORM. Nucl. Phys. Proc. Suppl. 160, 150–154 (2006)

    Article  ADS  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Nikhef, Science Park 105, 1098 XG, Amsterdam, The Netherlands

    Jos A. M. Vermaseren

Authors
  1. Jos A. M. Vermaseren
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jos A. M. Vermaseren .

Editor information

Editors and Affiliations

  1. RISC, Johannes Kepler University, Linz, Austria

    Carsten Schneider

  2. DESY, Zeuthen, Germany

    Johannes Blümlein

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Wien

About this chapter

Cite this chapter

Vermaseren, J.A.M. (2013). Potential of FORM 4.0. In: Schneider, C., Blümlein, J. (eds) Computer Algebra in Quantum Field Theory. Texts & Monographs in Symbolic Computation. Springer, Vienna. https://doi.org/10.1007/978-3-7091-1616-6_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-7091-1616-6_15

  • Published:

  • Publisher Name: Springer, Vienna

  • Print ISBN: 978-3-7091-1615-9

  • Online ISBN: 978-3-7091-1616-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation