Pages that link to "Item:Q2985844"
From MaRDI portal
The following pages link to Positive Root Isolation for Poly-Powers (Q2985844):
Displaying 4 items.
- Positive root isolation for poly-powers by exclusion and differentiation (Q2409014) (← links)
- A symbolic-numerical algorithm for isolating real roots of certain radical expressions (Q2656085) (← links)
- (Q3075207) (← links)
- A probabilistic logic for verifying continuous-time Markov chains (Q6535602) (← links)