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