swMATH31513MaRDI QIDQ43224FDOQ43224
Author name not available (Why is that?)
Official website: https://arxiv.org/abs/1801.09942
Cited In (19)
- Singularities of algebraic differential equations
- Thomas decomposition and nonlinear control systems
- A strongly-consistent difference scheme for 3D nonlinear Navier-Stokes equations
- A logic based approach to finding real singularities of implicit ordinary differential equations
- Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables
- Algebraic and symbolic computation methods in dynamical systems. Based on articles written for the invited sessions of the 5th symposium on system structure and control, IFAC, Grenoble, France, February 4--6, 2013 and of the 21st international symposium on mathematical theory of networks and systems (MTNS 2014), Groningen, the Netherlands, July 7--11, 2014
- DESOLVII
- PurityFiltration
- DifferentialThomas
- control.lib
- GUARDIAN
- AlgebraicThomas
- OreMorphisms
- DifferentialAlgebra
- NLControl
- OreAlgebraicAnalysis
- LieAlgebrasOfVectorFields
- On the algorithmic linearizability of nonlinear ordinary differential equations
- Periodic Pólya urns, the density method and asymptotics of Young tableaux
This page was built for software: TDDS
