Prime news

ISSAC 2021 Distinguished Paper Award to Shaoshi Chen, Ruyong Feng, Pingchuan Ma, and Michael F. Singer

Time:2021-07-26  Source:

  The 46th International Symposium on Symbolic and Algebraic Computation (ISSAC2021) was held in Saint Petersburg, Russia, from July 18 to 23, in a hydrid mode with both online and in-person participants from different countries. At this conference, the ACM Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM) presents the ISSAC2021 Distinguished Paper Award to Shaoshi Chen, Ruyong Feng, Pingchuan Ma, and Michael F. Singer in recognition of their paper “Separability problems in creative telescoping”. ISSAC is the premier conference for research in symbolic computation and computer algebra, which started in 1966 and has been held annually since 1981. The conference presents a range of invited speakers, tutorials, poster sessions, software demonstrations and vendor exhibits with a center-piece of contributed research papers.

  For given multivariate functions specified by algebraic, differential or difference equations, the separability problem is to decide whether they satisfy linear differential or difference equations in one variable. The separability problem has a close connection with the classical separation of variables in PDE and the existence problem of telescopers in the Wilf-Zeilberger theory of automatic proving of special-function identities. In their paper, the authors present some criteria for testing the separability for several classes of special functions, including rational functions, hyperexponential functions, hypergeometric

  terms, and algebraic functions, by combining theoretical results and efficient algorithms in computational differential and difference algebra, theory of algebraic functions, and non-commutative rings.


  1.    ISSAC Awards: 

  2.   Link to the paper: