Pages that link to "Item:Q2391181"
From MaRDI portal
The following pages link to A separation bound for real algebraic expressions (Q2391181):
Displaying 6 items.
- On design and implementation of a generic number type for real algebraic number computations based on expression dags (Q655162) (← links)
- A strong and easily computable separation bound for arithmetic expressions involving radicals (Q1977120) (← links)
- A new constructive root bound for algebraic expressions. (Extended abstract) (Q2768338) (← links)
- (Q4796179) (← links)
- Efficient Predicate Evaluation Using Randomized Degeneracy Detection (Q5057658) (← links)
- Restructuring Expression Dags for Efficient Parallelization (Q5140732) (← links)