Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Symbolic Computation, Volume 115
Volume 115, March 2023
- Tipaluck Krityakierne
, Thotsaporn "Aek" Thanatipanonda:
The card guessing game: A generating function approach. 1-17 - Tsz Yung Cheung:
Liouvillian solutions of Whittaker-Ince equation. 18-38 - Przemyslaw Koprowski, Beata Rothkegel:
The anisotropic part of a quadratic form over a number field. 39-52 - Sebastian Falkensteiner, Cristhian Garay-López, Mercedes Haiech, Marc Paul Noordman, François Boulier, Zeinab Toghani:
On initials and the fundamental theorem of tropical partial differential algebraic geometry. 53-73 - Guillaume Melquiond, Raphaël Rieu-Helft:
WhyMP, a formally verified arbitrary-precision integer library. 74-95 - Alin Bostan, Sergey Yurkevich:
Fast computation of the N-th term of a q-holonomic sequence and applications. 96-123 - Teresa Cortadellas Benítez, Carlos D'Andrea, M. Eulalia Montoro:
Bounds for degrees of syzygies of polynomials defining a grade two ideal. 124-141 - Josué Tonelli-Cueto, Elias P. Tsigaridas:
Condition numbers for the cube. I: Univariate polynomials and hypersurfaces. 142-173 - Erick Rodríguez Bazan, Evelyne Hubert:
Symmetry in multivariate ideal interpolation. 174-200 - Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid:
Computing free non-commutative Gröbner bases over Z with Singular: Letterplace. 201-222 - Angelos Mantzaflaris, Bernard Mourrain, Ágnes Szántó:
A certified iterative method for isolated singular roots. 223-247 - Dingkang Wang, Hesong Wang, Jingjing Wei, Fanghui Xiao:
An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form. 248-265 - Dong Lu, Dingkang Wang, Fanghui Xiao:
New remarks on the factorization and equivalence problems for a class of multivariate polynomial matrices. 266-284 - Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic:
Some fast algorithms multiplying a matrix by its adjoint. 285-315 - Dima Grigoriev:
Tropical Newton-Puiseux polynomials II. 316-319 - Jose Capco, Mohab Safey El Din, Josef Schicho:
Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics. 320-345 - Victor Magron, Jie Wang:
SONC optimization and exact nonnegativity certificates via second-order cone programming. 346-370 - Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie:
Parallelization of triangular decompositions: Techniques and implementation. 371-406 - Anton Leykin, Pierre Lairez:
Foreword. 407-408 - Edgar A. Bernal, Jonathan D. Hauenstein, Dhagash Mehta, Margaret H. Regan, Tingting Tang:
Machine learning the real discriminant locus. 409-426 - Christina Katsamaki, Fabrice Rouillier, Elias P. Tsigaridas, Zafeirakis Zafeirakopoulos:
PTOPO: Computing the geometry and the topology of parametric curves. 427-451 - Timothy Duff, Michael Ruddy:
Signatures of algebraic curves via numerical algebraic geometry. 452-477 - Yang-Hui He, Kyu-Hwan Lee, Thomas Oliver:
Machine learning invariants of arithmetic curves. 478-491 - Bo Huang, Chee Yap:
An algorithmic approach to small limit cycles of nonlinear differential systems: The averaging method revisited. 492-517
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-07-20 21:27 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:
