![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Symbolic Computation, Volume 116
Volume 116, May 2023
- Jiakang Bao
, Yang-Hui He, Edward Hirst
:
Neurons on amoebae. 1-38 - Pratik Dongre, Benjamin Drabkin, Josiah Lim, Ethan Partida, Ethan Roy, Dylan Ruff, Alexandra Seceleanu
, Tingting Tang:
Computing rational powers of monomial ideals. 39-57 - Rong-Hua Wang, Michael X. X. Zhong:
q-Rational reduction and q-analogues of series for π. 58-71 - Jesse Elliott, Mark Giesbrecht, Éric Schost:
Bit complexity for computing one point in each connected component of a smooth real algebraic set. 72-97 - Pascal Giorgi, Bruno Grenet
, Armelle Perret du Cray:
Polynomial modular product verification and its implications. 98-129 - Miklós Bóna
, Jay Pantone
:
Permutations avoiding sets of patterns with long monotone subsequences. 130-138 - Derek Holt, Yong Yang
:
Regular orbits of finite primitive solvable groups, the final classification. 139-145 - Stavros Birmpilis, George Labahn, Arne Storjohann
:
A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix. 146-182 - Katherine Harris, Jonathan D. Hauenstein
, Ágnes Szántó:
Smooth points on semi-algebraic sets. 183-212 - Julia Q. D. Du, Dazhao Tang:
Proofs of five conjectures on matching coefficients of Baruah, Das and Schlosser by an algorithmic approach. 213-242 - Claus Fieker, Nicole Sutherland
:
Computing splitting fields using Galois theory and other Galois constructions. 243-262 - Julian Vill
:
Gram spectrahedra of ternary quartics. 263-283 - Taihei Oki:
Computing valuations of the Dieudonné determinants. 284-323 - Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng:
Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure. 324-344 - Eleonora Guerrini, Kamel Lairedj, Romain Lebreton, Ilaria Zappatore:
Simultaneous Rational Function Reconstruction with errors: Handling multiplicities and poles. 345-364 - Jean-Charles Faugère, George Labahn, Mohab Safey El Din, Éric Schost, Thi Xuan Vu:
Computing critical points for invariant algebraic systems. 365-399 - Antonio Jiménez-Pastor, Philipp Nuspl, Veronika Pillwein:
An extension of holonomic sequences: C2-finite sequences. 400-424 - Frédéric Chyzak, George Labahn:
Special issue on Symbolic and Algebraic Computation: ISSAC 2021. 425-426
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.