https://www.techbang.com/posts/106113-only-one-73-year-old-developer-is-left-struggling-to-solve-a
https://en.wikipedia.org/wiki/FORM_(symbolic_manipulation_system)
https://www.nikhef.nl/~form/
https://github.com/vermaseren/form
https://www.quantamagazine.org/crucial-computer-program-for-particle-physics-at-risk-of-obsolescence-20221201/
https://www.nikhef.nl/www/news/nikhef-researcher-jos-vermaseren-receives-prestigious-erc-advanced-grant/
https://news.ycombinator.com/item?id=33818082
https://arxiv.org/abs/math-ph/0010025
https://www.nikhef.nl/~form/maindir/documentation/tutorial/online/online.html
http://vermaseren.github.io/form/doc.html
https://www.chessprogramming.org/Jos_Vermaseren
FORM is a symbolic manipulation system. It reads text files containing definitions of mathematical expressions as well as statements that tell it how to manipulate these expressions. Its original author is Jos Vermaseren of Nikhef, the Dutch institute for subatomic physics.
https://en.wikipedia.org/wiki/List_of_computer_algebra_systems
https://www.mathworks.com/discovery/computer-algebra-system.html
http://www.sai.msu.su/sal/A/1/
