REACH

swMATH7733MaRDI QIDQ19750FDOQ19750

Author name not available (Why is that?)

Cited In (4)

• Some decidable results on reachability of solvable systems
• Multiphase until formulas over Markov reward models: an algebraic approach
• Analyzing ultimate positivity for solvable systems
• Positive root isolation for poly-powers by exclusion and differentiation

This page was built for software: REACH