ISSAC

Publications

2024

Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, ISSAC 2024, Raleigh, NC, USA, July 16-19, 2024 ISSAC (2024)
Timothy Duff, Kisun Lee
Certified homotopy tracking using the Krawczyk method. ISSAC (2024)
Mariya Bessonov, Ilia Ilmer, Tatiana Konstantinova, Alexey Ovchinnikov, Gleb Pogudin, Pedro Soto
Faster Groebner bases for Lie derivatives of ODE systems via monomial orderings. ISSAC (2024)
Jean-Guillaume Dumas, Bruno Grenet
In-place fast polynomial modular remainder. ISSAC (2024)
Manfred Buchacher, Manuel Kauers
On the Problem of Separating Variables in Multivariate Polynomial Ideals. ISSAC (2024)
Jean-Guillaume Dumas, Bruno Grenet
In-place accumulation of fast multiplication formulae. ISSAC (2024)
Louis Gaillard, Mohab Safey El Din
Solving parameter-dependent semi-algebraic systems. ISSAC (2024)
Cordian Riener, Robin Schabert, Thi Xuan Vu
Connectivity in Symmetric Semi-Algebraic Sets. ISSAC (2024)
Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
Algebraic Tools for Computing Polynomial Loop Invariants. ISSAC (2024)
Alexandre Guillemot, Pierre Lairez
Validated Numerics for Algebraic Path Tracking. ISSAC (2024)
Michael B. Monagan, Qiao-Long Huang
A New Sparse Polynomial GCD by Separating Terms. ISSAC (2024)
Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din
Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations. ISSAC (2024)
Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic
Strassen's algorithm is not optimally accurate. ISSAC (2024)
Zihao Dai, Zijia Li, Zhi-Hong Yang, Lihong Zhi
Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets. ISSAC (2024)
Rizeng Chen, Bican Xia
Reduction of Transcendental Decision Problems over the Reals. ISSAC (2024)
Hao Liang, Jingyu Lu, Manolis C. Tsakiris, Lihong Zhi
Unlabeled Sensing Using Rank-One Moment Matrix Completion. ISSAC (2024)
Alexander Levin
A New Type of Dimension Polynomials of Inversive Difference Field Extensions. ISSAC (2024)
Chris La Valle, Josué Tonelli-Cueto
Some Lower Bounds on the Reach of an Algebraic Variety. ISSAC (2024)
Erich L. Kaltofen, Zhi-Hong Yang
Sparse Polynomial Interpolation With Error Correction: Higher Error Capacity by Randomization. ISSAC (2024)
Carlos E. Arreche, Hari P. Sitaula
Computing discrete residues of rational functions. ISSAC (2024)
Ido Nahshon, Amir Shpilka
New Bounds on Quotient Polynomials with Applications to Exact Division and Divisibility Testing of Sparse Polynomials. ISSAC (2024)
Thierry Combot, Camilo Sanabria
Liouvillian Solutions of Third Order Differential Equations. ISSAC (2024)
Pierre Lairez
Transcendental methods in numerical algebraic geometry. ISSAC (2024)
Matteo Abbondati, Eleonora Guerrini, Romain Lebreton
Decoding Simultaneous Rational Evaluation Codes. ISSAC (2024)
Rui-Juan Jing, Marc Moreno Maza, Yan-Feng Xie, Chun-Ming Yuan
Efficient detection of redundancies in systems of linear inequalities✱. ISSAC (2024)
Khalil Ghorbal, Maxime Bridoux
Automated Reasoning For The Existence Of Darboux Polynomials. ISSAC (2024)
Thomas Cluzeau, Camille Pinto, Alban Quadrat
Effective characterization of evaluation ideals of the ring of integro-differential operators. ISSAC (2024)
Zhaoxing Qi, Chenqi Mou
Complexity Analysis of Triangular Decomposition over F_2 with Strongly Chordal Graphs. ISSAC (2024)
Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray, Daniel S. Roche
Fast interpolation and multiplication of unbalanced polynomials. ISSAC (2024)
Dongming Wang, Linpeng Wang
Decomposition of Polynomial Ideals into Triangular Regular Sequences. ISSAC (2024)
Yamato Arai, Yuma Ichikawa, Koji Hukushima
Adaptive Flip Graph Algorithm for Matrix Multiplication. ISSAC (2024)
Shaoshi Chen, Ruyong Feng, Manuel Kauers, Xiuyun Li
Parallel Summation in P-Recursive Extensions. ISSAC (2024)
Yameen Ajani, Curtis Bright
SAT and Lattice Reduction for Integer Factorization. ISSAC (2024)
Moulay A. Barkatou, Lucas Legrand, Tristan Vaccon
Gröbner Bases Over Polytopal Affinoid Algebras. ISSAC (2024)
Xiuquan Ding, Dingkang Wang, Fanghui Xiao, Xiaopeng Zheng
An Algorithm for Computing Greatest Common Right Divisors of Parametric Ore Polynomials. ISSAC (2024)
Elizabeth Gross
Computational algebraic geometry for evolutionary biology. ISSAC (2024)
Taihei Oki, Yujin Song
Structural Preprocessing Method for Nonlinear Differential-Algebraic Equations Using Linear Symbolic Matrices. ISSAC (2024)
Timo de Wolff, Janin Heuer
Initial Application of SONC to Lyapunov Stability of Dynamical Systems. ISSAC (2024)
Evelyne Hubert
Preserving and Exploiting Symmetry in Algebraic Computation. ISSAC (2024)
Daniel S. Roche
Corrigimus, verificamus, vincimus: Ensuring algorithmic accuracy in an age of uncertainty. ISSAC (2024)
Vincent Neiger, Clément Pernet, Gilles Villard
Computing Krylov iterates in the time of matrix multiplication. ISSAC (2024)
Shahriar Iravanian, Shashi Gowda, Christopher Rackauckas
Hybrid Symbolic-Numeric and Numerically-Assisted Symbolic Integration. ISSAC (2024)
Lucas Michel, Pierre Mathonet, Naïm Zénaïdi
On Minimal and Minimum Cylindrical Algebraic Decompositions. ISSAC (2024)
Qiyuan Chen, Ke Ye
A quasi-optimal lower bound for skew polynomial multiplication. ISSAC (2024)
Saúl A. Blanco, Daniel E. Skora
Enumerating polynomial colored permutation classes. ISSAC (2024)
Erich L. Kaltofen
Encounters in Symbolic Computation: Ideas for the Ages. ISSAC (2024)
Jérémy Berthomieu, Rafael Mohr
Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting. ISSAC (2024)
Nathaniel A. Collins, Joshua A. Grochow, Michael Levet, Armin Weiß
Constant Depth Circuit Complexity for Generating Quasigroups. ISSAC (2024)
Weixun Deng, Alperen Ali Ergür, Grigoris Paouris, J. Maurice Rojas
Feasibility of Circuit Polynomials without Purple Swans: Feasibility without Purple Swans. ISSAC (2024)
Antonio Jiménez-Pastor, Ali Kemal Uncu
Factorial Basis Method for q-Series Applications. ISSAC (2024)