Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Luca De Feo, Javad Doliskani, Éric Schost |
Fast algorithms for l-adic towers over finite fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 165-172, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mark Boady, Pavel Grinfeld, Jeremy Johnson 0001 |
A term rewriting system for the calculus of moving surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 69-76, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Romain Lebreton, Esmaeil Mehrabi, Éric Schost |
On the complexity of solving bivariate systems: the case of non-singular solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 251-258, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Kauers (eds.) |
International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![ACM, 978-1-4503-2059-7 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Erich L. Kaltofen, Zhengfeng Yang |
Sparse multivariate function recovery from values with noise and outlier errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 219-226, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jingwei Chen, Damien Stehlé, Gilles Villard |
A new view on HJLS and PSLQ: sums and projections of lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 149-156, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Pierre Lairez, Bruno Salvy |
Creative telescoping for rational functions using the griffiths: dwork method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 93-100, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio 0001, José-Luis Ruiz-Reina |
Certified symbolic manipulation: bivariate simplicial polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 243-250, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wei Zhou 0029, George Labahn |
Computing column bases of polynomial matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 379-386, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier |
Rational univariate representations of bivariate systems and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 109-116, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Arnold |
A new truncated fourier transform algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 15-22, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kurt Mehlhorn, Michael Sagraloff, Pengming Wang 0001 |
From approximate factorization to root isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 283-290, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Clemens G. Raab |
Integration of unspecified functions and families of iterated integrals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 323-330, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vijay Jung Kunwar, Mark van Hoeij |
Second order differential equations with hypergeometric solutions of degree three. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 235-242, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zhengfeng Yang, Lihong Zhi, Yijun Zhu |
Verified error bounds for real solutions of positive-dimensional polynomial systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 371-378, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Victor Y. Pan, Elias P. Tsigaridas |
On the boolean complexity of real root refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 299-306, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Anton Betten |
Rainbow cliques and the classification of small BLT-sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 53-60, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier |
Separating linear forms for bivariate systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 117-124, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Johansson 0001, Manuel Kauers, Marc Mezzarobba |
Finding hyperexponential solutions of linear ODEs by numerical evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 211-218, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li 0002, Guoce Xin |
Hermite reduction and creative telescoping for hyperexponential functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 77-84, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Henry Cohn |
Solving equations with size constraints for the solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 1-2, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yasuhito Kawano, Hiroshi Sekigawa |
Quantum fourier transform over symmetric groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 227-234, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Russell J. Bradford, James H. Davenport, Matthew England 0001, Scott McCallum, David J. Wilson |
Cylindrical algebraic decompositions for boolean combinations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 125-132, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Colton Pauderis, Arne Storjohann |
Computing the invariant structure of integer matrices: fast algorithms into practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 307-314, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Levandovskyy, Grischa Studzinski, Benjamin Schnitzler |
Enhanced computations of gröbner bases in free algebras as a new application of the letterplace paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 259-266, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mariya Bessonov, Alexey Ovchinnikov, Maxwell Shapiro |
Integrability conditions for parameterized linear difference equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 45-52, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yue Ma, Lihong Zhi |
Computing real solutions of polynomial systems via low-rank moment matrix completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 249-256, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Evelyne Hubert, George Labahn |
Rational invariants of scalings from Hermite normal forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 219-226, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Faugère, Jules Svartz |
Solving polynomial systems globally invariant under an action of the symmetric group and application to the equilibria of N vortices in the plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 170-178, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter |
Improving the accuracy of linear programming solvers with iterative refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 187-194, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adam W. Strzebonski, Elias P. Tsigaridas |
Univariate real root isolation in multiple extension fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 343-350, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | James McCarron |
Small homogeneous quandles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 257-264, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Seth Sullivant |
Algebraic statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 11, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Biscani |
Parallel sparse polynomial multiplication on modern hardware architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 83-90, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Mourrain, Philippe Trebuchet |
Border basis representation of a general quotient algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 265-272, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adam W. Strzebonski |
Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 335-342, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Romain Lebreton, Éric Schost |
Algorithms for the universal decomposition algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 234-241, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Raoul Blankertz, Joachim von zur Gathen, Konstantin Ziegler |
Compositions and collisions at degree p2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 91-98, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthew T. Comer, Erich L. Kaltofen, Clément Pernet |
Sparse polynomial interpolation and Berlekamp/Massey algorithms that correct outlier errors in input values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 138-145, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vlad Slavici, Daniel Kunkle, Gene Cooperman, Stephen A. Linton |
An efficient programming model for memory-intensive recursive algorithms using parallel disks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 327-334, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven, Grégoire Lecerf |
On the complexity of multivariate blockwise polynomial multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 211-218, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Berthomieu, Romain Lebreton |
Relaxed p-adic Hensel lifting for algebraic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 59-66, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stavros Garoufalidis, Christoph Koutschan |
Twisting q-holonomic sequences by complex roots of unity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 179-186, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Koiran |
Upper bounds on real roots and lower bounds for the permanent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 8, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maria Emilia Alonso Garcia, André Galligo |
A root isolation algorithm for sparse univariate polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 35-42, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Levandovskyy |
Elements of computer-algebraic analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 9-10, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jean-François Biasse, Claus Fieker |
A polynomial time algorithm for computing the HNF of a module over the integers of a number field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 75-82, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ana Romero 0001, Francis Sergeraert |
Programming before theorizing, a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 289-296, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Danko Adrovic, Jan Verschelde |
Computing Puiseux series for algebraic surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 20-27, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Faugère, Mohab Safey El Din, Pierre-Jean Spaenlehauer |
Critical points and Gröbner bases: the unmixed case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 162-169, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bjarke Hammersholt Roune, Michael Eugene Stillman |
Practical Gröbner basis computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 203-210, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sergei A. Abramov, Denis E. Khmelnov |
On valuations of meromorphic solutions of arbitrary-order linear difference systems with polynomial coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 12-19, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Emeliyanenko, Michael Sagraloff |
On the complexity of solving a bivariate polynomial system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 154-161, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Bruno Salvy, Muhammad F. I. Chowdhury, Éric Schost, Romain Lebreton |
Power series solutions of singular (q)-differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 107-114, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Manuel Kauers, Michael F. Singer |
Telescopers for rational and algebraic functions via residues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 130-137, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Frédéric Chyzak, Bruno Salvy, Ziming Li 0002 |
Fast computation of common left multiples of linear ordinary differential operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 99-106, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha, Jacques-Arthur Weil |
Computing closed form solutions of integrable connections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 43-50, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vikram Sharma 0001, Chee-Keng Yap |
Near optimal tree size bounds on a simple real root isolation algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 319-326, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mingbo Zhang, Yong Luo |
Factorization of differential operators with ordinary differential polynomial coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 359-365, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Masao Ishikawa, Christoph Koutschan |
Zeilberger's holonomic ansatz for Pfaffians. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 227-233, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin R. Albrecht |
The M4RIE library for dense linear algebra over small fields with even characteristic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 28-34, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Françoise Roy |
Complexity of deciding connectivity in real algebraic sets: recent results and future research directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 3-5, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Colton Pauderis, Arne Storjohann |
Deterministic unimodularity certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 281-288, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mustafa Elsheikh, Mark Giesbrecht, Andy Novocin, B. David Saunders |
Fast computation of Smith forms of sparse matrices over local rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 146-153, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luk Bettale, Jean-Charles Faugère, Ludovic Perret |
Solving polynomial systems over finite fields: improved analysis of the hybrid approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 67-74, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Manuel Kauers |
Order-degree curves for hypergeometric creative telescoping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 122-129, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wei Zhou 0029, George Labahn, Arne Storjohann |
Computing minimal nullspace bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 366-373, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven, Mark van Hoeij (eds.) |
International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![ACM, 978-1-4503-1269-1 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Feng Guo 0007, Erich L. Kaltofen, Lihong Zhi |
Certificates of impossibility of Hilbert-Artin representations of a given degree for definite polynomials and functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 195-202, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Moulay A. Barkatou, Clemens G. Raab |
Solving linear ordinary differential systems in hyperexponential extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 51-58, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ákos Seress |
Construction of 2-closed M-representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 311-318, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michael Sagraloff |
When Newton meets Descartes: a simple and fast algorithm to isolate the real roots of a polynomial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 297-304, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Lella |
An efficient implementation of the algorithm computing the Borel-fixed points of a Hilbert scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 242-248, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Volker Strassen |
Asymptotic spectrum and matrix multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 6-7, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Toshinori Oaku |
An algorithm to compute the differential equations for the logarithm of a polynomial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 273-280, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yao Sun 0004, Dingkang Wang, Xiaodong Ma, Yang Zhang |
A signature-based algorithm for computing Gröbner bases in solvable polynomial algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 351-358, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Scheiblechner |
Effective de Rham cohomology: the hypersurface case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 305-310, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bournez, Daniel Silva Graça, Amaury Pouly |
On the complexity of solving initial value problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 115-121, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Frits Beukers |
A-hypergeometric functions: computational aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 1-2, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Cabarcas, Jintai Ding |
Linear algebra to compute syzygies and Gröbner bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 67-74, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen, Michael Nehring, B. David Saunders |
Quadratic-time certificates in linear algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 171-176, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Kauers, Carsten Schneider |
A refined denominator bounding algorithm for multivariate linear difference equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 201-208, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yao Sun 0004, Dingkang Wang |
A generalized criterion for signature related Gröbner basis algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 337-344, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | William Hart, Mark van Hoeij, Andrew Novocin |
Practical polynomial factoring in polynomial time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 163-170, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Prabhanjan Vijendra Ananth, Ambedkar Dukkipati |
Border basis detection is NP-complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 11-18, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Éric Schost, Ioannis Z. Emiris (eds.) |
Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![ACM, 978-1-4503-0675-1 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Jeremy Yrmeyahu Kaminski, Yann Sepulcre |
Using discriminant curves to recover a surface of P4 from two generic linear projections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 187-192, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Bernardi, Jérôme Brachat, Pierre Comon, Bernard Mourrain |
Multihomogeneous polynomial decomposition using moment matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 35-42, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen, Michael Nehring |
Supersparse black box rational function interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 177-186, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Adam W. Strzebonski, Elias P. Tsigaridas |
Univariate real root isolation in an extension field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 321-328, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan M. Borwein, Armin Straub |
Special values of generalized log-sine integrals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 43-50, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tingting Fang, Mark van Hoeij |
2-descent for second order linear differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 107-114, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao 0004 |
Computing with semi-algebraic sets represented by triangular decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 75-82, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Pospelov 0001 |
Fast fourier transforms over poor fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 289-296, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chee-Keng Yap, Michael Sagraloff |
A simple but exact and efficient algorithm for complex root isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 353-360, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yue Ma, Lihong Zhi |
The minimum-rank gram matrix completion via modified fixed point continuation method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 241-248, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Ruyong Feng, Guofeng Fu, Ziming Li 0002 |
On the structure of compatible rational functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 91-98, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aurélien Greuet, Mohab Safey El Din |
Deciding reachability of the infimum of a multivariate polynomial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 131-138, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter Bürgisser |
Probabilistic analysis of condition numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 5-6, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ágnes Szántó |
Hybrid symbolic-numeric methods for the solution of polynomial systems: tutorial overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 9-10, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|