default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISSAC 2024: Raleigh, NC, USA
- Jonathan D. Hauenstein, Wen-shin Lee, Shaoshi Chen:
Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, ISSAC 2024, Raleigh, NC, USA, July 16-19, 2024. ACM 2024 - Erich L. Kaltofen
:
Encounters in Symbolic Computation: Ideas for the Ages. 1-7 - Daniel S. Roche:
Corrigimus, verificamus, vincimus: Ensuring algorithmic accuracy in an age of uncertainty. 8-10 - Elizabeth Gross:
Computational algebraic geometry for evolutionary biology. 11-12 - Evelyne Hubert:
Preserving and Exploiting Symmetry in Algebraic Computation. 13 - Pierre Lairez:
Transcendental methods in numerical algebraic geometry. 14-15 - Jean-Guillaume Dumas, Bruno Grenet:
In-place accumulation of fast multiplication formulae. 16-25 - Jean-Guillaume Dumas, Bruno Grenet:
In-place fast polynomial modular remainder. 26-35 - Alexandre Guillemot, Pierre Lairez:
Validated Numerics for Algebraic Path Tracking. 36-45 - Hao Liang, Jingyu Lu, Manolis C. Tsakiris, Lihong Zhi:
Unlabeled Sensing Using Rank-One Moment Matrix Completion. 46-55 - Rizeng Chen, Bican Xia:
Reduction of Transcendental Decision Problems over the Reals. 56-64 - Carlos E. Arreche, Hari P. Sitaula:
Computing discrete residues of rational functions. 65-73 - Qiyuan Chen, Ke Ye:
A quasi-optimal lower bound for skew polynomial multiplication. 74-81 - Shaoshi Chen, Ruyong Feng, Manuel Kauers, Xiuyun Li:
Parallel Summation in P-Recursive Extensions. 82-90 - Ido Nahshon, Amir Shpilka:
New Bounds on Quotient Polynomials with Applications to Exact Division and Divisibility Testing of Sparse Polynomials. 91-99 - Manfred Buchacher, Manuel Kauers:
On the Problem of Separating Variables in Multivariate Polynomial Ideals. 100-107 - Colin Alstad, Michael Burr, Oliver Clarke, Timothy Duff:
Subalgebra and Khovanskii bases equivalence. 108-116 - Thomas Cluzeau, Camille Pinto, Alban Quadrat:
Effective characterization of evaluation ideals of the ring of integro-differential operators. 117-125 - Alexander Levin:
A New Type of Dimension Polynomials of Inversive Difference Field Extensions. 126-133 - Michael B. Monagan, Qiao-Long Huang:
A New Sparse Polynomial GCD by Separating Terms. 134-142 - Taihei Oki, Yujin Song:
Structural Preprocessing Method for Nonlinear Differential-Algebraic Equations Using Linear Symbolic Matrices. 143-152 - Matteo Abbondati, Eleonora Guerrini, Romain Lebreton:
Decoding Simultaneous Rational Evaluation Codes. 153-161 - Cordian Riener, Robin Schabert, Thi Xuan Vu:
Connectivity in Symmetric Semi-Algebraic Sets. 162-169 - Yihang Cheng, Yansong Feng, Yanbin Pan:
Embedding Integer Lattices as Ideals into Polynomial Rings. 170-179 - Bo Huang, Dongming Wang, Jing Yang:
Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation. 180-187 - Moulay A. Barkatou, Lucas Legrand, Tristan Vaccon:
Gröbner Bases Over Polytopal Affinoid Algebras. 188-197 - Nathaniel A. Collins, Joshua A. Grochow, Michael Levet, Armin Weiß:
Constant Depth Circuit Complexity for Generating Quasigroups. 198-207 - Zhaoxing Qi, Chenqi Mou:
Complexity Analysis of Triangular Decomposition over F_2 with Strongly Chordal Graphs. 208-216 - Chris La Valle, Josué Tonelli-Cueto:
Some Lower Bounds on the Reach of an Algebraic Variety. 217-225 - Xiuquan Ding, Dingkang Wang, Fanghui Xiao, Xiaopeng Zheng:
An Algorithm for Computing Greatest Common Right Divisors of Parametric Ore Polynomials. 226-233 - Mariya Bessonov, Ilia Ilmer, Tatiana Konstantinova, Alexey Ovchinnikov, Gleb Pogudin, Pedro Soto:
Faster Groebner bases for Lie derivatives of ODE systems via monomial orderings. 234-243 - Dongming Wang, Linpeng Wang:
Decomposition of Polynomial Ideals into Triangular Regular Sequences. 244-253 - Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic:
Strassen's algorithm is not optimally accurate. 254-263 - Erich L. Kaltofen, Zhi-Hong Yang:
Sparse Polynomial Interpolation With Error Correction: Higher Error Capacity by Randomization. 264-273 - Timothy Duff, Kisun Lee:
Certified homotopy tracking using the Krawczyk method. 274-282 - Saúl A. Blanco, Daniel E. Skora:
Enumerating polynomial colored permutation classes. 283-291 - Yamato Arai, Yuma Ichikawa, Koji Hukushima:
Adaptive Flip Graph Algorithm for Matrix Multiplication. 292-298 - Zihao Dai, Zijia Li, Zhi-Hong Yang, Lihong Zhi:
Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets. 299-306 - Jérémy Berthomieu, Rafael Mohr:
Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting. 307-315 - Lucas Michel, Pierre Mathonet, Naïm Zénaïdi:
On Minimal and Minimum Cylindrical Algebraic Decompositions. 316-323 - Khalil Ghorbal, Maxime Bridoux:
Automated Reasoning For The Existence Of Darboux Polynomials. 324-333 - Gabriel Mattos Langeloh:
Exploring the Geometric Buchberger Algorithm in Integer Programming. 334-341 - Thierry Combot, Camilo Sanabria:
Liouvillian Solutions of Third Order Differential Equations. 342-350 - Rui-Juan Jing, Marc Moreno Maza, Yan-Feng Xie, Chun-Ming Yuan:
Efficient detection of redundancies in systems of linear inequalities✱. 351-360 - Timo de Wolff, Janin Heuer:
Initial Application of SONC to Lyapunov Stability of Dynamical Systems. 361-370 - Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet:
Algebraic Tools for Computing Polynomial Loop Invariants. 371-381 - Antonio Jiménez-Pastor, Ali Kemal Uncu:
Factorial Basis Method for q-Series Applications. 382-390 - Yameen Ajani, Curtis Bright:
SAT and Lattice Reduction for Integer Factorization. 391-399 - Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din:
Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations. 400-409 - Shahriar Iravanian, Shashi Gowda, Christopher Rackauckas:
Hybrid Symbolic-Numeric and Numerically-Assisted Symbolic Integration. 410-418 - Vincent Neiger, Clément Pernet, Gilles Villard:
Computing Krylov iterates in the time of matrix multiplication. 419-428 - Weixun Deng, Alperen Ali Ergür, Grigoris Paouris, J. Maurice Rojas:
Feasibility of Circuit Polynomials without Purple Swans: Feasibility without Purple Swans. 429-436 - Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray, Daniel S. Roche:
Fast interpolation and multiplication of unbalanced polynomials. 437-446 - Louis Gaillard, Mohab Safey El Din:
Solving parameter-dependent semi-algebraic systems. 447-456 - Heba Bou Kaedbey, Mark van Hoeij, Man Cheung Tsui:
Solving Third Order Linear Difference Equations in Terms of Second Order Equations. 457-463
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 2025-04-27 18:07 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:
