default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24th CASC 2022, Gebze, Turkey
- François Boulier
, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings. Lecture Notes in Computer Science 13366, Springer 2022, ISBN 978-3-031-14787-6 - Michael N. Vrahatis:
Survey on Generalizations of the Intermediate Value Theorem and Applications. 1-17 - Sergei A. Abramov, Denis E. Khmelnov, Anna A. Ryabenko:
On Truncated Series Involved in Exponential-Logarithmic Solutions of Truncated LODEs. 18-28 - Mohammadali Asadi, Alexander Brandt, David J. Jeffrey, Marc Moreno Maza:
Subresultant Chains Using Bézout Matrices. 29-50 - Andrei V. Banshchikov:
Application of Symbolic-Numerical Modeling Tools for Analysis of Gyroscopic Stabilization of Gyrostat Equilibria. 51-61 - Franz Brauße, Pieter Collins, Martin Ziegler:
Computer Science for Continuous Data - Survey, Vision, Theory, and Practice of a Computer Analysis System. 62-82 - Hara Charalambous, Kostas Karagiannis, Sotiris Karanikolopoulos, Aristides Kontogeorgis:
Computational Aspects of Equivariant Hilbert Series of Canonical Rings for Algebraic Curves. 83-102 - Algirdas Deveikis, Alexander Gusev, Sergue I. Vinitsky, Yuri A. Blinkov, Andrzej Gózdz, Aleksandra Pedrak, Peter O. Hess:
Symbolic-Numeric Algorithm for Calculations in Geometric Collective Model of Atomic Nuclei. 103-123 - Mingyu Dong, Chenqi Mou:
Analyses and Implementations of Chordality-Preserving Top-Down Algorithms for Triangular Decomposition. 124-142 - Rémi Imbach, Victor Y. Pan:
Accelerated Subdivision for Clustering Roots of Polynomials Given by Evaluation Oracles. 143-164 - Valentin Irtegov, Tatiana Titorenko:
On Equilibrium Positions in the Problem of the Motion of a System of Two Bodies in a Uniform Gravity Field. 165-184 - Ayoola Jinadu, Michael B. Monagan:
An Interpolation Algorithm for Computing Dixon Resultants. 185-205 - Elizaveta Kalinina, Alexei Uteshev:
Distance Evaluation to the Set of Matrices with Multiple Eigenvalues. 206-224 - Markus Lange-Hegermann, Daniel Robertz:
On Boundary Conditions Parametrized by Analytic Functions. 225-245 - Marc Moreno Maza, Linxiao Wang:
Computing the Integer Hull of Convex Polyhedral Sets. 246-267 - Philipp Nuspl, Veronika Pillwein:
A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences. 268-287 - Alexander N. Prokopenya:
Stability Analysis of Periodic Motion of the Swinging Atwood Machine. 288-299 - Tereso del Río, Matthew England:
New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis. 300-317 - Daisuke Takahashi:
An Implementation of Parallel Number-Theoretic Transform Using Intel AVX-512 Instructions. 318-332 - Jan Verschelde, Kylash Viswanathan:
Locating the Closest Singularity in a Polynomial Homotopy. 333-352 - Evgenii V. Vorozhtsov, Sergey P. Kiselev:
A General Method of Finding New Symplectic Schemes for Hamiltonian Mechanics. 353-376 - Zhenbing Zeng, Yaochen Xu, Yu Chen, Zhengfeng Yang:
A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions. 377-396
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 2026-05-18 23:22 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:
