Pages that link to "Item:Q2819728"
From MaRDI portal
The following pages link to Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation (Q2819728):
Displayed 46 items.
- Matrix-F5 algorithms and tropical Gröbner bases computation (Q1635284) (← links)
- Structure of polyzetas and explicit representation on transcendence bases of shuffle and stuffle algebras (Q2628313) (← links)
- Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem (Q2628315) (← links)
- Building Bridges between Symbolic Computation and Satisfiability Checking (Q2819729) (← links)
- Algorithms for Finite Field Arithmetic (Q2819730) (← links)
- Optimization Problems over Noncompact Semialgebraic Sets (Q2819731) (← links)
- Error-Correcting Sparse Interpolation in the Chebyshev Basis (Q2819732) (← links)
- Output-Sensitive Algorithms for Sumset and Sparse Polynomial Multiplication (Q2819733) (← links)
- Probabilistic Algorithm for Computing the Dimension of Real Algebraic Sets (Q2819735) (← links)
- Formal Solutions of Linear Differential Systems with Essential Singularities in their Coefficients (Q2819737) (← links)
- Removing Apparent Singularities of Systems of Linear Differential Equations with Rational Function Coefficients (Q2819738) (← links)
- Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences (Q2819739) (← links)
- A Fast Algorithm for Computing the P-curvature (Q2819740) (← links)
- Algebraic Diagonals and Walks (Q2819741) (← links)
- Open Non-uniform Cylindrical Algebraic Decompositions (Q2819742) (← links)
- p-Adic Stability In Linear Algebra (Q2819744) (← links)
- On þ-adic Expansions of Algebraic Integers (Q2819745) (← links)
- A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms (Q2819746) (← links)
- Computer Algebra Applied to a Solitary Waves Study (Q2819747) (← links)
- Graph-Coloring Ideals (Q2819750) (← links)
- Computing the Rank Profile Matrix (Q2819752) (← links)
- Minkowski Decomposition and Geometric Predicates in Sparse Implicitization (Q2819753) (← links)
- Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition (Q2819754) (← links)
- Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems (Q2819755) (← links)
- Computation of Dimension in Filtered Free Modules by Gröbner Reduction (Q2819756) (← links)
- Separable Automorphisms on Matrix Algebras over Finite Field Extensions (Q2819757) (← links)
- Randomized Root Finding over Finite FFT-fields using Tangent Graeffe Transforms (Q2819758) (← links)
- Optimizing a Parametric Linear Function over a Non-compact Real Algebraic Variety (Q2819759) (← links)
- Certifying Isolated Singular Points and their Multiplicity Structure (Q2819760) (← links)
- Real Root Finding for Rank Defects in Linear Hankel Matrices (Q2819761) (← links)
- Constructing All Composition Series of a Finite Group (Q2819762) (← links)
- Computing Hypergeometric Solutions of Second Order Linear Differential Equations using Quotients of Formal Solutions (Q2819763) (← links)
- An Algorithm to Check Whether a Basis of a Parametric Polynomial System is a Comprehensive Gröbner Basis and the Associated Completion Algorithm (Q2819764) (← links)
- Integral D-Finite Functions (Q2819765) (← links)
- On the Sign of a Trigonometric Expression (Q2819766) (← links)
- Implementation of the DKSS Algorithm for Multiplication of Large Numbers (Q2819767) (← links)
- Formulas for Continued Fractions (Q2819769) (← links)
- De Nugis Groebnerialium 4 (Q2819770) (← links)
- Computing Logarithmic Vector Fields Associated with Parametric Semi-Quasihomogeneous Hypersurface Isolated Singularities (Q2819771) (← links)
- Improving Complexity Bounds for the Computation of Puiseux Series over Finite Fields (Q2819772) (← links)
- Data-Discriminants of Likelihood Equations (Q2819773) (← links)
- Green's Functions for Stieltjes Boundary Problems (Q2819774) (← links)
- Matrices with Two Nonzero Entries per Row (Q2819775) (← links)
- Near Optimal Subdivision Algorithms for Real Root Isolation (Q2819776) (← links)
- A Relaxed Algorithm for Online Matrix Inversion (Q2819778) (← links)
- Subtropical Real Root Finding (Q2819779) (← links)