Pages that link to "Item:Q2476158"
From MaRDI portal
The following pages link to Modular algorithms in symbolic summation and symbolic integration (Q2476158):
Displaying 6 items.
- A deterministic algorithm for isolating real roots of a real polynomial (Q607163) (← links)
- A general approach to isolating roots of a bitstream polynomial (Q655157) (← links)
- Sampling polynomial trajectories for LTL verification (Q2055964) (← links)
- Accelerating indefinite summation: simple classes of summands (Q2254094) (← links)
- Truncation bounds for differentially finite series (Q2323059) (← links)
- Factorization of Polynomials and GCD Computations for Finding Universal Denominators (Q3589059) (← links)