- Global Identifiability of Differential Models Hoon Hong Alexey Ovchinnikov Gleb Pogudin Chee Yap Mon 16 March 2026
- Symbolic Summation of Multivariate Rational Functions Shaoshi Chen Lixin Du Hanqian Fang Tue 18 March 2025
- D-Algebraic Functions Rida Ait El Manssour Anna-Laura Sattelberger Bertrand Teguia Tabuguia Thu 22 August 2024
- The fundamental theorem of calculus in differential rings Clemens G. Raab Georg Regensburger Wed 19 July 2023
- Differentially Transcendental Functions Zarko Mijajlovic Branko Malesevic Sat 24 December 2022
- Bounds for elimination of unknowns in systems of differential-algebraic equations Alexey Ovchinnikov Gleb Pogudin N. Thieu Vo Mon 19 October 2020
- Elimination of unknowns for systems of algebraic differential-difference equations Wei Li Alexey Ovchinnikov Gleb Pogudin Thomas Scanlon Mon 19 October 2020
- Algorithms yield upper bounds in differential algebra Wei Li Alexey Ovchinnikov Gleb Pogudin Thomas Scanlon Mon 19 October 2020
Library Size: 13G (8 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A