default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISSAC 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.
last updated on 2026-05-17 00:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
