REACH
From MaRDI portal
Software:19750
No author found.
Related Items (4)
Positive root isolation for poly-powers by exclusion and differentiation ⋮ Multiphase until formulas over Markov reward models: an algebraic approach ⋮ Analyzing ultimate positivity for solvable systems ⋮ Some decidable results on reachability of solvable systems
This page was built for software: REACH
