Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Daniel S. Roche |
What Can (and Can't) we Do with Sparse Polynomials? |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maria J. de la Puente, Pedro L. Claveria |
Volume of Alcoved Polyhedra and Mahler Conjecture. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chenqi Mou, Yang Bai |
On the Chordality of Polynomial Sets in Triangular Decomposition in Top-Down Style. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | José Gómez-Torrecillas, Francisco Javier Lobillo, Gabriel Navarro 0001 |
Computing Free Distances of Idempotent Convolutional Codes. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Sturm 0001 |
Thirty Years of Virtual Substitution: Foundations, Techniques, Applications. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Villard |
On Computing the Resultant of Generic Bivariate Polynomials. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Micha Sharir |
Algebraic Techniques in Geometry: The 10th Anniversary. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adam W. Strzebonski |
Comparison of CAD-based Methods for Computation of Rational Function Limits. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Hoffmann, Viktor Levandovskyy |
Constructive Arithmetics in Ore Localizations with Enough Commutativity. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Hulpke |
Constructive Membership Tests in Some Infinite Matrix Groups. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Moulay A. Barkatou, Maximilian Jaroschek |
Desingularization of First Order Linear Difference Systems with Rational Function Coefficients. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Matías R. Bender, Jean-Charles Faugère, Angelos Mantzaflaris, Elias P. Tsigaridas |
Bilinear Systems with Two Supports: Koszul Resultant Matrices, Eigenvalues, and Eigenvectors. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Moulay A. Barkatou, Joelle Saadé, Jacques-Arthur Weil |
A New Approach for Formal Reduction of Singular Linear Differential Systems Using Eigenrings. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Erdal Imamoglu, Erich L. Kaltofen, Zhengfeng Yang |
Sparse Polynomial Interpolation With Arbitrary Orthogonal Polynomial Bases. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Combot, Camilo Sanabria |
A Symplectic Kovacic's Algorithm in Dimension 4. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Wen-Ding Li, Ming-Shing Chen, Po-Chun Kuo, Chen-Mou Cheng, Bo-Yin Yang |
Frobenius Additive Fast Fourier Transform. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mark Giesbrecht, Joseph Haraldson, George Labahn |
Computing Nearby Non-trivial Smith Forms. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama |
On Affine Tropical F5 Algorithms. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniel S. Roche |
Error Correction in Fast Matrix Multiplication and Inverse. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Juan Xu, Michael A. Burr, Chee Yap |
An Approach for Certifying Homotopy Continuation Paths: Univariate Case. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Giorgi, Vincent Neiger |
Certification of Minimal Approximant Bases. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Kapur, Dong Lu, Michael B. Monagan, Yao Sun 0004, Dingkang Wang |
An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Cordian Riener, Mohab Safey El Din |
Real Root Finding for Equivariant Semi-algebraic Systems. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven, Robin Larrieu |
Fast Reduction of Bivariate Polynomials with Respect to Sufficiently Regular Gröbner Bases. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Kauers, Alexey Ovchinnikov, Éric Schost (eds.) |
Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, New York, NY, USA, July 16-19, 2018 |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Matías R. Bender, Jean-Charles Faugère, Elias P. Tsigaridas |
Towards Mixed Gröbner Basis Algorithms: the Multihomogeneous and Sparse Case. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Shivkumar Chandrasekaran, Nithin Govindarajan, Abhejit Rajagopal |
Fast Algorithms for Displacement and Low-Rank Structured Matrices. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nathan Bliss, Timothy Duff, Anton Leykin, Jeff Sommars |
Monodromy Solver: Sequential and Parallel. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Hao Du 0001, Ziming Li 0002 |
Additive Decompositions in Primitive Extensions. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrew J. Sommese |
Polynomial Systems Arising From Discretizing Systems of Nonlinear Differential Equations. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Neiger, Johan Rosenkilde, Grigory Solomatov |
Computing Popov and Hermite Forms of Rectangular Polynomial Matrices. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Toru Aoyama, Masayuki Noro |
Modular Algorithms for Computing Minimal Associated Primes and Radicals of Polynomial Ideals. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dong Lu, Dingkang Wang, Fanghui Xiao, Jie Zhou |
Extending the GVW Algorithm to Local Ring. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Evangelos Bartzos, Ioannis Z. Emiris, Jan Legerský, Elias P. Tsigaridas |
On the Maximal Number of Real Embeddings of Spatial Minimally Rigid Graphs. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Didier Henrion, Simone Naldi, Mohab Safey El Din |
Exact Algorithms for Semidefinite Programs with Degenerate Feasible Set. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi |
On the Complexity of Computing Real Radicals of Polynomial Systems. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stephen A. Linton |
GAP 4 at Twenty-one - Algorithms, System Design and Applications. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Frédéric Chyzak, Pierre Lairez, Bruno Salvy |
Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Guidolin, Ana Romero 0001 |
Effective Computation of Generalized Spectral Sequences. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh |
Enumeration of Complex Golay Pairs via Programmatic SAT. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guillaume Dumas, Clément Pernet |
Symmetric Indefinite Triangular Factorization Revealing the Rank Profile Matrix. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mark Giesbrecht, Joseph Haraldson, George Labahn |
Computing the Nearest Rank-Deficient Matrix Polynomial. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen, Clément Pernet, Arne Storjohann, Cleveland Waddell |
Early Termination in Parametric Linear System Solving and Rational Function Vector Recovery with Error Correction. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Angelos Mantzaflaris, Elias P. Tsigaridas |
Resultants and Discriminants for Bivariate Tensor-Product Polynomials. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hongbo Li 0012, Zhang Li, Yang Li |
Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Georg Grasegger, Thieu N. Vo |
An Algebraic-Geometric Method for Computing Zolotarev Polynomials. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Busé, Ibrahim Nonkané |
Discriminants of Complete Intersection Space Curves. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christian Eder, Gerhard Pfister, Adrian Popescu 0003 |
On Signature-Based Gröbner Bases Over Euclidean Rings. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Amir Hashemi, Werner M. Seiler |
Dimension-Dependent Upper Bounds for Gröbner Bases. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Caruso, David Roe, Tristan Vaccon |
Characteristic Polynomials of p-adic Matrices. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marni Mishna |
Algorithmic Approaches for Lattice Path Combinatorics. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Hoffmann, Viktor Levandovskyy |
A Constructive Approach to Arithmetics in Ore Localizations. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Bahrdt, Martin P. Seybold |
Rational Points on the Unit Sphere: Approximation Complexity and Practical Constructions. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven, Robin Larrieu |
The Frobenius FFT. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael Clausen, Paul Hühne |
Linear Time Fourier Transforms of Sn-k-invariant Functions on the Symmetric Group Sn. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Toru Aoyama |
An Algorithm for Computing Minimal Associated Primes of Binomial Ideals without Producing Redundant Components. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dmitri Piontkovski |
Growth in Varieties of Multioperator Algebras and Groebner Bases in Operads. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Dahan |
Gcd Modulo a Primary Triangular Set of Dimension Zero. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adam W. Strzebonski |
CAD Adjacency Computation Using Validated Numerics. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Caruso, Jérémy Le Borgne |
Fast Multiplication for Skew Polynomials. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rusydi H. Makarim, Marc Stevens 0001 |
M4GB: An Efficient Gröbner-Basis Algorithm. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Neiger, Thi Xuan Vu |
Computing Canonical Bases of Modules of Univariate Relations. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hidenao Iwane, Hirokazu Anai |
Formula Simplification for Real Quantifier Elimination Using Geometric Invariance. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Damien Stehlé |
Lattice Reduction Algorithms. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Parisa Alvandi, Masoud Ataei, Marc Moreno Maza |
On the Extended Hensel Construction and its Application to the Computation of Limit Points. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Khochtali, Johan Rosenkilde, Arne Storjohann |
Popov Form Computation for Matrices of Ore Polynomials. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vishwas Bhargava, Gábor Ivanyos, Rajat Mittal 0001, Nitin Saxena 0001 |
Irreducibility and Deterministic r-th Root Finding over Finite Fields. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yu-Ao Chen, Xiao-Shan Gao |
Criteria for Finite Difference Gröbner Bases of Normal Binomial Difference Ideals. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dong Lu, Xiaodong Ma, Dingkang Wang |
A New Algorithm for General Factorizations of Multivariate Polynomial Matrices. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | John Perry 0001 |
Exploring the Dynamic Buchberger Algorithm. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Kauers, Gleb Pogudin |
Bounds for Substituting Algebraic Functions into D-finite Functions. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tristan Vaccon, Kazuhiro Yokoyama |
A Tropical F5 Algorithm. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael A. Burr, Shuhong Gao, Elias P. Tsigaridas |
The Complexity of an Adaptive Subdivision Method for Approximating Real Curves. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael A. Burr, Chee K. Yap, Mohab Safey El Din (eds.) |
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, Kaiserslautern, Germany, July 25-28, 2017 |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Swaroop N. Prabhakar, Vikram Sharma 0001 |
Improved Bounds on Absolute Positiveness of Multivariate Polynomials. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Mourrain |
Fast Algorithm for Border Bases of Artinian Gorenstein Algebras. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Gélin, Thorsten Kleinjung, Arjen K. Lenstra |
Parametrizations for Families of ECM-Friendly Curves. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Middeke |
Denominator Bounds and Polynomial Solutions for Systems of q-Recurrences over K(t) for Constant K. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Neiger, Johan Rosenkilde, Éric Schost |
Fast Computation of the Roots of Polynomials Over the Ring of Power Series. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gorav Jindal, Michael Sagraloff |
Efficiently Computing Real Roots of Sparse Polynomials. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Russell J. Bradford, James H. Davenport, Matthew England 0001, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm 0001, Andreas Weber 0004 |
A Case Study on the Parametric Occurrence of Multiple Steady States. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Angelos Mantzaflaris, Éric Schost, Elias P. Tsigaridas |
Sparse Rational Univariate Representation. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry A. Lyakhov, Vladimir P. Gerdt, Dominik L. Michels |
Algorithmic Verification of Linearizability for Ordinary Differential Equations. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Claus Fieker, William Hart, Tommy Hofmann, Fredrik Johansson 0001 |
Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hongbo Li 0012 |
Automated Geometric Reasoning with Geometric Algebra: Theory and Practice. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kosaku Nagasaka |
Parametric Greatest Common Divisors using Comprehensive Gröbner Systems. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | James Worrell 0001 |
The Zero Problem for Exponential Polynomials. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guillaume Dumas, Erich L. Kaltofen, Gilles Villard, Lihong Zhi |
Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Z. Emiris, Christos Konaxis, Ilias S. Kotsireas, Clément Laroche |
Matrix Representations by Means of Interpolation. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Humenberger, Maximilian Jaroschek, Laura Kovács |
Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christopher W. Brown 0001 |
Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Koen de Boer, Carlo Pagano |
Calculating the Power Residue Symbol and Ibeta: Applications of Computing the Group Structure of the Principal Units of a p-adic Number Field Completion. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mark van Hoeij |
Closed Form Solutions for Linear Differential and Difference Equations. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guillaume Dumas, David Lucas 0001, Clément Pernet |
Certificates for Triangular Equivalence and Rank Profiles. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Liangyu Chen 0001, Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza |
Big Prime Field FFT on the GPU. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio García-Marco, Pascal Koiran, Timothée Pecatte |
Reconstruction Algorithms for Sums of Affine Powers. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Luiz Emilio Allem, Juliane G. Capaverde, Mark van Hoeij, Jonas Szutkoski |
Functional Decomposition Using Principal Subfields. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Seung Gyu Hyun, Romain Lebreton, Éric Schost |
Algorithms for Structured Linear Systems Solving and Their Implementation. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Sircana |
Factorization of Polynomials over Z/(pn). |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sidi Mohamed Sedjelmaci |
Two Fast Parallel GCD Algorithms of Many Integers. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|