| Publication | Date of Publication | Type |
|---|
Universal truth of operator statements via ideal membership
Journal of Pure and Applied Algebra | 2026-04-15 | Paper |
Reduction systems and degree bounds for integration
Journal of Symbolic Computation | 2025-04-01 | Paper |
The fundamental theorem of calculus in differential rings
Advances in Mathematics | 2024-05-15 | Paper |
Certifying operator identities via noncommutative Gröbner bases
ACM Communications in Computer Algebra | 2023-03-03 | Paper |
Computing elements of certain form in ideals to prove properties of operators
Mathematics in Computer Science | 2023-01-27 | Paper |
Comments on Risch's \textit{On the integration of elementary functions which are built up using algebraic operations}
Texts & Monographs in Symbolic Computation | 2022-11-15 | Paper |
Nested Integrals and Rationalizing Transformations
Texts & Monographs in Symbolic Computation | 2022-01-18 | Paper |
Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law
Applied Mathematics and Computation | 2021-11-11 | Paper |
The O(^2) initial state QED corrections to e^+ e^- ^ / Z₀^
Nuclear Physics B | 2021-09-17 | Paper |
Formal proofs of operator identities by a single formal computation
Journal of Pure and Applied Algebra | 2021-01-28 | Paper |
Compatible rewriting of noncommutative polynomials for proving operator identities
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation | 2021-01-22 | Paper |
Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law
(available as arXiv preprint) | 2020-08-11 | Paper |
The polarized two-loop massive pure singlet Wilson coefficient for deep-inelastic scattering
Nuclear Physics B | 2020-06-09 | Paper |
The unpolarized two-loop massive pure singlet Wilson coefficients for deep-inelastic scattering
Nuclear Physics B | 2020-02-13 | Paper |
Iterated elliptic and hypergeometric integrals for Feynman diagrams
Journal of Mathematical Physics | 2018-07-16 | Paper |
Iterated elliptic and hypergeometric integrals for Feynman diagrams
Journal of Mathematical Physics | 2018-07-16 | Paper |
| Iterative and Iterative-Noniterative Integral Solutions in 3-Loop Massive QCD Calculations | 2017-11-27 | Paper |
Algorithmic operator algebras via normal forms in tensor rings
Journal of Symbolic Computation | 2017-10-10 | Paper |
Algorithmic operator algebras via normal forms for tensors
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation | 2017-05-10 | Paper |
Symbolic computation of parameter integrals
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation | 2017-05-10 | Paper |
Integration of unspecified functions and families of iterated integrals
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
Normal forms for operators via Gröbner bases in tensor algebras
Mathematical Software – ICMS 2016 | 2016-09-28 | Paper |
Calculating massive 3-loop graphs for operator matrix elements by the method of hyperlogarithms
Nuclear Physics B | 2015-10-29 | Paper |
Generalization of Risch's algorithm to special functions
Texts & Monographs in Symbolic Computation | 2015-04-01 | Paper |
Solving linear ordinary differential systems in hyperexponential extensions
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation | 2015-03-27 | Paper |
Integration in finite terms of non-Liouvillian functions
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
Iterated binomial sums and their associated iterated integrals
Journal of Mathematical Physics | 2014-12-11 | Paper |
Iterated binomial sums and their associated iterated integrals
Journal of Mathematical Physics | 2014-12-11 | Paper |
| Three-Loop Contributions to the Gluonic Massive Operator Matrix Elements at General Values of N | 2012-12-31 | Paper |
Using Gröbner bases for finding the logarithmic part of the integral of transcendental functions
Journal of Symbolic Computation | 2012-07-04 | Paper |
Universal truth of operator statements via ideal membership
(available as arXiv preprint) | N/A | Paper |
The fundamental theorem of calculus in differential rings
(available as arXiv preprint) | N/A | Paper |
