From post

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.

 

Другие публикации лиц с тем же именем

Recursive Integration of Piecewise-Continuous Functions., и . ISSAC, стр. 290-294. ACM, (1998)Affine transformations of algebraic numbers., , и . ISSAC, стр. 193-199. ACM, (2005)A Knowledge Repository for Indefinite Integration Based on Transformation Rules., и . Calculemus/MKM, том 5625 из Lecture Notes in Computer Science, стр. 480-485. Springer, (2009)The Wright omega Function., и . AISC, том 2385 из Lecture Notes in Computer Science, стр. 76-89. Springer, (2002)Reasoning about the Elementary Functions of Complex Analysis., , , , и . AISC, том 1930 из Lecture Notes in Computer Science, стр. 115-126. Springer, (2000)Multivalued Elementary Functions in Computer-Algebra Systems.. AISC, том 8884 из Lecture Notes in Computer Science, стр. 157-167. Springer, (2014)Teaching Linear Algebra in a Mechanized Mathematical Environment., , и . CICM, том 14101 из Lecture Notes in Computer Science, стр. 113-129. Springer, (2023)Rational Householder Transformations., и . SYNASC, стр. 61-64. IEEE, (2018)Reducing Expression Size Using Rule-Based Integration., и . AISC/MKM/Calculemus, том 6167 из Lecture Notes in Computer Science, стр. 234-246. Springer, (2010)An Abstraction-Preserving Block Matrix Implementation in Maple., и . CoRR, (2024)