Real-Time Digital Simulation for electrical distribution feeders through hardware ...
Soft theorems, scattering equations and quantum loops in AdS2
Qualitative Theory of Ordinary Differential Equations and computational simulation...
Theoretical and computational study of ordinary differential equations with softwa...
Qualitative theory and applications of ordinary differential equations with MAPLE ...
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...