Pages that link to "Item:Q1892121"
From MaRDI portal
The following pages link to Algebraic numbers: An example of dynamic evaluation (Q1892121):
Displaying 10 items.
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q384995) (← links)
- Evaluation techniques for zero-dimensional primary decomposition (Q1030246) (← links)
- Examples of using dynamic constructible closure. (Q1565817) (← links)
- Dynamic evaluation and real closure. (Q1565836) (← links)
- Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one (Q2066949) (← links)
- Directed evaluation (Q2192677) (← links)
- Accelerated tower arithmetic (Q2338646) (← links)
- A reconstruction and extension of Maple's assume facility via constraint contextual rewriting (Q2456557) (← links)
- Galois theory, splitting fields and computer algebra (Q2457393) (← links)
- The Generalized Rabinowitsch Trick (Q4610007) (← links)