Publisher
Springer Nature Switzerland
Reference30 articles.
1. Abramov, S.A., van Hoeij, M.: Desingularization of linear difference operators with polynomial coefficients. In: Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, pp. 269–275 (1999)
2. Ait El Manssour, R., Sattelberger, A.L., Teguia Tabuguia, B.: D-algebraic functions. arXiv preprint arXiv:2301.02512 (2023)
3. Alur, R., D’Antoni, L., Deshmukh, J.V., Raghothaman, M., Yuan, Y.: Regular functions and cost register automata. In: 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, 25–28 June 2013, pp. 13–22. IEEE Computer Society (2013)
4. Bächler, T., Gerdt, V., Lange-Hegermann, M., Robertz, D.: Algorithmic Thomas decomposition of algebraic and differential systems. J. Symb. Comput. 47(10), 1233–1266 (2012)
5. Becker, T., Weispfenning, V.: Gröbner Bases. Springer, Heidelberg (1993)