FORM Resources

This page curates online resources for FORM. If you have suggestions for additions or changes, please comment in Discussion #802.

• Website: https://www.nikhef.nl/~form/
• Source code: https://github.com/form-dev/form
  • Issue Tracker: https://github.com/form-dev/form/issues
  • Discussion Forum: https://github.com/form-dev/form/discussions
• Reference manual: https://form-dev.github.io/form-docs/stable/manual/
• Man page: https://form-dev.github.io/form-docs/stable/man1/
• Wiki: https://github.com/form-dev/form/wiki
  • Installation: https://github.com/form-dev/form/wiki/Installation
  • Editor Support: https://github.com/form-dev/form/wiki/Editor-Support
  • FORM Cookbook: https://github.com/form-dev/form/wiki/FORM-Cookbook

Courses and Tutorials

• Using FORM (Jos Vermaseren, IFT/UAM, February 2020): 6 sessions (3 introductory, 3 advanced); 2 hours each

• Calculating Particle Interactions (Jos Vermaseren, UAM, February 2019): 10–12 hours; MSc/PhD level

• FORM for Pedestrians (André Heck, 2000): Old (for version 2), but still an excellent tutorial (152 pages)

You can also find FORM introduction lecture materials on the websites of past CAPP events. See CAPP 2025 and the links on the "Former Schools" page.

Publications

If you use FORM in your research, please consider citing at least one of the publications listed below.

• (FORM 5.0) J. Davies, T. Kaneko, C. Marinissen, T. Ueda, J.A.M. Vermaseren, FORM Version 5.0, arXiv:2601.19982 [hep-ph].

• (FORM 4.2) B. Ruijl, T. Ueda, J.A.M. Vermaseren, FORM version 4.2, arXiv:1707.06453 [hep-ph].

• (FORM 4.1) J. Kuipers, T. Ueda, J.A.M. Vermaseren, Code optimization in FORM, Comput. Phys. Commun. 189 (2015) 1–19, arXiv:1310.7007 [cs.SC].

• (FORM 4.0) J. Kuipers, T. Ueda, J.A.M. Vermaseren, J. Vollinga, FORM version 4.0, Comput. Phys. Commun. 184 (2013) 1453–1467, arXiv:1203.6543 [cs.SC].

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

• (FORM 3.2) M. Tentyukov, J.A.M. Vermaseren, Extension of the functionality of the symbolic program FORM by external software, Comput. Phys. Commun. 176 (2007) 385–405, arXiv:cs/0604052.

• (ParFORM) M. Tentyukov, D. Fliegner, M. Frank, A. Onischenko, A. Rétey, H.M. Staudenmaier, J.A.M. Vermaseren, ParFORM: Parallel version of the symbolic manipulation program FORM, in Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing (CASC 2004), arXiv:cs/0407066.

• (FORM 3.1) J.A.M. Vermaseren, Tuning FORM with large calculations, in Proceedings of the 6th International Symposium on Radiative Corrections and the 6th Zeuthen Workshop on Elementary Particle Theory (RADCOR 2002 / LL2022), Nucl. Phys. B Proc. Suppl. 116 (2003) 343–347, arXiv:hep-ph/0211297.

• (FORM 3.0) J.A.M. Vermaseren, New features of FORM, arXiv:math-ph/0010025.

[These publications in INSPIRE] | [Papers citing these publications in INSPIRE]

Selected Talks

• FORM for Computer Algebra in Particle Physics (Joshua Davies, 45 min), 2025 FLINT development workshop, Palaiseau, October 2025. [Slides]

• Version 5 of the FORM computer algebra system (Joshua Davies, 20 min), 23rd International Workshop on Advanced Computing and Analysis Techniques in Physics Research (ACAT 2025), Hamburg, September 2025. [Slides]

• Further developments of FORM (Takahiro Ueda, 20 min), 19th International Workshop on Advanced Computing and Analysis Techniques in Physics Research (ACAT 2019), Saas-Fee, March 2019. [Slides] [Paper]

• New developments in FORM (Takahiro Ueda, 30 min), 18th International Workshop on Advanced Computing and Analysis Techniques in Physics Research (ACAT 2017), Seattle, August 2017. [Slides] [Paper]

• FORM, Diagrams and Topologies (Jos Vermaseren, 25 min), 13th Workshop organized by Theory Group, DESY, Zeuthen, Loops and Legs in Quantum Field Theory 2016 (LL2016), Leipzig, April 2016. [Slides] [Paper]

• Xtreme manipulations (Jos Vermaseren, 20 min), 12th Workshop organized by Theory Group, DESY, Zeuthen, Loops and Legs in Quantum Field Theory 2014 (LL2014), Weimar, April 2014. [Slides] [Paper]

• Compactifying formulas with FORM (Jos Vermaseren, 30 min), 11th International Symposium on Radiative Corrections (RADCOR 2013), Lumley Castle, September 2013. [Slides] [Paper]

• Recent developments on FORM (Takahiro Ueda, 25 min), 15th International Workshop on Advanced Computing and Analysis Techniques in Physics Research (ACAT 2013), Beijing, May 2013. [Slides] [Paper]

• Potential of FORM 4.0 (Jos Vermaseren, 45 min), LHCPhenoNet School: Integration, Summation and Special Functions in Quantum Field Theory, RISC Linz, July 2012. [Slides] [Paper]

• Polynomial Algebra in Form 4 (Jan Kuipers, 25 min), 14th International Workshop on Advanced Computing and Analysis Techniques in Physics Research (ACAT 2011), London, September 2011. [Slides] [Paper]

• FORM facts (Jos Vermaseren, 30 min), 10th Workshop organized by Theory Group, DESY, Zeuthen, Loops and Legs in Quantum Field Theory (LL2010), Wörlitz, April 2010. [Slides] [Paper]

• Current status of FORM parallelization (Misha Tentyukov, 25 min), 12th International Workshop on Advanced Computing and Analysis Techniques in Physics Research (ACAT 2008), Erice, November 2008. [Slides] [Paper]

• The FORM project (Jos Vermaseren, 30 min), 9th Workshop organized by Theory Group, DESY, Zeuthen, Loops and Legs in Quantum Field Theory (LL2008), Sondershausen, April 2008. [Slides] [Paper]

• What is new in FORM (Jos Vermaseren, 30 min), 8th Workshop organized by Theory Group, DESY, Zeuthen, Loops and Legs in Quantum Field Theory (LL2006), Eisenach, April 2006. [Slides] [Paper]

• Prospects of FORM (Jos Vermaseren, 60 min) 10th International Workshop on Advanced Computing and Analysis Techniques in Physics Research (ACAT 2005), Zeuthen, May 2005. [Slides] [Paper]

Workshops

• FORM Developer's Workshop 2026 (Amsterdam, June 2026)
• FORM Developer's Workshop 2025 (Liverpool, June 2025)
• FORM and Symbolica developers meeting (Zurich, May 2024)
• Computer Algebra with FORM for Developers (Madrid, April 2023)

FORM Programs and Libraries

• color: reduces fully-contracted combinations of structure constants and generators to group invariants, for arbitrary groups and representations. [Paper]
• DECO: A FORM program to enumerate subleading operator bases for effective theories. [Paper]
• FMFT: evaluates four-loop fully massive tadpole Feynman diagrams. [Paper]
• Forcer: A FORM program for the integration of four-loop massless propagator diagrams. [Paper]
• harmpol: performs manipulations involving harmonic polylogarithms, including Mellin transforms and inverse Mellin transforms. [Paper]
• IBIS: solves inverse binomial sums in terms of S-sums. [Paper]
• HyperFORM: Analytic integration package for FORM using hyperlogarithms. [Paper]
• mincer: evaluates massless three-loop propagator-like integrals. [Paper] [Paper]
• OPITeR: A program for tensor reduction of multi-loop Feynman Integrals. [Paper]
• summer: manipulates harmonic sums and many classes of related sums, including multiple zeta values. [Paper]
• XSummer: provides expansions of transcendental functions and performs symbolic summation. [Paper]

For Developers

• Lecture materials from the Madrid workshop: https://www.nikhef.nl/~form/maindir/documentation/workshop/workshop.html
• Nightly-generated documentation: https://form-dev.github.io/form-docs/#nightly-build-master-branch
  • Reference manual: https://form-dev.github.io/form-docs/master/manual
  • Man page: https://form-dev.github.io/form-docs/master/man1
  • Developer's reference manual (outdated): https://form-dev.github.io/form-docs/master/devref
  • Doxygen: https://form-dev.github.io/form-docs/master/doxygen
• GitHub Pages (outdated): https://form-dev.github.io/form/
• Wiki: https://github.com/form-dev/form/wiki
  • Release Procedures: https://github.com/form-dev/form/wiki/Release-Procedure
  • VS Code Tips for FORM Developers: https://github.com/form-dev/form/wiki/VS-Code-Tips-for-FORM-Developers