![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
22nd 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.