Integration in finite terms of non-liouvillian functions. - Clemens G. Raab (ACM Commun. Comput. Algebra, 2011)

Solving linear ordinary differential systems in hyperexponential extensions. - Moulay A. Barkatou; Clemens G. Raab (ISSAC, 2012)

Using Gröbner bases for finding the logarithmic part of the integral of transcendental functions. - Clemens G. Raab (J. Symb. Comput., 2012)

Integration of unspecified functions and families of iterated integrals. - Clemens G. Raab (ISSAC, 2013)

Generalization of Risch's Algorithm to Special Functions - Clemens G. Raab (CoRR, 2013)

Nested (inverse) binomial sums and new iterated integrals for massive Feynman diagrams. - Jakob Ablinger; Johannes Blümlein; Clemens G. Raab; Carsten Schneider (CoRR, 2014)

Rewrite rules for nested integrals. - Clemens G. Raab (ACM Commun. Comput. Algebra, 2015)

Normal Forms for Operators via Gröbner Bases in Tensor Algebras. - Jamal Hossein Poor; Clemens G. Raab; Georg Regensburger (ICMS, 2016)

Algorithmic Operator Algebras via Normal Forms for Tensors. - Jamal Hossein Poor; Clemens G. Raab; Georg Regensburger (ISSAC, 2016)

Symbolic Computation of Parameter Integrals. - Clemens G. Raab (ISSAC, 2016)

Iterated Elliptic and Hypergeometric Integrals for Feynman Diagrams. - Jakob Ablinger; Johannes Blümlein; Abilio De Freitas; Mark van Hoeij; Erdal Imamoglu; Clemens G. Raab; Cristian-Silviu Radu; Carsten Schneider (CoRR, 2017)

Algorithmic operator algebras via normal forms in tensor rings. - Jamal Hossein Poor; Clemens G. Raab; Georg Regensburger (J. Symb. Comput., 2018)

Certifying operator identities via noncommutative Gröbner bases. - Clemens Hofstadler; Clemens G. Raab; Georg Regensburger (ACM Commun. Comput. Algebra, 2019)

Compatible rewriting of noncommutative polynomials for proving operator identities. - Cyrille Chenavier; Clemens Hofstadler; Clemens G. Raab; Georg Regensburger (ISSAC, 2020)

Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig's triple reverse order law. - Dragana S. Cvetkovic-Ilic; Clemens Hofstadler; Jamal Hossein Poor; Jovana Milosevic; Clemens G. Raab; Georg Regensburger (Appl. Math. Comput., 2021)

Computing Elements of Certain Form in Ideals to Prove Properties of Operators. - Clemens Hofstadler; Clemens G. Raab; Georg Regensburger (Math. Comput. Sci., 2022)

Nested Integrals and Rationalizing Transformations. - Clemens G. Raab (CoRR, 2023)

Reduction systems and degree bounds for integration. - Hao Du; Clemens G. Raab (J. Symb. Comput., 2025)

The integro-differential closure of a commutative differential ring. - Clemens G. Raab; Georg Regensburger (CoRR, 2025)