Results 221 to 226 of about 2,804 (226)
Some of the next articles are maybe not open access.
Algorithms for the symbolic integration of hyperlogarithms with applications to Feynman integrals
Computer Physics Communications, 2015Erik Panzer
exaly
Formal hardware verification by symbolic trajectory evaluation
Randal E. Bryant, Alok Jain
openalex

