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. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mark Boady, Pavel Grinfeld, Jeremy Johnson 0001 |
A term rewriting system for the calculus of moving surfaces. |
ISSAC |
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. |
ISSAC |
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 |
ISSAC |
2013 |
DBLP BibTeX RDF |
|
1 | Erich L. Kaltofen, Zhengfeng Yang |
Sparse multivariate function recovery from values with noise and outlier errors. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jingwei Chen, Damien Stehlé, Gilles Villard |
A new view on HJLS and PSLQ: sums and projections of lattices. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Pierre Lairez, Bruno Salvy |
Creative telescoping for rational functions using the griffiths: dwork method. |
ISSAC |
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. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wei Zhou 0029, George Labahn |
Computing column bases of polynomial matrices. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier |
Rational univariate representations of bivariate systems and applications. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Arnold |
A new truncated fourier transform algorithm. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kurt Mehlhorn, Michael Sagraloff, Pengming Wang 0001 |
From approximate factorization to root isolation. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Clemens G. Raab |
Integration of unspecified functions and families of iterated integrals. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vijay Jung Kunwar, Mark van Hoeij |
Second order differential equations with hypergeometric solutions of degree three. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zhengfeng Yang, Lihong Zhi, Yijun Zhu |
Verified error bounds for real solutions of positive-dimensional polynomial systems. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Victor Y. Pan, Elias P. Tsigaridas |
On the boolean complexity of real root refinement. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Anton Betten |
Rainbow cliques and the classification of small BLT-sets. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier |
Separating linear forms for bivariate systems. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Johansson 0001, Manuel Kauers, Marc Mezzarobba |
Finding hyperexponential solutions of linear ODEs by numerical evaluation. |
ISSAC |
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. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Henry Cohn |
Solving equations with size constraints for the solutions. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yasuhito Kawano, Hiroshi Sekigawa |
Quantum fourier transform over symmetric groups. |
ISSAC |
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. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Colton Pauderis, Arne Storjohann |
Computing the invariant structure of integer matrices: fast algorithms into practice. |
ISSAC |
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. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mariya Bessonov, Alexey Ovchinnikov, Maxwell Shapiro |
Integrability conditions for parameterized linear difference equations. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yue Ma, Lihong Zhi |
Computing real solutions of polynomial systems via low-rank moment matrix completion. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Evelyne Hubert, George Labahn |
Rational invariants of scalings from Hermite normal forms. |
ISSAC |
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. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter |
Improving the accuracy of linear programming solvers with iterative refinement. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adam W. Strzebonski, Elias P. Tsigaridas |
Univariate real root isolation in multiple extension fields. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | James McCarron |
Small homogeneous quandles. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Seth Sullivant |
Algebraic statistics. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Biscani |
Parallel sparse polynomial multiplication on modern hardware architectures. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Mourrain, Philippe Trebuchet |
Border basis representation of a general quotient algebra. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adam W. Strzebonski |
Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Romain Lebreton, Éric Schost |
Algorithms for the universal decomposition algebra. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Raoul Blankertz, Joachim von zur Gathen, Konstantin Ziegler |
Compositions and collisions at degree p2. |
ISSAC |
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. |
ISSAC |
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. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven, Grégoire Lecerf |
On the complexity of multivariate blockwise polynomial multiplication. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Berthomieu, Romain Lebreton |
Relaxed p-adic Hensel lifting for algebraic systems. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stavros Garoufalidis, Christoph Koutschan |
Twisting q-holonomic sequences by complex roots of unity. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Koiran |
Upper bounds on real roots and lower bounds for the permanent. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maria Emilia Alonso Garcia, André Galligo |
A root isolation algorithm for sparse univariate polynomials. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Levandovskyy |
Elements of computer-algebraic analysis. |
ISSAC |
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. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ana Romero 0001, Francis Sergeraert |
Programming before theorizing, a case study. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Danko Adrovic, Jan Verschelde |
Computing Puiseux series for algebraic surfaces. |
ISSAC |
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. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bjarke Hammersholt Roune, Michael Eugene Stillman |
Practical Gröbner basis computation. |
ISSAC |
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. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Emeliyanenko, Michael Sagraloff |
On the complexity of solving a bivariate polynomial system. |
ISSAC |
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. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Manuel Kauers, Michael F. Singer |
Telescopers for rational and algebraic functions via residues. |
ISSAC |
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. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha, Jacques-Arthur Weil |
Computing closed form solutions of integrable connections. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vikram Sharma 0001, Chee-Keng Yap |
Near optimal tree size bounds on a simple real root isolation algorithm. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mingbo Zhang, Yong Luo |
Factorization of differential operators with ordinary differential polynomial coefficients. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Masao Ishikawa, Christoph Koutschan |
Zeilberger's holonomic ansatz for Pfaffians. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin R. Albrecht |
The M4RIE library for dense linear algebra over small fields with even characteristic. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Françoise Roy |
Complexity of deciding connectivity in real algebraic sets: recent results and future research directions. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Colton Pauderis, Arne Storjohann |
Deterministic unimodularity certification. |
ISSAC |
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. |
ISSAC |
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. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Manuel Kauers |
Order-degree curves for hypergeometric creative telescoping. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wei Zhou 0029, George Labahn, Arne Storjohann |
Computing minimal nullspace bases. |
ISSAC |
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 |
ISSAC |
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. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Moulay A. Barkatou, Clemens G. Raab |
Solving linear ordinary differential systems in hyperexponential extensions. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ákos Seress |
Construction of 2-closed M-representations. |
ISSAC |
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. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Lella |
An efficient implementation of the algorithm computing the Borel-fixed points of a Hilbert scheme. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Volker Strassen |
Asymptotic spectrum and matrix multiplication. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Toshinori Oaku |
An algorithm to compute the differential equations for the logarithm of a polynomial. |
ISSAC |
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. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Scheiblechner |
Effective de Rham cohomology: the hypersurface case. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bournez, Daniel Silva Graça, Amaury Pouly |
On the complexity of solving initial value problems. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Frits Beukers |
A-hypergeometric functions: computational aspects. |
ISSAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Cabarcas, Jintai Ding |
Linear algebra to compute syzygies and Gröbner bases. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen, Michael Nehring, B. David Saunders |
Quadratic-time certificates in linear algebra. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Kauers, Carsten Schneider |
A refined denominator bounding algorithm for multivariate linear difference equations. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yao Sun 0004, Dingkang Wang |
A generalized criterion for signature related Gröbner basis algorithms. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | William Hart, Mark van Hoeij, Andrew Novocin |
Practical polynomial factoring in polynomial time. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Prabhanjan Vijendra Ananth, Ambedkar Dukkipati |
Border basis detection is NP-complete. |
ISSAC |
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 |
ISSAC |
2011 |
DBLP BibTeX RDF |
|
1 | Jeremy Yrmeyahu Kaminski, Yann Sepulcre |
Using discriminant curves to recover a surface of P4 from two generic linear projections. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Bernardi, Jérôme Brachat, Pierre Comon, Bernard Mourrain |
Multihomogeneous polynomial decomposition using moment matrices. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen, Michael Nehring |
Supersparse black box rational function interpolation. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Adam W. Strzebonski, Elias P. Tsigaridas |
Univariate real root isolation in an extension field. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan M. Borwein, Armin Straub |
Special values of generalized log-sine integrals. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tingting Fang, Mark van Hoeij |
2-descent for second order linear differential equations. |
ISSAC |
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. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Pospelov 0001 |
Fast fourier transforms over poor fields. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chee-Keng Yap, Michael Sagraloff |
A simple but exact and efficient algorithm for complex root isolation. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yue Ma, Lihong Zhi |
The minimum-rank gram matrix completion via modified fixed point continuation method. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Ruyong Feng, Guofeng Fu, Ziming Li 0002 |
On the structure of compatible rational functions. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aurélien Greuet, Mohab Safey El Din |
Deciding reachability of the infimum of a multivariate polynomial. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter Bürgisser |
Probabilistic analysis of condition numbers. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ágnes Szántó |
Hybrid symbolic-numeric methods for the solution of polynomial systems: tutorial overview. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|