Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Leilei Guo, Feng Liu |
An algorithm for computing set-theoretic generators of an algebraic variety. |
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 | Curtis Bright, Arne Storjohann |
Vector rational number reconstruction. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kosaku Nagasaka |
Computing a structured Gröbner basis approximately. |
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 | Angelos Mantzaflaris, Bernard Mourrain |
Deflation and certified isolation of singular zeros of polynomial systems. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kerber, Michael Sagraloff |
Efficient real root approximation. |
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 | B. David Saunders, David Harlan Wood, Bryan S. Youse |
Numeric-symbolic exact rational linear system solver. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Zhikun She, Bai Xue 0001, Zhiming Zheng 0001 |
Algebraic analysis on asymptotic stability of continuous dynamical systems. |
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 | Mark van Hoeij, Jürgen Klüners, Andrew Novocin |
Generating subfields. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dustin Moody |
Division polynomials for Jacobi quartic curves. |
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 | Victor S. Miller |
Computational aspects of elliptic curves and modular forms. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hongbo Li 0012, Ruiyong Sun, Shoubin Yao, Ge Li |
Approximate rational solutions torational ODEs defined on discrete differentiable curves. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Kauers |
The concrete tetrahedron. |
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 | Daniel Bembé, André Galligo |
Virtual roots of a real polynomial and fractional derivatives. |
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 | Wei Li 0056, Xiao-Shan Gao, Chun-Ming Yuan |
Sparse differential resultant. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Sturm 0001, Ashish Tiwari 0001 |
Verification and synthesis using real quantifier elimination. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Somit Gupta, Arne Storjohann |
Computing hermite forms of polynomial matrices. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Li Guo 0003, William Y. Sit, Ronghua Zhang |
On Rota's problem for linear operators in associative algebras. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mark Giesbrecht, Daniel S. Roche |
Diversification improves 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 | 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 | Deepak Kapur, Yao Sun 0004, Dingkang Wang |
Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Soumojit Sarkar, Arne Storjohann |
Normalization of row reduced matrices. |
ISSAC |
2011 |
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 | Ashish Tiwari 0001 |
Theory of reals for verification and synthesis of hybrid dynamical systems. |
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 | 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 | 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 | Feng Guo 0007, 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 | Manuel Kauers, Veronika Pillwein |
When can we detect that a P-finite sequence is positive? |
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 | Marc Mezzarobba |
NumGfun: a package for numerical and analytic computation with D-finite functions. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sharon Hutton, Erich L. 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 | Thomas Sturm 0001, Christoph Zengler |
Parametric quantified SAT solving. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Kapur, Yao Sun 0004, Dingkang Wang |
A new algorithm for computing comprehensive Gröbner systems. |
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 | Nicolas Brisebarre, Mioara Joldes |
Chebyshev interpolation polynomial-based tools for rigorous computing. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Evelyne Hubert |
Algebraic invariants and their differential algebras. |
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 | Dima Grigoriev, Fritz Schwarz |
Absolute factoring of non-holonomic ideals in the plane. |
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 | Sergei A. Abramov |
On some decidable and undecidable problems related to q-difference equations with parameters. |
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 | Shuhong Gao, Yinhua Guan, Frank Volny |
A new incremental algorithm for computing Groebner bases. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li 0002 |
Complexity of creative telescoping for bivariate rational functions. |
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 | Bjarke Hammersholt Roune |
A Slice algorithm for corners and Hilbert-Poincaré series of monomial ideals. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bodrato |
A Strassen-like matrix multiplication suited for squaring and higher power computation. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Steve Linton, Kevin Hammond, Alexander Konovalov 0001, 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 | Claude-Pierre Jeannerod, Christophe Mouilleron |
Computing specified generators of structured matrix inverses. |
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 | Mark van Hoeij, Giles Levy |
Liouvillian solutions of irreducible second order linear difference equations. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Z. Emiris, Bernard Mourrain, Elias P. Tsigaridas |
The DMM bound: multivariate (aggregate) separation bounds. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christopher W. Brown 0001, Adam W. Strzebonski |
Black-box/white-box simplification and applications to quantifier elimination. |
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 | David Harvey, Daniel S. Roche |
An in-place truncated fourier transform and applications to polynomial multiplication. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin E. 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 | 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 | Alberto Zanoni |
Iterative Toom-Cook methods for very unbalanced long integer multiplication. |
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 | Sergey P. Tsarev |
Transformation and factorization of partial differential systems: applications to stochastic systems. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao 0004 |
Triangular decomposition of semi-algebraic systems. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Z. Emiris, André Galligo, Elias P. Tsigaridas |
Random polynomials and expected complexity of bisection methods for real solving. |
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 | 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 | 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 | Yongjae Cha, Mark van Hoeij, Giles Levy |
Solving recurrence relations using local invariants. |
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 | Manuel Kauers, Carsten Schneider |
Partial denominator bounds for partial linear difference equations. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Gerhard |
Asymptotically fast algorithms for modern computer algebra. |
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 | Xiaoran Shi, Falai Chen |
Computing the singularities of rational space curves. |
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 | Wolfram Koepf (eds.) |
Symbolic and Algebraic Computation, International Symposium, ISSAC 2010, Munich, Germany, July 25-28, 2010, Proceedings |
ISSAC |
2010 |
DBLP BibTeX RDF |
|
1 | Hoon Hong, Mohab Safey El Din |
Variant real quantifier elimination: algorithm and application. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
quantifier elimination, polynomial systems, real solutions |
1 | Yongjae Cha, Mark van Hoeij |
Liouvillian solutions of irreducible linear difference equations. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
liouvillian solutions, difference equations |
1 | Markus Püschel |
Automatic synthesis of high performance mathematical programs. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
parallelization, domain-specific language, automation, vectorization, high performance, fourier transform, matrix algebra, rewriting, program generation |
1 | Wei Zhou 0029, George Labahn |
Efficient computation of order bases. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
order basis, complexity |
1 | Akira Terui |
An iterative method for calculating approximate GCD of univariate polynomials. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
approximate polynomial gcd, gradient-projection method, optimization, ill-conditioned problem |
1 | Yosuke Sato, Akira Suzuki |
Computation of inverses in residue class rings of parametric polynomial ideals. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
primary decomposition, saturation ideal |
1 | Gábor Ivanyos, Marek Karpinski, Nitin Saxena 0001 |
Schemes for deterministic polynomial factoring. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
grh, schemes, polynomial factoring, representation theory |
1 | Anna Maria Bigatti, Eduardo Sáenz-de-Cabezón |
Computation of the (n-1)-st Koszul Homology of monomialideals and related algorithms. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
cocoalib, irreducible decomposition, koszul homology, monomial ideal, stanley decomposition, betti numbers |
1 | Alexandre Benoît, Bruno Salvy |
Chebyshev expansions for solutions of linear differential equations. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
chebyshev series, ore polynomials |
1 | Jin-San Cheng, Xiao-Shan Gao, Jia Li 0023 |
Root isolation for bivariate polynomial systems with local generic position method. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
bivariate polynomial system, generic position, root bound, root isolation |
1 | Frédéric Bihan, J. Maurice Rojas, Casey E. Stella |
Faster real feasibility via circuit discriminants. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
discriminant chamber, linear forms in logarithms, real, polynomial-time, sparse, feasibility |
1 | Jean-Charles Faugère, Sajjad Rahmany |
Solving systems of polynomial equations with symmetries using SAGBI-Gröbner bases. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
invariant ring, sagbi-groebner, symmetric polynomials, groebner basis, f5 algorithm |
1 | Daniel Kunkle, Gene Cooperman |
Biased tadpoles: a fast algorithm for centralizers in large matrix groups. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
conjugator, group order, tadpole, centralizer, matrix groups |
1 | Brice Boyer, Jean-Guillaume Dumas, Clément Pernet, Wei Zhou |
Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
memory placement, strassen-winograd's algorithm, matrix multiplication |
1 | Arne Storjohann |
Integer matrix rank certification. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
integer matrix, las vegas, rank |
1 | Frédéric Chyzak, Manuel Kauers, Bruno Salvy |
A non-holonomic systems approach to special function identities. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
d-finite functions, symbolic summation and integration |
1 | Jean-Guillaume Dumas, Clément Pernet, B. David Saunders |
On finding multiplicities of characteristic polynomial factors of black-box matrices. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
finite field, characteristic polynomial, black-box matrix |
1 | Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara |
Solution of algebraic riccati equations using the sum of roots. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
algebraic riccati equation, gröbner basis, polynomial spectral factorization, sum of roots, control theory |
1 | Adam W. Strzebonski |
Real root isolation for tame elementary functions. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
real root isolation, solving equations, elementary functions |