ISSAC B

50 papers

YearTitle / Authors
20112-descent for second order linear differential equations.
Tingting Fang, Mark van Hoeij
2011A generalized criterion for signature related Gröbner basis algorithms.
Yao Sun, Dingkang Wang
2011A refined denominator bounding algorithm for multivariate linear difference equations.
Manuel Kauers, Carsten Schneider
2011A simple but exact and efficient algorithm for complex root isolation.
Chee-Keng Yap, Michael Sagraloff
2011Algebraic analysis on asymptotic stability of continuous dynamical systems.
Zhikun She, Bai Xue, Zhiming Zheng
2011Algorithms for computing triangular decompositions of polynomial systems.
Changbo Chen, Marc Moreno Maza
2011An algorithm for computing set-theoretic generators of an algebraic variety.
Leilei Guo, Feng Liu
2011An automatic parallelization framework for algebraic computation systems.
Yue Li, Gabriel Dos Reis
2011Approximate rational solutions torational ODEs defined on discrete differentiable curves.
Hongbo Li, Ruiyong Sun, Shoubin Yao, Ge Li
2011Border basis detection is NP-complete.
Prabhanjan Vijendra Ananth, Ambedkar Dukkipati
2011Computational aspects of elliptic curves and modular forms.
Victor S. Miller
2011Computing a structured Gröbner basis approximately.
Kosaku Nagasaka
2011Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously.
Deepak Kapur, Yao Sun, Dingkang Wang
2011Computing hermite forms of polynomial matrices.
Somit Gupta, Arne Storjohann
2011Computing with semi-algebraic sets represented by triangular decomposition.
Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao
2011Deciding reachability of the infimum of a multivariate polynomial.
Aurélien Greuet, Mohab Safey El Din
2011Deflation and certified isolation of singular zeros of polynomial systems.
Angelos Mantzaflaris, Bernard Mourrain
2011Detecting genus in vertex links for the fast enumeration of 3-manifold triangulations.
Benjamin A. Burton
2011Diversification improves interpolation.
Mark Giesbrecht, Daniel S. Roche
2011Division polynomials for Jacobi quartic curves.
Dustin Moody
2011Efficient real root approximation.
Michael Kerber, Michael Sagraloff
2011Fast algorithm for change of ordering of zero-dimensional Gröbner bases with sparse multiplication matrices.
Jean-Charles Faugère, Chenqi Mou
2011Fast fourier transforms over poor fields.
Alexey Pospelov
2011Formal first integrals along solutions of differential systems I.
Ainhoa Aparicio-Monforte, Moulay A. Barkatou, Sergi Simon, Jacques-Arthur Weil
2011Generating subfields.
Mark van Hoeij, Jürgen Klüners, Andrew Novocin
2011Hybrid symbolic-numeric methods for the solution of polynomial systems: tutorial overview.
Ágnes Szántó
2011Linear algebra to compute syzygies and Gröbner bases.
Daniel Cabarcas, Jintai Ding
2011Multihomogeneous polynomial decomposition using moment matrices.
Alessandra Bernardi, Jérôme Brachat, Pierre Comon, Bernard Mourrain
2011Normalization of row reduced matrices.
Soumojit Sarkar, Arne Storjohann
2011Numeric-symbolic exact rational linear system solver.
B. David Saunders, David Harlan Wood, Bryan S. Youse
2011On Rota's problem for linear operators in associative algebras.
Li Guo, William Y. Sit, Ronghua Zhang
2011On the structure of compatible rational functions.
Shaoshi Chen, Ruyong Feng, Guofeng Fu, Ziming Li
2011Practical polynomial factoring in polynomial time.
William Hart, Mark van Hoeij, Andrew Novocin
2011Probabilistic analysis of condition numbers.
Peter Bürgisser
2011Quadratic-time certificates in linear algebra.
Erich L. Kaltofen, Michael Nehring, B. David Saunders
2011Randomized preconditioning of the MBA algorithm.
Victor Y. Pan, Guoliang Qian, Ailong Zheng
2011Recent progress in linear algebra and lattice basis reduction.
Gilles Villard
2011Signature-based algorithms to compute Gröbner bases.
Christian Eder, John Edward Perry
2011Space-efficient Gröbner basis computation without degree bounds.
Ernst W. Mayr, Stephan Ritscher
2011Sparse differential resultant.
Wei Li, Xiao-Shan Gao, Chun-Ming Yuan
2011Special values of generalized log-sine integrals.
Jonathan M. Borwein, Armin Straub
2011Supersparse black box rational function interpolation.
Erich L. Kaltofen, Michael Nehring
2011Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings
Éric Schost, Ioannis Z. Emiris
2011The concrete tetrahedron.
Manuel Kauers
2011The minimum-rank gram matrix completion via modified fixed point continuation method.
Yue Ma, Lihong Zhi
2011Univariate real root isolation in an extension field.
Adam W. Strzebonski, Elias P. Tsigaridas
2011Using discriminant curves to recover a surface of P
Jeremy Yrmeyahu Kaminski, Yann Sepulcre
2011Vector rational number reconstruction.
Curtis Bright, Arne Storjohann
2011Verification and synthesis using real quantifier elimination.
Thomas Sturm, Ashish Tiwari
2011Virtual roots of a real polynomial and fractional derivatives.
Daniel Bembé, André Galligo