The following pages link to (Q4598241):
Displaying 13 items.
- On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond (Q2051775) (← links)
- Exact solutions in log-concave maximum likelihood estimation (Q2104907) (← links)
- Positive root isolation for poly-powers by exclusion and differentiation (Q2409014) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)
- (Q5089308) (← links)
- On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond (Q5092447) (← links)
- (Q5094125) (← links)
- Complexity of Restricted Variants of Skolem and Related Problems (Q5111295) (← links)
- A probabilistic logic for verifying continuous-time Markov chains (Q6535602) (← links)
- Positivity-hardness results on Markov decision processes (Q6566469) (← links)
- Reachability analysis of linear systems (Q6592109) (← links)
- On the complexity of robust eventual inequality testing for C-finite functions (Q6623018) (← links)
- Square-free factorization of mixed trigonometric-polynomials (Q6639187) (← links)
