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

Reasoning about the Elementary Functions of Complex Analysis., , , , and . AISC, volume 1930 of Lecture Notes in Computer Science, page 115-126. Springer, (2000)Multivalued Elementary Functions in Computer-Algebra Systems.. AISC, volume 8884 of Lecture Notes in Computer Science, page 157-167. Springer, (2014)A Knowledge Repository for Indefinite Integration Based on Transformation Rules., and . Calculemus/MKM, volume 5625 of Lecture Notes in Computer Science, page 480-485. Springer, (2009)Recursive Integration of Piecewise-Continuous Functions., and . ISSAC, page 290-294. ACM, (1998)Affine transformations of algebraic numbers., , and . ISSAC, page 193-199. ACM, (2005)The Wright omega Function., and . AISC, volume 2385 of Lecture Notes in Computer Science, page 76-89. Springer, (2002)Teaching Linear Algebra in a Mechanized Mathematical Environment., , and . CICM, volume 14101 of Lecture Notes in Computer Science, page 113-129. Springer, (2023)Reducing Expression Size Using Rule-Based Integration., and . AISC/MKM/Calculemus, volume 6167 of Lecture Notes in Computer Science, page 234-246. Springer, (2010)Rational Householder Transformations., and . SYNASC, page 61-64. IEEE, (2018)Stirling Numbers, Lambert W and the Gamma Function., and . MACIS, volume 10693 of Lecture Notes in Computer Science, page 275-279. Springer, (2017)