ISSAC

Keyphrases

Publications

2023

James Harold Davenport, Akshar Sajive Nair, Gregory Kumar Sankaran, Ali Kemal Uncu
Lazard-style CAD and Equational Constraints. ISSAC (2023)
Bo Huang
Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems. ISSAC (2023)
Thomas Cluzeau, Camille Pinto, Alban Quadrat
Further results on the computation of the annihilators of integro-differential operators. ISSAC (2023)
Gilles Villard
Elimination ideal and bivariate resultant over finite fields. ISSAC (2023)
Carsten Schneider
Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱. ISSAC (2023)
Yulia Alexandr, Joe Kileel, Bernd Sturmfels
Moment Varieties for Mixtures of Products. ISSAC (2023)
Jose Divasón, Fatemeh Mohammadi, Eduardo Sáenz-de-Cabezón, Henry P. Wynn
Sensitivity analysis of discrete preference functions using Koszul simplicial complexes. ISSAC (2023)
Thierry Combot
Hyperelliptic Integrals to Elliptic Integrals. ISSAC (2023)
Nikhil Srivastava
The Complexity of Diagonalization. ISSAC (2023)
Tian Chen, Michael B. Monagan
A New Black Box Factorization Algorithm - the Non-monic Case. ISSAC (2023)
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023 ISSAC (2023)
Xavier Dahan
Chinese Remainder Theorem for bivariate lexicographic Gröbner bases. ISSAC (2023)
Hao Du, Yiman Gao, Jing Guo, Ziming Li
Computing Logarithmic Parts by Evaluation Homomorphisms✱. ISSAC (2023)
Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din
Refined F5 Algorithms for Ideals of Minors of Square Matrices. ISSAC (2023)
Aditya Ravi, Ilya Volkovich
New Characterization of the Factor Refinement Algorithm with Applications. ISSAC (2023)
Saúl A. Blanco, Daniel E. Skora
An Algorithm to Enumerate Grid Signed Permutation Classes. ISSAC (2023)
Tor Hadas, Oded Schwartz
Towards Practical Fast Matrix Multiplication based on Trilinear Aggregation. ISSAC (2023)
Kosaku Nagasaka
SLRA Interpolation for Approximate GCD of Several Multivariate Polynomials. ISSAC (2023)
Shaoshi Chen, Ruyong Feng, Zewang Guo, Wei Lu
Stability Problems on D-finite Functions. ISSAC (2023)
Riccardo Invernizzi, Daniele Taufer
Multiplication polynomials for elliptic curves over finite local rings. ISSAC (2023)
Laura Kovács
Algebra-Based Loop Analysis. ISSAC (2023)
George Labahn, Cordian Riener, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
Faster real root decision algorithm for symmetric polynomials. ISSAC (2023)
George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. ISSAC (2023)
Alin Bostan, Hadrien Notarantonio, Mohab Safey El Din
Fast Algorithms for Discrete Differential Equations. ISSAC (2023)
Przemyslaw Koprowski, Victor Magron, Tristan Vaccon
Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares. ISSAC (2023)
Rémi Imbach, Guillaume Moroz
Fast evaluation and root finding for polynomials with floating-point coefficients. ISSAC (2023)
Michael A. Burr, Michael Byrd
Certified simultaneous isotopic approximation of pairs of curves via subdivision. ISSAC (2023)
Ruiwen Dong
Termination of linear loops under commutative updates. ISSAC (2023)
Md. Nazrul Islam, Adrien Poteaux, Rémi Prébet
Algorithm for Connectivity Queries on Real Algebraic Curves. ISSAC (2023)
Qiao-Long Huang, Xiao-Shan Gao
New Sparse Multivariate Polynomial Factorization Algorithms over Integers. ISSAC (2023)
Éric Schost, Catherine St-Pierre
p-adic algorithm for bivariate Gröbner bases. ISSAC (2023)
Przemyslaw Koprowski
Factorization and root-finding for polynomials over division quaternion algebras. ISSAC (2023)
Peter Bürgisser
Real zeros of mixed random fewnomial systems. ISSAC (2023)
Rekha R. Thomas
. ISSAC (2023)
Timothy Duff, Viktor Korotynskiy, Tomás Pajdla, Margaret H. Regan
Using monodromy to recover symmetries of polynomial systems. ISSAC (2023)
Robert M. Corless
Blendstrings: an environment for computing with smooth functions. ISSAC (2023)
Florent Bréhard, Adrien Poteaux, Léo Soudant
Validated Root Enclosures for Interval Polynomials with Multiplicities. ISSAC (2023)
Frank Vallentin, Philippe Moustrou
Least distortion Euclidean embeddings of flat tori. ISSAC (2023)
Gorav Jindal, Louis Gaillard
On the Order of Power Series and the Sum of Square Roots Problem. ISSAC (2023)
Sander Gribling, Sven C. Polak, Lucas Slot
A note on the computational complexity of the moment-SOS hierarchy for polynomial optimization. ISSAC (2023)
Stephen Michael Watt
Efficient Generic Quotients Using Exact Arithmetic. ISSAC (2023)
Sayak Chakrabarti, Nitin Saxena
An effective description of the roots of bivariates mod pk and the related Igusa's local zeta function. ISSAC (2023)
Michael A. Burr, Kisun Lee, Anton Leykin
Isolating clusters of zeros of analytic systems using arbitrary-degree inflation. ISSAC (2023)
Shaoshi Chen, Lixin Du, Manuel Kauers
Hermite Reduction for D-finite Functions via Integral Bases. ISSAC (2023)
Manuel Kauers, Christoph Koutschan, Thibaut Verron
Transcendence Certificates for D-finite Functions. ISSAC (2023)
Yossef Musleh, Éric Schost
Computing the Characteristic Polynomial of Endomorphisms of a finite Drinfeld Module using Crystalline Cohomology. ISSAC (2023)
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
A Direttissimo Algorithm for Equidimensional Decomposition. ISSAC (2023)
Tristan Vaccon, Thibaut Verron
Universal Analytic Gröbner Bases and Tropical Geometry. ISSAC (2023)
Irina A. Kogan
Invariants: Computation and Applications. ISSAC (2023)
Sizhuo Yan, Jianting Yang, Tianshi Yu, Lihong Zhi
A Characterization of Perfect Strategies for Mirror Games. ISSAC (2023)