Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems., , , , , , , , and . CICM, volume 10383 of Lecture Notes in Computer Science, page 115-131. Springer, (2017)Automated Symbolic and Numerical Testing of DLMF Formulae Using Computer Algebra Systems., , and . CICM, volume 11006 of Lecture Notes in Computer Science, page 39-52. Springer, (2018)Growing the Digital Repository of Mathematical Formulae with Generic LaTeX Sources., , , , , , and . CoRR, (2015)Terminating Basic Hypergeometric Representations and Transformations for the Askey-Wilson Polynomials., , and . Symmetry, 12 (8): 1290 (2020)Automated Symbolic and Numerical Testing of DLMF Formulae using Computer Algebra Systems., , and . CoRR, (2021)Discovering Mathematical Objects of Interest - A Study of Mathematical Notations., , , , , , and . WWW, page 1445-1456. ACM / IW3C2, (2020)Nonterminating transformations and summations associated with some q-Mellin-Barnes integrals., and . Adv. Appl. Math., (June 2023)Multi-Integral Representations for Associated Legendre and Ferrers Functions., and . Symmetry, 12 (10): 1598 (2020)Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems., , , , , , , and . TACAS (1), volume 13243 of Lecture Notes in Computer Science, page 87-105. Springer, (2022)Getting the units right., , and . FM4M/MathUI/ThEdu/DP/WIP@CIKM, volume 1785 of CEUR Workshop Proceedings, page 146-156. CEUR-WS.org, (2016)