Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
a service of 
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 2024-05-05 01:02 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:
