Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Robin Larrieu |
The Truncated Fourier Transform for Mixed Radices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, Kaiserslautern, Germany, July 25-28, 2017, pp. 261-268, 2017, ACM, 978-1-4503-5064-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven, Grégoire Lecerf |
Composition Modulo Powers of Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, Kaiserslautern, Germany, July 25-28, 2017, pp. 445-452, 2017, ACM, 978-1-4503-5064-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Nebe |
Computing with Arithmetic Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, Kaiserslautern, Germany, July 25-28, 2017, pp. 1-2, 2017, ACM, 978-1-4503-5064-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Matías R. Bender, Jean-Charles Faugère, Ludovic Perret, Elias P. Tsigaridas |
A Superfast Randomized Algorithm to Decompose Binary Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 79-86, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Johan Sebastian Rosenkilde, Arne Storjohann |
Algorithms for Simultaneous Padé Approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 405-412, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eric Bach 0001, Bryce Sandlund |
Baby-Step Giant-Step Algorithms for the Symmetric Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 55-62, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Clemens G. Raab |
Symbolic Computation of Parameter Integrals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 13-15, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | J. Ian Munro |
Succinct Data Structures ... Potential for Symbolic Computation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 5-8, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Z. Emiris |
Compact Formulae in Sparse Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 1-4, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Manuel Kauers, Christoph Koutschan |
Reduction-Based Creative Telescoping for Algebraic Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 175-182, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Katsusuke Nabeshima, Katsuyoshi Ohara, Shinichi Tajima |
Comprehensive Gröbner Systems in Rings of Differential Operators, Holonomic D-modules and B-functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 349-356, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Juan Gerardo Alcázar, Carlos Hermoso, Georg Muntingh |
Detecting Similarities of Rational Space Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 23-30, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Qing-Hu Hou, George Labahn, Rong-Hua Wang |
Existence Problem of Telescopers: Beyond the Bivariate Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 167-174, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Georg Regensburger |
Symbolic Computation with Integro-Differential Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 17-18, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Moulay A. Barkatou, Thomas Cluzeau, Jacques-Arthur Weil, Lucia Di Vizio |
Computing the Lie Algebra of the Differential Galois Group of a Linear Differential System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 63-70, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Albert Heinle, Viktor Levandovskyy |
A Factorization Algorithm for G-Algebras and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 263-270, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Kobel, Fabrice Rouillier, Michael Sagraloff |
Computing Real Roots of Real Polynomials ... and now For Real! ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 303-310, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jamal Hossein Poor, Clemens G. Raab, Georg Regensburger |
Algorithmic Operator Algebras via Normal Forms for Tensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 397-404, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Wayne Eberly |
Selecting Algorithms for Black Box Matrices: Checking For Matrix Properties That Can Simplify Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 207-214, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Melczer, Bruno Salvy |
Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 333-340, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Schneider |
Symbolic Summation in Difference Rings and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 9-12, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Berthomieu, Jean-Charles Faugère |
Guessing Linear Recurrence Relations of Sequence Tuplesand P-recursive Sequences with Linear Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 95-102, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Harvey, Joris van der Hoeven, Grégoire Lecerf |
Fast Polynomial Multiplication over F260. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 255-262, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zhiwei Hao, Erich L. Kaltofen, Lihong Zhi |
Numerical Sparsity Determination and Early Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 247-254, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Neiger |
Fast Computation of Shifted Popov Forms of Polynomial Matrices via Systems of Modular Polynomial Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 365-372, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Caruso, David Roe, Tristan Vaccon |
Division and Slope Factorization of p-Adic Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 159-166, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hao Fu, Guo-Niu Han |
Computer Assisted Proof for Apwenian Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 231-238, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ruben Becker, Michael Sagraloff, Vikram Sharma 0001, Juan Xu, Chee Yap |
Complexity Analysis of Root Clustering for a Complex Polynomial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 71-78, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Xavier Caruso, Éric Schost |
Computation of the Similarity Class of the p-Curvature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 111-118, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Lairez, Tristan Vaccon |
On p-Adic Differential Equations with Separation of Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 319-323, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Bonnard, Jean-Charles Faugère, Alain Jacquemard, Mohab Safey El Din, Thibaut Verron |
Determinantal Sets, Singularities and Application to Optimal Control in Medical Imagery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 103-110, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Simone Naldi |
Solving Rank-Constrained Semidefinite Programs in Exact Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 357-364, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jing-Cao Li, Cheng-Chao Huang, Ming Xu 0010, Zhi-Bin Li 0005 |
Positive Root Isolation for Poly-Powers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 325-332, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Arnold Neumaier, Damien Stehlé |
Faster LLL-type Reduction of Lattice Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 373-380, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Brice Boyer, Christian Eder, Jean-Charles Faugère, Sylvian Lachartre, Fayssal Martani |
GBLA: Gröbner Basis Linear Algebra Package. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 135-142, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hui Huang |
New Bounds for Hypergeometric Creative Telescoping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 279-286, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Louis Dumont, Bruno Salvy |
Efficient Algorithms for Mixed Creative Telscoping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 127-134, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Robert Krone |
Equivariant Gröbner Bases of Symmetric Toric Ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 311-318, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Claude-Pierre Jeannerod, Vincent Neiger, Éric Schost, Gilles Villard |
Fast Computation of Minimal Interpolation Bases in Popov Form for Arbitrary Shifts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 295-302, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guillaume Dumas, Erich L. Kaltofen, Emmanuel Thomé, Gilles Villard |
Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 199-206, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Gilles Christol, Philippe Dumas 0001 |
Fast Computation of the Nth Term of an Algebraic Series over a Finite Prime Field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 119-126, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Parisa Alvandi, Mahsa Kazemi, Marc Moreno Maza |
Computing Limits of Real Multivariate Rational Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 39-46, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Masayuki Noro |
System of Partial Differential Equations for the Hypergeometric Function 1F1 of a Matrix Argument on Diagonal Regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 381-388, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eric Bach 0001, Rex D. Fernando |
Infinitely Many Carmichael Numbers for a Modified Miller-Rabin Prime Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 47-54, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Valérie Berthé, Loïck Lhote, Brigitte Vallée |
Analysis of the Brun Gcd Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 87-94, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yi Zhang |
Contraction of Ore Ideals with Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 413-420, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel A. Brake, Jonathan D. Hauenstein, Alan C. Liddell Jr. |
Validating the Completeness of the Real Solution Set of a System of Polynomial Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 143-150, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Léo Ducas, Thomas Prest |
Fast Fourier Orthogonalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 191-198, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Clément Pernet |
Computing with Quasiseparable Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 389-396, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Moroz, Éric Schost |
A Fast Algorithm for Computing the Truncated Resultant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 341-348, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mohab Safey El Din, Pierre-Jean Spaenlehauer |
Critical Point Computations on Smooth Varieties: Degree and Complexity Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 183-190, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Richard Gustavson, Alexey Ovchinnikov, Gleb Pogudin |
Bounds for Orders of Derivatives in Differential Elimination Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 239-246, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Cornelius Brand, Michael Sagraloff |
On the Complexity of Solving Zero-Dimensional Polynomial Systems via Projection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 151-158, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Robertz |
Formal Algorithmic Elimination for PDEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 19-22, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Z. Emiris, Angelos Mantzaflaris, Elias P. Tsigaridas |
On the Bit Complexity of Solving Bilinear Polynomial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 215-222, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Faugère, Pierre-Jean Spaenlehauer, Jules Svartz |
Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 223-230, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra |
Solving Generic Nonarchimedean Semidefinite Programs Using Stochastic Game Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 31-38, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jiaxiong Hu, Michael B. Monagan |
A Fast Parallel Sparse Polynomial GCD Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 271-278, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sergei A. Abramov, Eugene V. Zima, Xiao-Shan Gao (eds.) |
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![ACM, 978-1-4503-4380-0 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Ming-Deh A. Huang, Lian Liu |
Constructing Small Generating Sets for the Multiplicative Groups of Algebras over Finite Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pp. 287-294, 2016, ACM, 978-1-4503-4380-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jesús A. De Loera, Susan Margulies, Michael Pernpeintner, Eric Riedl, David Rolnick, Gwen Spencer, Despina Stasi, Jon Swenson |
Graph-Coloring Ideals: Nullstellensatz Certificates, Gröbner Bases for Chordal Graphs, and Hardness of Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 133-140, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Poteaux, Marc Rybowicz |
Improving Complexity Bounds for the Computation of Puiseux Series over Finite Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 299-306, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Vincent Koseleff, Fabrice Rouillier, Cuong Tran 0004 |
On the Sign of a Trigonometric Expression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 259-266, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Fürst, Günter Landsmann |
Computation of Dimension in Filtered Free Modules by Gröbner Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 181-188, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Kapur, Yiming Yang |
An Algorithm to Check Whether a Basis of a Parametric Polynomial System is a Comprehensive Gröbner Basis and the Associated Completion Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 243-250, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | José Gómez-Torrecillas, Francisco Javier Lobillo, Gabriel Navarro 0001 |
Separable Automorphisms on Matrix Algebras over Finite Field Extensions: Applications to Ideal Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 189-195, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Kauers, Christoph Koutschan |
Integral D-Finite Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 251-258, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vikram Sharma 0001, Prashant Batra |
Near Optimal Subdivision Algorithms for Real Root Isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 331-338, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Erika Ábrahám |
Building Bridges between Symbolic Computation and Satisfiability Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 1-6, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinando Mora |
De Nugis Groebnerialium 4: Zacharias, Spears, Möller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 283-290, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan D. Hauenstein, Bernard Mourrain, Ágnes Szántó |
Certifying Isolated Singular Points and their Multiplicity Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 213-220, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthew England 0001, Russell J. Bradford, James H. Davenport |
Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 165-172, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Arnold, Erich L. Kaltofen |
Error-Correcting Sparse Interpolation in the Chebyshev Basis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 21-28, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tristan Vaccon |
Matrix-F5 Algorithms and Tropical Gröbner Bases Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 355-362, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Moulay A. Barkatou, Thomas Cluzeau, Achref Jalouli |
Formal Solutions of Linear Differential Systems with Essential Singularities in their Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 45-52, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ankur Moitra |
Nonnegative Matrix Factorization: Algorithms, Complexity and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 15-16, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Éric Schost |
Algorithms for Finite Field Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 7-12, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | B. David Saunders |
Matrices with Two Nonzero Entries per Row. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 323-330, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Lüders |
Implementation of the DKSS Algorithm for Multiplication of Large Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 267-274, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hsing-Hau Chen, Ming-Deh A. Huang |
On þ-adic Expansions of Algebraic Integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 109-116, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Grenet, Joris van der Hoeven, Grégoire Lecerf |
Randomized Root Finding over Finite FFT-fields using Tangent Graeffe Transforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 197-204, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Xavier Caruso, Éric Schost |
A Fast Algorithm for Computing the P-curvature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 69-76, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christopher W. Brown 0001 |
Open Non-uniform Cylindrical Algebraic Decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 85-92, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Moulay A. Barkatou, Suzy S. Maddah |
Removing Apparent Singularities of Systems of Linear Differential Equations with Rational Function Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 53-60, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato |
Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 173-180, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Volker Diekert, Alexei G. Myasnikov, Armin Weiß |
Amenability of Schreier Graphs and Strongly Generic Algorithms for the Conjugacy Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 141-148, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Van Chiên Bui, Gérard Henry Edmond Duchamp, Vincel Hoang Ngoc Minh |
Structure of Polyzetas and Explicit Representation on Transcendence Bases of Shuffle and Stuffle Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 93-100, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Bannwarth, Mohab Safey El Din |
Probabilistic Algorithm for Computing the Dimension of Real Algebraic Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 37-44, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhiro Yokoyama, Steve Linton, Daniel Robertz (eds.) |
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![ACM, 978-1-4503-3435-8 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Jose Israel Rodriguez, Xiaoxian Tang |
Data-Discriminants of Likelihood Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 307-314, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Clément Pernet |
Exact Linear Algebra Algorithmic: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 17-18, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lihong Zhi |
Optimization Problems over Noncompact Semialgebraic Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 13-14, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Maulat, Bruno Salvy |
Formulas for Continued Fractions: An Automated Guess and Prove Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 275-282, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Caruso, David Roe, Tristan Vaccon |
p-Adic Stability In Linear Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 101-108, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Z. Emiris, Christos Konaxis, Zafeirakis Zafeirakopoulos |
Minkowski Decomposition and Geometric Predicates in Sparse Implicitization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 157-164, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Louis Dumont, Bruno Salvy |
Algebraic Diagonals and Walks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 77-84, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li 0002 |
A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 117-124, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Berthomieu, Brice Boyer, Jean-Charles Faugère |
Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 61-68, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Hulpke |
Constructing All Composition Series of a Finite Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 229-234, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Sturm 0001 |
Subtropical Real Root Finding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 347-354, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|