default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematics in Computer Science, Volume 18
Volume 18, Number 1, March 2024
- Jean-Luc Baril, Javier F. González, José Luis Ramírez:
Last Symbol Distribution in Pattern Avoiding Catalan Words. 1 - Thierry N. Dana-Picard:
Inflexions of Spiric Curves: A Tale of Two Tori. 2 - Carles Checa
, Ioannis Z. Emiris:
Mixed Subdivisions Suitable for the Greedy Canny-Emiris Formula. 3 - Sitanshu Gakkhar, Matilde Marcolli:
Syntactic Structures and the General Markov Models. 4
Volume 18, Number 2, July 2024
- David Henneaux, Pierre Schrooyen, Philippe Chatelain, Thierry E. Magin:
A General Methodology for Symbolically Generating Manufactured Solutions Satisfying Prescribed Conditions: Application to Two-phase Flows Equations. 5 - Peter Mitic:
A Credibility Framework for Extreme Value-at-Risk. 6 - Teresa Augusta Mesquita:
On a General Family of 2-Orthogonal Polynomial Eigenfunctions of a Third Order Differential Equation via Symbolic Computation. 7 - Nilson J. Lima, José M. A. Matos, Paulo B. Vasconcelos:
Solving Partial Differential Problems with Tau Toolbox. 8 - Nilson J. Lima, José A. O. Matos, Paulo B. Vasconcelos:
A Low-Rank Matrix Approach to Compute Polynomial Approximations of Smooth Two-Dimensional Functions. 9 - Shalosh B. Ekhad, Doron Zeilberger:
Experimenting with Standard Young Tableaux. 10 - Berina Celic, Klaus Kieseberg, Bernhard Garn, Dimitris E. Simos:
Disaster Incident Analysis via Algebra Stories. 11 - Mahdi Dehghani Darmian:
Improvement of an Incremental Signature-Based Comprehensive Gröbner System Algorithm. 12 - Zélia da Rocha:
Brauer and Geršgorin Locations of Zeros of Perturbed Chebyshev Polynomials of the Second Kind by Dilation. 13
Volume 18, Number 3, October 2024
- Shinichi Tajima, Katsusuke Nabeshima:
A Deterministic Method for Computing Bertini Type Invariants of Parametric Ideals. 14 - Alexander Levin:
New Difference Gröbner Bases and Bivariate Difference Dimension Polynomials. 15 - Johannes Middeke, David J. Jeffrey, Aishat Olagunju:
Applications of Rational Orthogonal Matrices. 16 - Tereso del Río, Matthew England:
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD. 17 - Mehmet Pakdemirli, Ihsan Timuçin Dolapçi:
Solution Curves of Equations in the Differential Space. 18
Volume 18, Number 4, December 2024
- Anahy Santiago Arguello, Guillaume E. Scholz, Peter F. Stadler:
Core Potentials: The Consensus Segmentation Conjecture. 19 - Bernhard Andraschko, Julian Danner, Martin Kreuzer:
SAT Solving Using XOR-OR-AND Normal Forms. 20 - Diogo A. Gomes, Friedemann Krannich, Bashayer Majrashi, Ricardo de Lima Ribeiro:
Algorithmic Detection of Conserved Quantities for Finite-Difference Schemes. 21 - Alexander Batkhin, Zafar Khaydarov:
Resonances and Formal Stability Investigation in Hamiltonian Systems. 22
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-02-26 20:36 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:
