529 citations · 558 across the 3 of their papers we have counts for
4 papers
Code Optimization in FORM
J. Kuipers, T. Ueda, J. A. M. Vermaseren
We describe the implementation of output code optimization in the open source computer algebra system FORM. This implementation is based on recently discovered techniques of Monte…
Improving multivariate Horner schemes with Monte Carlo tree search
J. Kuipers, J. A. M. Vermaseren, A. Plaat +1
Optimizing the cost of evaluating a polynomial is a classic problem in computer science. For polynomials in one variable, Horner's method provides a scheme for producing a computat…
FORM version 4.0
J. Kuipers, T. Ueda, J. A. M. Vermaseren +1
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…
About a conjectured basis for Multiple Zeta Values
J. Kuipers, J. A. M. Vermaseren
We confirm a conjecture about the construction of basis elements for the multiple zeta values (MZVs) at weight 27 and weight 28. Both show as expected one element that is twofold e…