ISSAC B

50 papers

YearTitle / Authors
2015A Fast Algorithm for Computing the P-curvature.
Alin Bostan, Xavier Caruso, Éric Schost
2015A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms.
Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li
2015A Relaxed Algorithm for Online Matrix Inversion.
Arne Storjohann, Shiyun Yang
2015Algebraic Diagonals and Walks.
Alin Bostan, Louis Dumont, Bruno Salvy
2015Algorithms for Finite Field Arithmetic.
Éric Schost
2015Amenability of Schreier Graphs and Strongly Generic Algorithms for the Conjugacy Problem.
Volker Diekert, Alexei G. Myasnikov, Armin Weiß
2015An Algorithm to Check Whether a Basis of a Parametric Polynomial System is a Comprehensive Gröbner Basis and the Associated Completion Algorithm.
Deepak Kapur, Yiming Yang
2015An Introduction to Finite Element Methods.
Veronika Pillwein
2015Building Bridges between Symbolic Computation and Satisfiability Checking.
Erika Ábrahám
2015Certifying Isolated Singular Points and their Multiplicity Structure.
Jonathan D. Hauenstein, Bernard Mourrain, Ágnes Szántó
2015Computation of Dimension in Filtered Free Modules by Gröbner Reduction.
Christoph Fürst, Günter Landsmann
2015Computer Algebra Applied to a Solitary Waves Study.
Didier Clamond, Denys Dutykh, André Galligo
2015Computing Hypergeometric Solutions of Second Order Linear Differential Equations using Quotients of Formal Solutions.
Erdal Imamoglu, Mark van Hoeij
2015Computing Logarithmic Vector Fields Associated with Parametric Semi-Quasihomogeneous Hypersurface Isolated Singularities.
Katsusuke Nabeshima, Shinichi Tajima
2015Computing the Rank Profile Matrix.
Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan
2015Constructing All Composition Series of a Finite Group.
Alexander Hulpke
2015Data-Discriminants of Likelihood Equations.
Jose Israel Rodriguez, Xiaoxian Tang
2015De Nugis Groebnerialium 4: Zacharias, Spears, Möller.
Ferdinando Mora
2015Error-Correcting Sparse Interpolation in the Chebyshev Basis.
Andrew Arnold, Erich L. Kaltofen
2015Exact Linear Algebra Algorithmic: Theory and Practice.
Clément Pernet
2015Formal Solutions of Linear Differential Systems with Essential Singularities in their Coefficients.
Moulay A. Barkatou, Thomas Cluzeau, Achref Jalouli
2015Formulas for Continued Fractions: An Automated Guess and Prove Approach.
Sébastien Maulat, Bruno Salvy
2015Graph-Coloring Ideals: Nullstellensatz Certificates, Gröbner Bases for Chordal Graphs, and Hardness of Gröbner Bases.
Jesús A. De Loera, Susan Margulies, Michael Pernpeintner, Eric Riedl, David Rolnick, Gwen Spencer, Despina Stasi, Jon Swenson
2015Green's Functions for Stieltjes Boundary Problems.
Markus Rosenkranz, Nitin Serwa
2015Implementation of the DKSS Algorithm for Multiplication of Large Numbers.
Christoph Lüders
2015Improving Complexity Bounds for the Computation of Puiseux Series over Finite Fields.
Adrien Poteaux, Marc Rybowicz
2015Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition.
Matthew England, Russell J. Bradford, James H. Davenport
2015Integral D-Finite Functions.
Manuel Kauers, Christoph Koutschan
2015Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences.
Jérémy Berthomieu, Brice Boyer, Jean-Charles Faugère
2015Matrices with Two Nonzero Entries per Row.
B. David Saunders
2015Matrix-F5 Algorithms and Tropical Gröbner Bases Computation.
Tristan Vaccon
2015Minkowski Decomposition and Geometric Predicates in Sparse Implicitization.
Ioannis Z. Emiris, Christos Konaxis, Zafeirakis Zafeirakopoulos
2015Near Optimal Subdivision Algorithms for Real Root Isolation.
Vikram Sharma, Prashant Batra
2015Nonnegative Matrix Factorization: Algorithms, Complexity and Applications.
Ankur Moitra
2015On the Sign of a Trigonometric Expression.
Pierre-Vincent Koseleff, Fabrice Rouillier, Cuong Tran
2015On þ-adic Expansions of Algebraic Integers.
Hsing-Hau Chen, Ming-Deh A. Huang
2015Open Non-uniform Cylindrical Algebraic Decompositions.
Christopher W. Brown
2015Optimization Problems over Noncompact Semialgebraic Sets.
Lihong Zhi
2015Optimizing a Parametric Linear Function over a Non-compact Real Algebraic Variety.
Feng Guo, Mohab Safey El Din, Chu Wang, Lihong Zhi
2015Output-Sensitive Algorithms for Sumset and Sparse Polynomial Multiplication.
Andrew Arnold, Daniel S. Roche
2015Probabilistic Algorithm for Computing the Dimension of Real Algebraic Sets.
Ivan Bannwarth, Mohab Safey El Din
2015Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015
Kazuhiro Yokoyama, Steve Linton, Daniel Robertz
2015Randomized Root Finding over Finite FFT-fields using Tangent Graeffe Transforms.
Bruno Grenet, Joris van der Hoeven, Grégoire Lecerf
2015Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems.
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
2015Real Root Finding for Rank Defects in Linear Hankel Matrices.
Didier Henrion, Simone Naldi, Mohab Safey El Din
2015Removing Apparent Singularities of Systems of Linear Differential Equations with Rational Function Coefficients.
Moulay A. Barkatou, Suzy S. Maddah
2015Separable Automorphisms on Matrix Algebras over Finite Field Extensions: Applications to Ideal Codes.
José Gómez-Torrecillas, Francisco Javier Lobillo, Gabriel Navarro
2015Structure of Polyzetas and Explicit Representation on Transcendence Bases of Shuffle and Stuffle Algebras.
Van Chiên Bui, Gérard Henry Edmond Duchamp, Vincel Hoang Ngoc Minh
2015Subtropical Real Root Finding.
Thomas Sturm
2015p-Adic Stability In Linear Algebra.
Xavier Caruso, David Roe, Tristan Vaccon