| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Victor S. Miller |
Computational aspects of elliptic curves and modular forms.  |
ISSAC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dustin Moody |
Division polynomials for Jacobi quartic curves. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Erich Kaltofen, Michael Nehring |
Supersparse black box rational function interpolation. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Li, Gabriel Dos Reis |
An automatic parallelization framework for algebraic computation systems. |
ISSAC |
2011 |
DBLP DOI 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 | Thomas Sturm, Ashish Tiwari |
Verification and synthesis using real quantifier elimination. |
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 | Peter Bürgisser |
Probabilistic analysis of condition numbers. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Soumojit Sarkar, Arne Storjohann |
Normalization of row reduced matrices. |
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 | B. David Saunders, David Harlan Wood, Bryan S. Youse |
Numeric-symbolic exact rational linear system solver. |
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 | Michael Kerber, Michael Sagraloff |
Efficient real root approximation. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leilei Guo, Feng Liu |
An algorithm for computing set-theoretic generators of an algebraic variety. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark van Hoeij, Jürgen Klüners, Andrew Novocin |
Generating subfields. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yao Sun, Dingkang Wang |
A generalized criterion for signature related Gröbner basis algorithms. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Villard |
Recent progress in linear algebra and lattice basis reduction. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelos Mantzaflaris, Bernard Mourrain |
Deflation and certified isolation of singular zeros of polynomial systems. |
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 | Adam W. Strzebonski, Elias P. Tsigaridas |
Univariate real root isolation in an extension field. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Bembé, André Galligo |
Virtual roots of a real polynomial and fractional derivatives. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Pospelov |
Fast fourier transforms over poor fields. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kosaku Nagasaka |
Computing a structured Gröbner basis approximately. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Y. Pan, Guoliang Qian, Ailong Zheng |
Randomized preconditioning of the MBA algorithm. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhikun She, Bai Xue, Zhiming Zheng |
Algebraic analysis on asymptotic stability of continuous dynamical systems. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Erich Kaltofen, Michael Nehring, B. David Saunders |
Quadratic-time certificates in linear algebra. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Kauers |
The concrete tetrahedron. |
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 |
|
| 1 | Jean-Charles Faugère, Chenqi Mou |
Fast algorithm for change of ordering of zero-dimensional Gröbner bases with sparse multiplication matrices. |
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 | Ainhoa Aparicio-Monforte, Moulay A. Barkatou, Sergi Simon, Jacques-Arthur Weil |
Formal first integrals along solutions of differential systems I. |
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 | Ernst W. Mayr, Stephan Ritscher |
Space-efficient Gröbner basis computation without degree bounds. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Guo, William Y. Sit, Ronghua Zhang |
On Rota's problem for linear operators in associative algebras. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin A. Burton |
Detecting genus in vertex links for the fast enumeration of 3-manifold triangulations. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Changbo Chen, Marc Moreno Maza |
Algorithms for computing triangular decompositions of polynomial systems. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Curtis Bright, Arne Storjohann |
Vector rational number reconstruction. |
ISSAC |
2011 |
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 | Christian Eder, John Edward Perry |
Signature-based algorithms to compute Gröbner bases. |
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 | Tingting Fang, Mark van Hoeij |
2-descent for second order linear differential equations. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Somit Gupta, Arne Storjohann |
Computing hermite forms of polynomial matrices. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Yao Sun, Dingkang Wang |
Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Li, Xiao-Shan Gao, Cum-Ming Yuan |
Sparse differential resultant. |
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 | Hongbo Li, Ruiyong Sun, Shoubin Yao, Ge Li |
Approximate rational solutions torational ODEs defined on discrete differentiable curves. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Giesbrecht, Daniel S. Roche |
Diversification improves interpolation. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaoshi Chen, Ruyong Feng, Guofeng Fu, Ziming Li |
On the structure of compatible rational functions. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao |
Computing with semi-algebraic sets represented by triangular decomposition. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Gerhard |
Asymptotically fast algorithms for modern computer algebra. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Kauers, Veronika Pillwein |
When can we detect that a P-finite sequence is positive? |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Charles Faugère, Mohab Safey El Din, Pierre-Jean Spaenlehauer |
Computing loci of rank defects of linear matrices using Gröbner bases and applications to cryptology. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Linton, Kevin Hammond, Alexander Konovalov, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond |
Easy composition of symbolic computation software: a new lingua franca for symbolic computation. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Charles Faugère, Joachim von zur Gathen, Ludovic Perret |
Decomposition of generic multivariate polynomials. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wayne Eberly |
Yet another block Lanczos algorithm: how to simplify the computation and reduce reliance on preconditioners in the small field case. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao |
Triangular decomposition of semi-algebraic systems. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Mezzarobba |
NumGfun: a package for numerical and analytic computation with D-finite functions. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude-Pierre Jeannerod, Christophe Mouilleron |
Computing specified generators of structured matrix inverses. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Kauers, Carsten Schneider |
Partial denominator bounds for partial linear difference equations. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | S. P. Tsarev |
Transformation and factorization of partial differential systems: applications to stochastic systems. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Berkesch, Anton Leykin |
Algorithms for Bernstein-Sato polynomials and multiplier ideals. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfram Koepf (eds.) |
Symbolic and Algebraic Computation, International Symposium, ISSAC 2010, Munich, Germany, July 25-28, 2010, Proceedings |
ISSAC |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marco Bodrato |
A Strassen-like matrix multiplication suited for squaring and higher power computation. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Costanza Conti, Luca Gemignani, Lucia Romani |
Solving Bezout-like polynomial equations for the design of interpolatory subdivision schemes. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Rupp |
Symbolic integration at compile time in finite element methods. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li |
Complexity of creative telescoping for bivariate rational functions. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Evelyne Hubert |
Algebraic invariants and their differential algebras. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir P. Gerdt, Daniel Robertz |
Consistency of finite difference approximations for linear PDE systems and its algorithmic verification. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam W. Strzebonski |
Computation with semialgebraic sets represented by cylindrical algebraic formulas. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zijia Li, Zhengfeng Yang, Lihong Zhi |
Blind image deconvolution via fast approximate GCD. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Zanoni |
Iterative Toom-Cook methods for very unbalanced long integer multiplication. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vlad Slavici, Xin Dong 0004, Daniel Kunkle, Gene Cooperman |
Fast multiplication of large permutations for disk, flash memory and RAM. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Yao Sun, Dingkang Wang |
A new algorithm for computing comprehensive Gröbner systems. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Moulay A. Barkatou, Carole El Bacha, Eckhard Pflügel |
Simultaneously row- and column-reduced higher-order linear differential systems. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | S. A. Abramov |
On some decidable and undecidable problems related to q-difference equations with parameters. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Avendano, Ashraf Ibrahim, J. Maurice Rojas, Korben Rusek |
Randomized NP-completeness for p-adic rational roots of sparse polynomials in one variable. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuhong Gao, Yinhua Guan, Frank Volny |
A new incremental algorithm for computing Groebner bases. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sevilla, Daniel Wachsmuth |
Polynomial integration on regions defined by a triangle and a conic. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim von zur Gathen, Mark Giesbrecht, Konstantin Ziegler |
Composition collisions and projective polynomials: statement of results. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Y. Pan, Ailong Zheng |
Real and complex polynomial root-finding with eigen-solving and preprocessing. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher W. Brown, Adam W. Strzebonski |
Black-box/white-box simplification and applications to quantifier elimination. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharon Hutton, Erich Kaltofen, Lihong Zhi |
Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg's method. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongjae Cha, Mark van Hoeij, Giles Levy |
Solving recurrence relations using local invariants. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Brisebarre, Mioara Joldes |
Chebyshev interpolation polynomial-based tools for rigorous computing. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Moulay A. Barkatou |
Symbolic methods for solving systems of linear ordinary differential equations. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | François Lemaire, Asli Ürgüplü |
A method for semi-rectifying algebraic and differential systems using scaling type lie point symmetries with linear algebra. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst W. Mayr, Stephan Ritscher |
Degree bounds for Gröbner bases of low-dimensional polynomial ideals. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dima Grigoriev, Fritz Schwarz |
Absolute factoring of non-holonomic ideals in the plane. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark van Hoeij, Giles Levy |
Liouvillian solutions of irreducible second order linear difference equations. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark van Hoeij, Quan Yuan |
Finding all bessel type solutions for linear differential equations with rational function coefficients. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Verification methods: rigorous results using floating-point arithmetic. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Majid Khonji, Clément Pernet, Jean-Louis Roch, Thomas Roche, Thomas Stalinski |
Output-sensitive decoding for redundant residue systems. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoran Shi, Falai Chen |
Computing the singularities of rational space curves. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harvey, Daniel S. Roche |
An in-place truncated fourier transform and applications to polynomial multiplication. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Guo, Mohab Safey El Din, Lihong Zhi |
Global optimization of polynomials using generalized critical values and sums of squares. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Sottile, Ravi Vakil, Jan Verschelde |
Solving schubert problems with Littlewood-Richardson homotopies. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari |
Theory of reals for verification and synthesis of hybrid dynamical systems. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bjarke Hammersholt Roune |
A Slice algorithm for corners and Hilbert-Poincaré series of monomial ideals. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Sturm, Christoph Zengler |
Parametric quantified SAT solving. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")