Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Robin Larrieu |
The Truncated Fourier Transform for Mixed Radices. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven, Grégoire Lecerf |
Composition Modulo Powers of Polynomials. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Nebe |
Computing with Arithmetic Groups. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Matías R. Bender, Jean-Charles Faugère, Ludovic Perret, Elias P. Tsigaridas |
A Superfast Randomized Algorithm to Decompose Binary Forms. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Johan Sebastian Rosenkilde, Arne Storjohann |
Algorithms for Simultaneous Padé Approximations. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eric Bach 0001, Bryce Sandlund |
Baby-Step Giant-Step Algorithms for the Symmetric Group. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Clemens G. Raab |
Symbolic Computation of Parameter Integrals. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | J. Ian Munro |
Succinct Data Structures ... Potential for Symbolic Computation? |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Z. Emiris |
Compact Formulae in Sparse Elimination. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Manuel Kauers, Christoph Koutschan |
Reduction-Based Creative Telescoping for Algebraic Functions. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Katsusuke Nabeshima, Katsuyoshi Ohara, Shinichi Tajima |
Comprehensive Gröbner Systems in Rings of Differential Operators, Holonomic D-modules and B-functions. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Juan Gerardo Alcázar, Carlos Hermoso, Georg Muntingh |
Detecting Similarities of Rational Space Curves. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Qing-Hu Hou, George Labahn, Rong-Hua Wang |
Existence Problem of Telescopers: Beyond the Bivariate Case. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Georg Regensburger |
Symbolic Computation with Integro-Differential Operators. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Moulay A. Barkatou, Thomas Cluzeau, Jacques-Arthur Weil, Lucia Di Vizio |
Computing the Lie Algebra of the Differential Galois Group of a Linear Differential System. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Albert Heinle, Viktor Levandovskyy |
A Factorization Algorithm for G-Algebras and Applications. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Kobel, Fabrice Rouillier, Michael Sagraloff |
Computing Real Roots of Real Polynomials ... and now For Real! |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jamal Hossein Poor, Clemens G. Raab, Georg Regensburger |
Algorithmic Operator Algebras via Normal Forms for Tensors. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Wayne Eberly |
Selecting Algorithms for Black Box Matrices: Checking For Matrix Properties That Can Simplify Computations. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Melczer, Bruno Salvy |
Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Schneider |
Symbolic Summation in Difference Rings and Applications. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Berthomieu, Jean-Charles Faugère |
Guessing Linear Recurrence Relations of Sequence Tuplesand P-recursive Sequences with Linear Algebra. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Harvey, Joris van der Hoeven, Grégoire Lecerf |
Fast Polynomial Multiplication over F260. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zhiwei Hao, Erich L. Kaltofen, Lihong Zhi |
Numerical Sparsity Determination and Early Termination. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Neiger |
Fast Computation of Shifted Popov Forms of Polynomial Matrices via Systems of Modular Polynomial Equations. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Caruso, David Roe, Tristan Vaccon |
Division and Slope Factorization of p-Adic Polynomials. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hao Fu, Guo-Niu Han |
Computer Assisted Proof for Apwenian Sequences. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ruben Becker, Michael Sagraloff, Vikram Sharma 0001, Juan Xu, Chee Yap |
Complexity Analysis of Root Clustering for a Complex Polynomial. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Xavier Caruso, Éric Schost |
Computation of the Similarity Class of the p-Curvature. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Lairez, Tristan Vaccon |
On p-Adic Differential Equations with Separation of Variables. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Bonnard, Jean-Charles Faugère, Alain Jacquemard, Mohab Safey El Din, Thibaut Verron |
Determinantal Sets, Singularities and Application to Optimal Control in Medical Imagery. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Simone Naldi |
Solving Rank-Constrained Semidefinite Programs in Exact Arithmetic. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jing-Cao Li, Cheng-Chao Huang, Ming Xu 0010, Zhi-Bin Li 0005 |
Positive Root Isolation for Poly-Powers. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Arnold Neumaier, Damien Stehlé |
Faster LLL-type Reduction of Lattice Bases. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Brice Boyer, Christian Eder, Jean-Charles Faugère, Sylvian Lachartre, Fayssal Martani |
GBLA: Gröbner Basis Linear Algebra Package. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hui Huang |
New Bounds for Hypergeometric Creative Telescoping. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Louis Dumont, Bruno Salvy |
Efficient Algorithms for Mixed Creative Telscoping. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Robert Krone |
Equivariant Gröbner Bases of Symmetric Toric Ideals. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Claude-Pierre Jeannerod, Vincent Neiger, Éric Schost, Gilles Villard |
Fast Computation of Minimal Interpolation Bases in Popov Form for Arbitrary Shifts. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guillaume Dumas, Erich L. Kaltofen, Emmanuel Thomé, Gilles Villard |
Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Gilles Christol, Philippe Dumas 0001 |
Fast Computation of the Nth Term of an Algebraic Series over a Finite Prime Field. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Parisa Alvandi, Mahsa Kazemi, Marc Moreno Maza |
Computing Limits of Real Multivariate Rational Functions. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Masayuki Noro |
System of Partial Differential Equations for the Hypergeometric Function 1F1 of a Matrix Argument on Diagonal Regions. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eric Bach 0001, Rex D. Fernando |
Infinitely Many Carmichael Numbers for a Modified Miller-Rabin Prime Test. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Valérie Berthé, Loïck Lhote, Brigitte Vallée |
Analysis of the Brun Gcd Algorithm. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yi Zhang |
Contraction of Ore Ideals with Applications. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel A. Brake, Jonathan D. Hauenstein, Alan C. Liddell Jr. |
Validating the Completeness of the Real Solution Set of a System of Polynomial Equations. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Léo Ducas, Thomas Prest |
Fast Fourier Orthogonalization. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Clément Pernet |
Computing with Quasiseparable Matrices. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Moroz, Éric Schost |
A Fast Algorithm for Computing the Truncated Resultant. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mohab Safey El Din, Pierre-Jean Spaenlehauer |
Critical Point Computations on Smooth Varieties: Degree and Complexity Bounds. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Richard Gustavson, Alexey Ovchinnikov, Gleb Pogudin |
Bounds for Orders of Derivatives in Differential Elimination Algorithms. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Cornelius Brand, Michael Sagraloff |
On the Complexity of Solving Zero-Dimensional Polynomial Systems via Projection. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Robertz |
Formal Algorithmic Elimination for PDEs. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Z. Emiris, Angelos Mantzaflaris, Elias P. Tsigaridas |
On the Bit Complexity of Solving Bilinear Polynomial Systems. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Faugère, Pierre-Jean Spaenlehauer, Jules Svartz |
Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra |
Solving Generic Nonarchimedean Semidefinite Programs Using Stochastic Game Algorithms. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jiaxiong Hu, Michael B. Monagan |
A Fast Parallel Sparse Polynomial GCD Algorithm. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sergei A. Abramov, Eugene V. Zima, Xiao-Shan Gao (eds.) |
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016 |
ISSAC |
2016 |
DBLP BibTeX RDF |
|
1 | Ming-Deh A. Huang, Lian Liu |
Constructing Small Generating Sets for the Multiplicative Groups of Algebras over Finite Fields. |
ISSAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jesús A. De Loera, Susan Margulies, Michael Pernpeintner, Eric Riedl, David Rolnick, Gwen Spencer, Despina Stasi, Jon Swenson |
Graph-Coloring Ideals: Nullstellensatz Certificates, Gröbner Bases for Chordal Graphs, and Hardness of Gröbner Bases. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Poteaux, Marc Rybowicz |
Improving Complexity Bounds for the Computation of Puiseux Series over Finite Fields. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Vincent Koseleff, Fabrice Rouillier, Cuong Tran 0004 |
On the Sign of a Trigonometric Expression. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Fürst, Günter Landsmann |
Computation of Dimension in Filtered Free Modules by Gröbner Reduction. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Kapur, Yiming Yang |
An Algorithm to Check Whether a Basis of a Parametric Polynomial System is a Comprehensive Gröbner Basis and the Associated Completion Algorithm. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | José Gómez-Torrecillas, Francisco Javier Lobillo, Gabriel Navarro 0001 |
Separable Automorphisms on Matrix Algebras over Finite Field Extensions: Applications to Ideal Codes. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Kauers, Christoph Koutschan |
Integral D-Finite Functions. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vikram Sharma 0001, Prashant Batra |
Near Optimal Subdivision Algorithms for Real Root Isolation. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Erika Ábrahám |
Building Bridges between Symbolic Computation and Satisfiability Checking. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinando Mora |
De Nugis Groebnerialium 4: Zacharias, Spears, Möller. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan D. Hauenstein, Bernard Mourrain, Ágnes Szántó |
Certifying Isolated Singular Points and their Multiplicity Structure. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthew England 0001, Russell J. Bradford, James H. Davenport |
Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Arnold, Erich L. Kaltofen |
Error-Correcting Sparse Interpolation in the Chebyshev Basis. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tristan Vaccon |
Matrix-F5 Algorithms and Tropical Gröbner Bases Computation. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Moulay A. Barkatou, Thomas Cluzeau, Achref Jalouli |
Formal Solutions of Linear Differential Systems with Essential Singularities in their Coefficients. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ankur Moitra |
Nonnegative Matrix Factorization: Algorithms, Complexity and Applications. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Éric Schost |
Algorithms for Finite Field Arithmetic. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | B. David Saunders |
Matrices with Two Nonzero Entries per Row. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Lüders |
Implementation of the DKSS Algorithm for Multiplication of Large Numbers. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hsing-Hau Chen, Ming-Deh A. Huang |
On þ-adic Expansions of Algebraic Integers. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Grenet, Joris van der Hoeven, Grégoire Lecerf |
Randomized Root Finding over Finite FFT-fields using Tangent Graeffe Transforms. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Xavier Caruso, Éric Schost |
A Fast Algorithm for Computing the P-curvature. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christopher W. Brown 0001 |
Open Non-uniform Cylindrical Algebraic Decompositions. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Moulay A. Barkatou, Suzy S. Maddah |
Removing Apparent Singularities of Systems of Linear Differential Equations with Rational Function Coefficients. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato |
Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Volker Diekert, Alexei G. Myasnikov, Armin Weiß |
Amenability of Schreier Graphs and Strongly Generic Algorithms for the Conjugacy Problem. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Van Chiên Bui, Gérard Henry Edmond Duchamp, Vincel Hoang Ngoc Minh |
Structure of Polyzetas and Explicit Representation on Transcendence Bases of Shuffle and Stuffle Algebras. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Bannwarth, Mohab Safey El Din |
Probabilistic Algorithm for Computing the Dimension of Real Algebraic Sets. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhiro Yokoyama, Steve Linton, Daniel Robertz (eds.) |
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015 |
ISSAC |
2015 |
DBLP BibTeX RDF |
|
1 | Jose Israel Rodriguez, Xiaoxian Tang |
Data-Discriminants of Likelihood Equations. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Clément Pernet |
Exact Linear Algebra Algorithmic: Theory and Practice. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lihong Zhi |
Optimization Problems over Noncompact Semialgebraic Sets. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Maulat, Bruno Salvy |
Formulas for Continued Fractions: An Automated Guess and Prove Approach. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Caruso, David Roe, Tristan Vaccon |
p-Adic Stability In Linear Algebra. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Z. Emiris, Christos Konaxis, Zafeirakis Zafeirakopoulos |
Minkowski Decomposition and Geometric Predicates in Sparse Implicitization. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Louis Dumont, Bruno Salvy |
Algebraic Diagonals and Walks. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li 0002 |
A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Berthomieu, Brice Boyer, Jean-Charles Faugère |
Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Hulpke |
Constructing All Composition Series of a Finite Group. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Sturm 0001 |
Subtropical Real Root Finding. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|