Pages that link to "Item:Q3072442"
From MaRDI portal
The following pages link to Reachability analysis of rational eigenvalue linear systems (Q3072442):
Displaying 11 items.
- Solution of the delayed single degree of freedom system equation by exponential matrix method (Q279575) (← links)
- Recent advances in program verification through computer algebra (Q351971) (← links)
- Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
- An exponential approximation for solutions of generalized pantograph-delay differential equations (Q1792018) (← links)
- Exponential collocation method for solutions of singularly perturbed delay differential equations (Q2015599) (← links)
- Time-bounded termination analysis for probabilistic programs with delays (Q2216132) (← links)
- Positive root isolation for poly-powers by exclusion and differentiation (Q2409014) (← links)
- An exponential collocation method for the solutions of the HIV infection model of CD4+T cells (Q2799327) (← links)
- Some decidable results on reachability of solvable systems (Q2871582) (← links)
- Partial eigenstructure assignment problem and its application to the constrained linear problem (Q2873090) (← links)
- An exponential matrix method for solving systems of linear differential equations (Q4908138) (← links)
