Real-Time Digital Simulation for electrical distribution feeders through hardware ...
Soft theorems, scattering equations and quantum loops in AdS2
Theoretical and computational study of ordinary differential equations with softwa...
Qualitative theory and applications of ordinary differential equations with MAPLE ...
Qualitative Theory of Ordinary Differential Equations and computational simulation...
Local and global aspects of the qualitative theory of ordinary differential equations
Genericity in the context of theorem proving: a cloud based proof assistant for fl...