- Mark Giesbrecht, Qiao-Long Huang, Éric Schost:
Sparse multiplication for skew polynomials. ISSAC 2020: 194-201 - Pascal Giorgi, Bruno Grenet
, Armelle Perret du Cray:
Essentially optimal sparse polynomial multiplication. ISSAC 2020: 202-209 - Pascal Giorgi, Bruno Grenet, Daniel S. Roche:
Fast in-place algorithms for polynomial operations: division, evaluation, interpolation. ISSAC 2020: 210-217 - Friedemann Groh:
Subdivisions for macaulay formulas of sparse systems. ISSAC 2020: 218-225 - Eleonora Guerrini, Romain Lebreton, Ilaria Zappatore:
On the uniqueness of simultaneous rational function reconstruction. ISSAC 2020: 226-233 - Andrew Hone:
Efficient ECM factorization in parallel with the lyness map. ISSAC 2020: 234-240 - Bo Huang:
Algorithmic averaging for studying periodic orbits of planar differential systems. ISSAC 2020: 241-248 - Rémi Imbach, Victor Y. Pan:
New progress in univariate polynomial root finding. ISSAC 2020: 249-256 - Yuki Ishihara:
Modular techniques for effective localization and double ideal quotient. ISSAC 2020: 265-272 - Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama:
On FGLM algorithms with tropical Gröbner bases. ISSAC 2020: 257-264 - Gorav Jindal, Anurag Pandey, Himanshu Shukla, Charilaos Zisopoulos:
How many zeros of a random sparse polynomial are real? ISSAC 2020: 273-280 - Christina Katsamaki, Fabrice Rouillier, Elias P. Tsigaridas, Zafeirakis Zafeirakopoulos:
On the geometry and the topology of parametric curves. ISSAC 2020: 281-288 - George Kenison, Richard Lipton, Joël Ouaknine, James Worrell:
On the skolem problem and prime powers. ISSAC 2020: 289-296 - Huu Phuoc Le, Mohab Safey El Din, Timo de Wolff:
Computing the real isolated points of an algebraic hypersurface. ISSAC 2020: 297-304 - Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid:
Computation of free non-commutative gröbner bases over Z with Singular: Letterplace. ISSAC 2020: 312-319 - Viktor Levandovskyy, Hans Schönemann, Karim Abou Zeid:
Letterplace: a subsystem of singular for computations with free algebras via letterplace embedding. ISSAC 2020: 305-311 - Alexander Levin:
Some properties of multivariate differential dimension polynomials and their invariants. ISSAC 2020: 320-327 - Lek-Heng Lim, Ke Ye:
Ubiquity of the exponent of matrix multiplication. ISSAC 2020: 8-11 - Dong Lu, Dingkang Wang, Fanghui Xiao:
Further results on the factorization and equivalence for multivariate polynomial matrices. ISSAC 2020: 328-335 - Angelos Mantzaflaris, Bernard Mourrain, Ágnes Szántó:
Punctual Hilbert scheme and certified approximate singularities. ISSAC 2020: 336-343 - Axel Mathieu-Mahias, Michaël Quisquater:
Fast multipoint evaluation and interpolation of polynomials in the LCH-basis over FPr. ISSAC 2020: 344-351 - Guillaume Melquiond, Raphaël Rieu-Helft:
WhyMP, a formally verified arbitrary-precision integer library. ISSAC 2020: 352-359 - Alexei Miasnikov, Andrey Nikolaev:
On parameterized complexity of the word search problem in the Baumslag-Gersten group. ISSAC 2020: 360-363 - Chenqi Mou:
On the chordality of ordinary differential triangular decomposition in top-down style. ISSAC 2020: 364-371 - Kosaku Nagasaka:
Approximate GCD by bernstein basis, and its applications. ISSAC 2020: 372-379 - Simone Naldi, Vincent Neiger:
A divide-and-conquer algorithm for computing gröbner bases of syzygies in finite dimension. ISSAC 2020: 380-387 - Vincent Neiger, Johan Rosenkilde, Grigory Solomatov:
Generic bivariate multi-point evaluation, interpolation and modular composition with precomputation. ISSAC 2020: 388-395 - Rafael Oliveira:
Conditional lower bounds on the spectrahedral representation of explicit hyperbolicity cones. ISSAC 2020: 396-401 - Frank Sottile:
General witness sets for numerical algebraic geometry. ISSAC 2020: 418-425 - Hiroshi Teramoto, Katsusuke Nabeshima:
Parametric standard system for mixed module and its application to singularity theory. ISSAC 2020: 426-433
