Forcer swMATH ID: 28330 Software Authors: T. Ueda, B. Ruijl, J.A.M. Vermaseren Description: Forcer: a FORM program for 4-loop massless propagators. We present a new FORM program for analytically evaluating four-loop massless propagator-type Feynman integrals in an efficient way. Our program Forcer implements parametric reductions of the aforementioned class of Feynman integrals into a set of master integrals and can be considered as a four-loop extension of the three-loop Mincer program. Since the program structure at the four-loop level is highly complicated and the equations easily become lengthy, most of the code was generated in an automatic way or with computer-assisted derivations. We have checked correctness of the program by recomputing already-known quantities in the literature. Homepage: https://arxiv.org/abs/1607.07318 Source Code: https://github.com/benruijl/forcer Dependencies: FORM Related Software: FORM; Mincer; Axodraw; LiteRed; HyperInt; JaxoDraw; Reduze; RStar; AIR; MATAD; Kira; pySecDec; FIRE5; FIESTA; GiNaC; DIANA; GitHub; MPL; feyncop; feyngen Cited in: 26 Publications all top 5 Cited by 44 Authors 6 Herzog, Franz 6 Ruijl, Ben 5 Vermaseren, Jos A. M. 3 Schabinger, Robert M. 2 Chetyrkin, K. G. 2 Luthe, Thomas 2 Maier, Andreas 2 Marquard, Peter 2 Moch, Sven-Olaf 2 Panzer, Erik 2 Schröder, York 2 Von Manteuffel, Andreas 1 Agarwal, Bakul 1 Baikov, P. A. 1 Beekveldt, Robert 1 Borinsky, Michael 1 Cao, Weiguang 1 Capatti, Zeno 1 Cyrol, Anton K. 1 Falcioni, Giulio 1 Harley, Mark 1 Heinrich, Gudrun 1 Herren, Florian 1 Hirschi, Valentin 1 Kermanschah, Dario 1 Kißler, Henry 1 Kniehl, Bernd A. 1 Kompaniets, Mikhail V. 1 Kotikov, Anatoly V. 1 Kreimer, Dirk 1 Kühn, Johann H. 1 Melia, Tom 1 Mitter, Mario 1 Moriello, Francesco 1 Nepveu, Jasper Roosmale 1 Pelloni, Andrea 1 Pikelner, Andrey F. 1 Smirnov, Aleksandr Vladimirovich 1 Smirnov, Vladimir A. 1 Strodthoff, Nils 1 Teber, S. 1 Thomsen, Anders Eller 1 Van Thurenhout, S. 1 Velizhanin, V. N. all top 5 Cited in 6 Serials 14 Journal of High Energy Physics 5 Nuclear Physics. B 3 Physics Letters. B 1 Computer Physics Communications 1 Physics Reports 1 Theoretical and Mathematical Physics all top 5 Cited in 6 Fields 26 Quantum theory (81-XX) 4 Relativity and gravitational theory (83-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 Associative rings and algebras (16-XX) 1 Topological groups, Lie groups (22-XX) 1 Numerical analysis (65-XX) Citations by Year