CASC-2019 Contributions
Invited Talks
1 |
Towards soft exact computation |
|
2 |
An efficient JVM library for commutative algebra |
LNCS Papers
3 |
Francois Boulier, François Lemaire, Adrien Poteaux and Marc Moreno Maza |
|
4 |
Algirdas Deveikis, Alexander Gusev, Vladimir Gerdt, Sergue Vinitsky, Andrzej Gozdz, Aleksandra Pedrak and Cestmir Burdik |
Symbolic-Numerical Algorithm for Large Scale Calculations the Orthonormal SU(3) BM Basis |
5 |
Sergey Bruskin, Nikolay Golov and Alexander Filatov |
Algorithm for exact calculation of millions hierarchical count distinct measures |
6 |
Valentin Irtegov and Tatiana Titorenko |
On Linear Invariant Manifolds in the Generalized Problem of Motion of a Top in a Magnetic Field |
7 |
Ilias Kotsireas, Youtong Liu and Jing Yang |
|
8 |
Anastasiia Tiutiunnik, Dmitriy Divakov, Mikhail Malykh and Leonid Sevastianov |
Symbolic-numeric implementation of the four potential method for calculating normal modes: an example of square electromagnetic waveguide with rectangular insert |
9 |
Sergey Gutnik and Vasily Sarychev |
Symbolic Investigation the Dynamics of a System of Two Connected Bodies Moving along a Circular Orbit |
10 |
Harald Hofstätter, Winfried Auzinger and Othmar Koch |
An Algorithm for Computing Coefficients of Words in Expressions Involving Exponentials and its Application to the Construction of Exponential Integrators |
11 |
Rina Dong and Chenqi Mou |
On characteristic decomposition and quasi-characteristic decomposition |
12 |
Qiao-Long Huang and Xiao-Shan Gao |
Revisit Sparse Polynomial Interpolation based on Randomized Kronecker Substitution |
13 |
Vladimir Gerdt, Yuri Blinkov, Ilya Pankratov and Ekaterina Kotkova |
Construction of a new implicit difference scheme for 2D Boussinesq paradigm equation |
14 |
Dmitriy Divakov and Anton Sevastianov |
The implementation of the symbolic-numerical method for finding the adiabatic waveguide modes of integrated optical waveguides in CAS Maple |
15 |
Chenqi Mou and Xiaolin Fan |
|
16 |
Remi Imbach, Victor Y. Pan, Chee Yap, Ilias Kotsireas and Vitaly Zaderman |
|
17 |
Zhenbing Zeng and Liangyu Chen |
Determining the Heilbronn Configuration of Seven Points in Triangles via Symbolic Computation |
18 |
Elizabeth Kalinina, Yuri Smol'Kin and Alexei Uteshev |
|
19 |
Nikolay Osipov and Sergey Dalinkevich |
An algorithm for solving a quartic diophantine equation satisfying Runge's condition |
20 |
Vladimir Kornyak |
An Algorithm for Computing Invariant Projectors in Representations of Wreath Products |
21 |
Victor Edneral |
|
22 |
Mikhail Malykh, Edik Ayryan, Leonid Sevastianov and Yu Ying |
On explicit difference schemes for autonomous systems of differential equations on manifolds |
23 |
Vitaliy Krasikov |
Analytic Complexity of Hypergeometric Functions Satisfying Systems with Holonomic Rank Two |
24 |
Evgenii Vorozhtsov and Vasily Shapeev |
A Divergence-free Method for Solving the Incompressible Navier--Stokes Equations on Non-uniform Grids and Its Symbolic-numeric Implementation |
25 |
Andrei Banshchikov |
Obtaining and Analysis of the Necessary Conditions of Stability of Orbital Gyrostat by means of Computer Algebra |
26 |
Vitaly Zaderman and Liang Zhao |
Counting Roots of a Polynomial in a Convex Compact Region by Means of Winding Number Calculation via Sampling |
27 |
Jose Capco and Saraleen Mae Manongsong |
Implementing HuPf Algorithm for the Inverse Kinematics of General 6R/P Manipulators |
28 |
Alexey Kasatkin and Aliya Gainetdinova |
Symbolic and numerical methods for searching symmetries of ordinary differential equations with a small parameter and reducing its order |
29 |
Victor Y. Pan |
|
30 |
Amir Hashemi and Mahsa Kazemi |
MCS Papers
Extended Abstracts