ISSAC B

49 papers

YearTitle / Authors
2021A Complexity Chasm for Solving Univariate Sparse Polynomial Equations Over p-adic Fields.
J. Maurice Rojas, Yuyu Zhu
2021A Zero Test for σ-algebraic Power Series.
Joris van der Hoeven, Gleb Pogudin
2021Algorithms for Linearly Recurrent Sequences of Truncated Polynomials.
Seung Gyu Hyun, Vincent Neiger, Éric Schost
2021Amortized Bivariate Multi-point Evaluation.
Joris van der Hoeven, Grégoire Lecerf
2021Calcium: Computing in Exact Real and Complex Fields.
Fredrik Johansson
2021Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure.
Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng
2021Completion in Operads via Essential Syzygies.
Philippe Malbos, Isaac Ren
2021Comprehensive Characteristic Decomposition of Parametric Polynomial Systems.
Rina Dong, Dong Lu, Chenqi Mou, Dongming Wang
2021Computer Algebra in the Service of Enumerative Combinatorics.
Alin Bostan
2021Computing Characteristic Polynomials of p-Curvatures in Average Polynomial Time.
Raphaël Pagès
2021Computing Grothendieck Point Residues via Solving Holonomic Systems of First Order Partial Differential Equations.
Shinichi Tajima, Katsusuke Nabeshima
2021Computing Higher Polynomial Discriminants.
Erich L. Kaltofen
2021Computing Real Radicals by Moment Optimization.
Lorenzo Baldi, Bernard Mourrain
2021Computing Valuations of the Dieudonné Determinants.
Taihei Oki
2021Computing the Characteristic Polynomial of Generic Toeplitz-like and Hankel-like Matrices.
Pierre Karpman, Clément Pernet, Hippolyte Signargout, Gilles Villard
2021Computing the Dimension of Real Algebraic Sets.
Pierre Lairez, Mohab Safey El Din
2021Criteria for Hopf Bifurcations with Fixed Multiplicities.
Ryoya Fukasaku
2021Cyclotomic Identity Testing and Applications.
Nikhil Balaji, Sylvain Perifel, Mahsa Shirmohammadi, James Worrell
2021Design and Implementation of Multi-Threaded Algorithms in Polynomial Algebra.
Marc Moreno Maza
2021Differential Equations for Feynman Integrals.
Pierre Vanhove
2021Elementary Integration of Superelliptic Integrals.
Thierry Combot
2021Equivalences for Linearizations of Matrix Polynomials.
Robert M. Corless, Leili Rafiee Sevyeri, B. David Saunders
2021Extending the Fundamental Theorem of Linear Programming for Strict Inequalities.
Jasper Nalbach, Erika Ábrahám, Gereon Kremer
2021Fast Computation of Hyperelliptic Curve Isogenies in Odd Characteristic.
Elie Eid
2021Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations.
Huu Phuoc Le, Mohab Safey El Din
2021Generalized Gröbner Bases and New Properties of Multivariate Difference Dimension Polynomials.
Alexander Levin
2021Hermite Interpolation With Error Correction: Fields of Zero or Large Characteristic and Large Error Rate.
Erich L. Kaltofen, Clément Pernet, Zhi-Hong Yang
2021ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021
Frédéric Chyzak, George Labahn
2021Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions.
Shaoshi Chen, Lixin Du, Manuel Kauers
2021Massively Parallel Computations in Algebraic Geometry.
Janko Böhm, Anne Frühbis-Krüger
2021New Developments of Mathematics Mechanization.
Xiao-Shan Gao
2021Novel Range Functions via Taylor Expansions and Recursive Lagrange Interpolation with Application to Real Root Isolation.
Kai Hormann, Lucas Kania, Chee Yap
2021On C
Antonio Jiménez-Pastor, Philipp Nuspl, Veronika Pillwein
2021On Exact Division and Divisibility Testing for Sparse Polynomials.
Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray
2021On FGLM Algorithms with Tate Algebras.
Xavier Caruso, Tristan Vaccon, Thibaut Verron
2021On Two Signature Variants of Buchberger's Algorithm over Principal Ideal Domains.
Maria Francis, Thibaut Verron
2021On the Smallest Ratio Problem of Lattice Bases.
Jianwei Li
2021Polynomial Linear System Solving with Random Errors: New Bounds and Early Termination Technique.
Eleonora Guerrini, Romain Lebreton, Ilaria Zappatore
2021Positive Existential Definability with Unit, Addition and Coprimeness.
Mikhail R. Starchak
2021Separability Problems in Creative Telescoping.
Shaoshi Chen, Ruyong Feng, Pingchuan Ma, Michael F. Singer
2021Simple Differentially Definable Functions.
Antonio Jiménez-Pastor
2021Solving Linear Difference Equations with Coefficients in Rings with Idempotent Representations.
Jakob Ablinger, Carsten Schneider
2021Sparse Multiplication of Multivariate Linear Differential Operators.
Mark Giesbrecht, Qiao-Long Huang, Éric Schost
2021The Anisotropic Part of a Quadratic Form over a Global Function Field.
Mawunyo Kofi Darkey-Mensah, Przemyslaw Koprowski, Beata Rothkegel
2021The Constant Trace Property in Noncommutative Optimization.
Ngoc Hoang Anh Mai, Abhishek Bhardwaj, Victor Magron
2021The Tensor Rank of 5x5 Matrices Multiplication is Bounded by 98 andIts Border Rank by 89.
Alexandre Sedoglavic, Alexey V. Smirnov
2021Two New Ways to Formally Prove Dandelin-Gallucci's Theorem.
David Braun, Nicolas Magaud, Pascal Schreck
2021Wilf Classes of Non-symmetric Operads.
Andrey T. Cherkasov, Dmitri Piontkovski
2021msolve: A Library for Solving Polynomial Systems.
Jérémy Berthomieu, Christian Eder, Mohab Safey El Din