Pages that link to "Item:Q384995"
From MaRDI portal
The following pages link to An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q384995):
Displaying 50 items.
- CBLIB 2014: a benchmark library for conic mixed-integer and continuous optimization (Q298162) (← links)
- Automatic generation of bounds for polynomial systems with application to the Lorenz system (Q1755304) (← links)
- Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems (Q2817922) (← links)
- Recent Advances in Real Geometric Reasoning (Q3452275) (← links)
- Mathematics by machine (Q3452371) (← links)
- Fuzzy simplification of non-numeric expressions containing some intervals and/or floating point numbers (Q3452372) (← links)
- Sparse interpolation over finite fields via low-order roots of unity (Q3452373) (← links)
- Multivariate sparse interpolation using randomized Kronecker substitutions (Q3452374) (← links)
- Computing the differential Galois group of a parameterized second-order linear differential equation (Q3452375) (← links)
- A new deterministic algorithm for sparse multivariate polynomial interpolation (Q3452377) (← links)
- A fast algorithm for computing the characteristic polynomial of the p-curvature (Q3452378) (← links)
- Computing necessary integrability conditions for planar parametrized homogeneous potentials (Q3452379) (← links)
- Improved algorithm for computing separating linear forms for bivariate systems (Q3452380) (← links)
- Solving higher order linear differential equations having elliptic function coefficients (Q3452382) (← links)
- Parallel telescoping and parameterized Picard-Vessiot theory (Q3452383) (← links)
- A generalized Apagodu-Zeilberger algorithm (Q3452384) (← links)
- The asymptotic analysis of some interpolated nonlinear recurrence relations (Q3452385) (← links)
- Fast arithmetic for the algebraic closure of finite fields (Q3452386) (← links)
- On the computation of the topology of plane curves (Q3452387) (← links)
- Essentially optimal interactive certificates in linear algebra (Q3452388) (← links)
- Root counts of semi-mixed systems, and an application to counting nash equilibria (Q3452389) (← links)
- Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation) (Q3452390) (← links)
- Sub-cubic change of ordering for Gröbner basis (Q3452391) (← links)
- Sparse Gröbner bases (Q3452392) (← links)
- The <i>MMO</i> problem (Q3452393) (← links)
- Factoring linear differential operators in <i>n</i> variables (Q3452394) (← links)
- Online order basis algorithm and its impact on the block Wiedemann algorithm (Q3452395) (← links)
- On isomorphisms of modules over non-commutative PID (Q3452396) (← links)
- Radical solutions of first order autonomous algebraic ordinary differential equations (Q3452397) (← links)
- Computing low-degree factors of lacunary polynomials (Q3452398) (← links)
- Maximum likelihood geometry in the presence of data zeros (Q3452399) (← links)
- Constructing fewer open cells by GCD computation in CAD projection (Q3452400) (← links)
- An <i>a posteriori</i> certification algorithm for Newton homotopies (Q3452402) (← links)
- Evaluating parametric holonomic sequences using rectangular splitting (Q3452403) (← links)
- Equivariant lattice generators and Markov bases (Q3452404) (← links)
- Sparse polynomial interpolation codes and their decoding beyond half the minimum distance (Q3452405) (← links)
- Sparse multivariate function recovery with a high error rate in the evaluations (Q3452406) (← links)
- Bounds for D-finite closure properties (Q3452407) (← links)
- Powers of tensors and fast matrix multiplication (Q3452408) (← links)
- Reduction among bracket polynomials (Q3452409) (← links)
- Formal solutions of a class of Pfaffian systems in two variables (Q3452410) (← links)
- On the reduction of singularly-perturbed linear differential systems (Q3452411) (← links)
- High performance implementation of the TFT (Q3452412) (← links)
- Randomized detection of extraneous factors (Q3452413) (← links)
- Toric border basis (Q3452414) (← links)
- On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases (Q3452415) (← links)
- A near-optimal algorithm for computing real roots of sparse polynomials (Q3452416) (← links)
- LLL reducing with the most significant bits (Q3452418) (← links)
- Covering of surfaces parametrized without projective base points (Q3452419) (← links)
- Linear independence oracles and applications to rectangular and low rank linear systems (Q3452420) (← links)
