default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd CASC 2020: Linz, Austria
- François Boulier
, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings. Lecture Notes in Computer Science 12291, Springer 2020, ISBN 978-3-030-60025-9 - Ovidiu Radulescu:
Tropical Geometry of Biological Systems (Invited Talk). 1-13 - Werner M. Seiler, Matthias Seiß:
Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk). 14-41 - Simon Abelard:
On the Complexity of Computing Integral Bases of Function Fields. 42-62 - Sergei A. Abramov, Denis E. Khmelnov, Anna A. Ryabenko:
Truncated and Infinite Power Series in the Role of Coefficients of Linear Ordinary Differential Equations. 63-76 - Edik A. Ayryan, Mikhail D. Malykh, Leonid A. Sevastianov, Yu Ying:
On Periodic Approximate Solutions of the Three-Body Problem Found by Conservative Difference Schemes. 77-90 - Marco Bodrato, Alberto Zanoni:
Univariate Polynomials with Long Unbalanced Coefficients as Bivariate Balanced Ones: A Toom-Cook Multiplication Approach. 91-107 - Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza:
Power Series Arithmetic with the BPAS Library. 108-128 - Christopher W. Brown, Scott McCallum:
Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition. 129-149 - Tian Chen, Michael B. Monagan:
The Complexity and Parallel Implementation of Two Sparse Multivariate Hensel Lifting Algorithms for Polynomial Factorization. 150-169 - Boming Chi, Akira Terui:
The GPGCD Algorithm with the Bézout Matrix. 170-187 - Robert M. Corless, Mark Giesbrecht, Leili Rafiee Sevyeri, B. David Saunders:
On Parametric Linear System Solving. 188-205 - Algirdas Deveikis, Alexander Gusev, Vladimir P. Gerdt, Sergue I. Vinitsky, Andrzej Gózdz, Aleksandra Pedrak, Cestmir Burdik, George S. Pogosyan:
Symbolic-Numeric Algorithm for Computing Orthonormal Basis of O(5)˟ SU(1, 1) Group. 206-227 - Dmitry V. Divakov, Anastasia A. Tiutiunnik, Anton L. Sevastianov:
Symbolic-Numeric Study of Geometric Properties of Adiabatic Waveguide Modes. 228-244 - Amir Hashemi, Joos Heintz, Luis M. Pardo, Pablo Solernó:
Intrinsic Complexity for Constructing Zero-Dimensional Gröbner Bases. 245-265 - Valentin Irtegov, Tatiana Titorenko:
On the Study of the Motion of a System of Two Connected Rigid Bodies by Computer Algebra Methods. 266-281 - Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi:
Complexity Estimates for Fourier-Motzkin Elimination. 282-306 - Raphael Jolly:
Progress Report on the Scala Algebra System. 307-315 - Elizaveta Kalinina, Yuri Smol'kin, Alexei Yu. Uteshev:
Routh - Hurwitz Stability of a Polynomial Matrix Family. Real Perturbations. 316-334 - Erich L. Kaltofen, Clément Pernet, Zhi-Hong Yang:
Hermite Rational Function Interpolation with Error Correction. 335-357 - Manuel Kauers, Jakob Moosbauer:
Good Pivots for Small Sparse Matrices. 358-367 - Daniela Kaufmann, Armin Biere:
Nullstellensatz-Proofs for Multiplier Verification. 368-389 - Zoltán Kovács:
"Mathemachines" via LEGO, GeoGebra and CindyJS. 390-401 - Sebastian Lindner, Laurent Imbert, Michael J. Jacobson Jr.:
Balanced NUCOMP. 402-420 - Yang Liu, Dmitry A. Lyakhov, Dominik L. Michels:
Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary Order. 421-430 - Qi Luan, Victor Y. Pan, Won-geun Kim, Vitaly Zaderman:
Faster Numerical Univariate Polynomial Root-Finding by Means of Subdivision Iterations. 431-446 - Katsusuke Nabeshima:
Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities. 447-460 - Victor Y. Pan:
Acceleration of Subdivision Root-Finding for Sparse Polynomials. 461-477 - Alexander N. Prokopenya, Mukhtar Zh. Minglibayev, Oralkhan Baisbayeva:
Analytical Computations in Studying Translational-Rotational Motion of a Non-stationary Triaxial Body in the Central Gravitational Field. 478-491 - Hamid Rahkooy, Ovidiu Radulescu, Thomas Sturm:
A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks. 492-509 - Hamid Rahkooy, Thomas Sturm:
First-Order Tests for Toricity. 510-527 - Eugenio Roanes-Lozano:
Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System. 528-542 - Shinichi Tajima, Takafumi Shibuta, Katsusuke Nabeshima:
Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality. 543-562 - Simon Telen, Marc Van Barel, Jan Verschelde:
Robust Numerical Tracking of One Path of a Polynomial Homotopy on Parallel Shared Memory Computers. 563-582 - Jihad Titi, Jürgen Garloff:
Symbolic-Numeric Computation of the Bernstein Coefficients of a Polynomial from Those of One of Its Partial Derivatives and of the Product of Two Polynomials. 583-599 - Evgenii V. Vorozhtsov, Sergey P. Kiselev:
Comparative Study of the Accuracy of Higher-Order Difference Schemes for Molecular Dynamics Problems Using the Computer Algebra Means. 600-620 - Tao Zheng:
Characterizing Triviality of the Exponent Lattice of a Polynomial Through Galois and Galois-Like Groups. 621-641
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-04-02 00:21 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:
