


default search action
ISSAC 2025: Guanajuato, Mexico
- Carlos D'Andrea, Sonia Pérez-Díaz, Santiago Laplagne:

Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation, ISSAC 2025, Guanajuato, Mexico, 28 July 2025 - 1 August 2025. ACM 2025, ISBN 979-8-4007-2075-8
Invited Talk
- Manuel Kauers

:
D-Finiteness: A Success Story. 1-7
Research Articles
- Tianshi Yu

, Lihong Zhi
:
A Noncommutative Nullstellensatz for Perfect Two-Answer Quantum Nonlocal Games. 8-15 - Louis Gaillard

:
A unified approach for degree bound estimates of linear differential operators. 16-24 - Nicolas Faroß

, Sebastian Volz
:
Algorithmic Problems in Categories of Partitions. 25-33 - Przemyslaw Koprowski

, Josnei Novacoski
:
Computing the local group of prime-power classes. 34-41 - Hao Du

, Yiman Gao
, Wenqiao Li
, Ziming Li
:
Complete Reduction for Derivatives in a Primitive Tower. 42-51 - Xiaoliang Li

, Bo Huang
, Ally Quan Zhang
:
Structural Analysis of Oligopoly Equilibria Based on Triangular Decomposition and Cylindrical Algebraic Decomposition: Structural Analysis of Oligopoly Equilibria. 52-61 - Nicolas Faroß

, Thomas Sturm
:
On the Number of Real Types of Univariate Polynomials. 62-69 - Shaoshi Chen

, Manuel Kauers
, Christoph Koutschan
, Xiuyun Li
, Rong-Hua Wang
, Yisen Wang
:
Non-minimality of minimal telescopers explained by residues. 70-78 - Ilias S. Kotsireas

, Ana-Isabel Gómez
, Domingo Gómez-Pérez
:
On properties of Legendre pairs under compression. 79-86 - Michael A. Burr, Michael Byrd, Kisun Lee:

Certified algebraic curve projections by path tracking. 87-96 - Pilar Coscojuela

, Krishna Mahavadi
, Ludovic Perret
, Alex Ryba
, Simona Samardjiska
:
On the complexity of the relative eigenvector problem. 97-105 - Manuel Kauers

, Raphael Pages
:
Bounds for D-Algebraic Closure Properties. 106-113 - Christian G. Böhmer

, Bo Huang
, Dongming Wang
, Xinyu Wang
:
Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations: Jacobi Stability of Systems of Second Order ODEs. 114-122 - Ligeng Fan

, Dingkang Wang
, Fanghui Xiao
, Xiaopeng Zheng
:
Completing Parametric Unimodular Rows to Unimodular Matrices. 123-131 - Jason Yang

:
Faster search for tensor decomposition over finite fields. 132-139 - Robert M. Corless

, Arthur C. Norman
, Tomás Recio
, William J. Turkel
, Stephen M. Watt
:
Symbolic Mathematical Computation 1965-1975: The View from a Half-Century Perspective. 140-149 - Haley Colgate Kottler

, Julia Lindberg
, Jose Israel Rodriguez
:
Method of moments for Gaussian mixtures: Implementation and benchmarks. 150-159 - Qiuye Song

, Chenqi Mou
:
On the Degrees of Reduced Gröbner Bases of Products of Determinantal Ideals. 160-168 - Thomas Cluzeau

, Camille Pinto
, Alban Quadrat
:
Polynomial solutions for general linear polynomial ordinary integro-differential systems. 169-177 - Thomas Cluzeau

, Camille Pinto
, Alban Quadrat
:
An algorithmic proof of the coherence of the ring of polynomial ordinary integro-differential operators. 178-187 - Rocío González-Díaz, Manuel Soriano-Trigueros

, Álvaro Torras-Casas
:
Additive partial matchings for persistent homology. 188-196 - Antony Della Vecchia

, Michael Joswig
, Fabian Lenzen
:
Faster Algebraic Shifting. 197-205 - Matías R. Bender

, Laurent Busé
, Carles Checa
, Elias P. Tsigaridas
:
Solving bihomogeneous polynomial systems with a zero-dimensional projection. 206-214 - Rafael Mohr

, Yulia Mukhina
:
On the Computation of Newton Polytopes of Eliminants. 215-223 - Alaa Ibrahim

:
Positivity Proofs for Linear Recurrences with Several Dominant Eigenvalues. 224-232 - Jakob Moosbauer

, Michael Poole
:
Flip Graphs with Symmetry and New Matrix Multiplication Schemes. 233-239 - Bo Lin

, Kamillo Ferry
, Carlos Améndola
, Anthea Monod
, Ruriko Yoshida
:
Tropical Fréchet Means. 240-248 - François Lemaire

, Louis Roussel
:
Recent Advances on Integral Elimination. 249-257 - Jérémy Berthomieu

, Romain Lebreton
, Kevin Tran
:
Quasi-Linear Guessing of Minimal Lexicographic Gröbner Bases of Ideals of C-Relations of Random Bi-Indexed Sequences. 258-266 - Simone Naldi

, Mohab Safey El Din
, Adrien Taylor
, Weijia Wang
:
Solving generic parametric linear matrix inequalities. 267-276 - Yue Jiao

, Xiaoxian Tang
:
An Efficient Algorithm for Determining the Equivalence of Zero-one Reaction Networks. 277-283 - Thi Xuan Vu

:
Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings. 284-292 - Fatemeh Mohammadi

, Eduardo Sáenz-de-Cabezón
, Henry P. Wynn
:
Redundancy analysis using lcm-filtrations: networks, system signature and sensitivity evaluation. 293-301 - Muhammad Imran Qureshi

:
Terminal Fano 4-folds in low codimension. 302-308 - Diego Armentano

, Leandro Bentancur
, Federico Carrasco
, Marcelo Fiori
, Matías Valdés
, Mauricio Velasco
:
Characterization of Logarithmic Fekete Critical Configurations of at Most Six Points in All Dimensions. 309-318 - Weixun Deng

, J. Maurice Rojas
, Cordelia Russell
:
Optimal Bounds for the Number of Pieces of Real Near-Circuit Hypersurfaces. 319-327 - Juan Pablo Serrano

, Ralihe Raul Villagrán
, Carlos A. Alfaro
, Teresa I. Hoekstra-Mendoza
:
Graphs with two trivial distance ideals over the ring of polynomials with integer coefficients. 328-336 - Elisabeth Leonie Kayser

:
Computational Complexity of Polynomial Subalgebras. 337-344 - Éric Schost

, Jesse Elliott
:
Some Applications of Chinese Remainder Theorem Codes with Error-Correction. 345-352 - Rui-Juan Jing

, Yuzhuo Lei
, Christopher Frank Stephan Maligec
, Marc Moreno Maza
, Chirantan Mukherjee
:
Quantifier Elimination Over the Integers. 353-362 - Adrien Poteaux

, Tristan Vaccon
, Martin Weimann
:
On OM Algorithms and Cluster Pictures. 363-372

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














