default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Symbolic Computation, Volume 128
Volume 128, 2025
- Jelle Piepenbrock
, Josef Urban, Konstantin Korovin, Miroslav Olsák, Tom Heskes, Mikolás Janota:
Invariant neural architecture for learning term synthesis in instantiation proving. 102375 - Edvard K. Holden, Konstantin Korovin:
Graph sequence learning for premise selection. 102376 - Rida Ait El Manssour, Anna-Laura Sattelberger, Bertrand Teguia Tabuguia:
D-algebraic functions. 102377 - Weidong Wang, Jing Yang:
Subresultants of several univariate polynomials in Newton basis. 102378 - Sebastian Falkensteiner, Alexey Ovchinnikov, J. Rafael Sendra:
Algorithm for globally identifiable reparametrizations of ODEs. 102385 - Alexey A. Kytmanov, Sergey P. Tsarev:
Asymptotics of solutions of special second-order linear recurrencies with polynomial coefficients and boundary effects of polynomial filters. 102386 - Yosef Berman, Joshua Forrest, Matthew Grote, Alexey Ovchinnikov, Sonia L. Rueda:
Symbolic-numeric algorithm for parameter estimation in discrete-time models with exp. 102387 - Zijia Li, Hans-Peter Schröcker, Johannes Siegele:
A geometric algorithm for the factorization of rational motions in conformal three space. 102388 - Éric Schost, Catherine St-Pierre:
An m-adic algorithm for bivariate Gröbner bases. 102389 - Niels Lubbes:
Self-intersections of surfaces that contain two circles through each point. 102390 - Amir Hashemi, Deepak Kapur:
A new algorithm for Gröbner bases conversion. 102391 - Erik Parkinson, Kate Wall, Jane Slagle, Daniel Treuhaft, Xander de la Bruere, Samuel Goldrup, Timothy Keith, Peter Call, Tyler J. Jarvis:
Chebyshev subdivision and reduction methods for solving multivariable systems of equations. 102392 - Sebastian Debus, Charu Goel, Salma Kuhlmann, Cordian Riener:
On nonnegative invariant quartics in type A. 102393 - Peter Paule, Carsten Schneider:
Creative telescoping for hypergeometric double sums. 102394 - Jane Ivy Coons, Maize Curiel, Elizabeth Gross:
Mixed volumes of networks with binomial steady-states. 102395 - Viktoriia Borovik, Bernd Sturmfels, Svala Sverrisdóttir:
Coupled cluster degree of the Grassmannian. 102396 - Gleb Pogudin:
Persistent components in Canny's generalized characteristic polynomial. 102397 - Luis David García-Puente, Elizabeth Gross, Heather A. Harrington, Matthew D. Johnston, Nicolette Meshkat, Mercedes Pérez Millán, Anne Shiu:
Absolute concentration robustness: Algebra and geometry. 102398 - Renat R. Gontsov, Irina V. Goryuchkina:
On the existence and convergence of formal power series solutions of nonlinear Mahler equations. 102399 - Justin Chen, Marc Härkönen, Anton Leykin:
Local dual spaces and primary decomposition. 102400 - Miguel Ángel Marco-Buzunáriz, Ana Romero:
Computing the homology of universal covers via effective homology and discrete vector fields. 102401
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 2025-01-18 01:11 CET 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:
