Poster 2019






Invited Talks


Chee Yap

Towards soft exact computation


Stanislav Poslavsky

An efficient JVM library for commutative algebra

LNCS Papers


Francois Boulier, François Lemaire, Adrien Poteaux and Marc Moreno Maza

A Short Contribution to the Theory of Regular Chains


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


Sergey Bruskin, Nikolay Golov and Alexander Filatov

Algorithm for exact calculation of millions hierarchical count distinct measures


Valentin Irtegov and Tatiana Titorenko

On Linear Invariant Manifolds in the Generalized Problem of Motion of a Top in a Magnetic Field


Ilias Kotsireas, Youtong Liu and Jing Yang

PAF Reconstruction with the Orbits Method


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


Sergey Gutnik and Vasily Sarychev

Symbolic Investigation the Dynamics of a System of Two Connected Bodies Moving along a Circular Orbit


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


Rina Dong and Chenqi Mou

On characteristic decomposition and quasi-characteristic decomposition


Qiao-Long Huang and Xiao-Shan Gao

Revisit Sparse Polynomial Interpolation based on Randomized Kronecker Substitution


Vladimir Gerdt, Yuri Blinkov, Ilya Pankratov and Ekaterina Kotkova

Construction of a new implicit difference scheme for 2D Boussinesq paradigm equation


Dmitriy Divakov and Anton Sevastianov

The implementation of the symbolic-numerical method for nding the adiabatic waveguide modes of integrated optical waveguides in CAS Maple


Chenqi Mou and Xiaolin Fan

On Berlekamp–Massey and Berlekamp–Massey–Sakata Algorithms


Remi Imbach, Victor Y. Pan, Chee Yap, Ilias Kotsireas and Vitaly Zaderman

Root-finding with Implicit Deflation


Zhenbing Zeng and Liangyu Chen

Determining the Heilbronn Configuration of Seven Points in Triangles via Symbolic Computation


Elizabeth Kalinina, Yuri Smol'Kin and Alexei Uteshev

Robust Schur stability of a polynomial matrix family


Nikolay Osipov and Sergey Dalinkevich

An algorithm for solving a quartic diophantine equation satisfying Runge's condition


Vladimir Kornyak

An Algorithm for Computing Invariant Projectors in Representations of Wreath Products


Victor Edneral

About Integrability of the Algaba-Gamero-Garcia System


Mikhail Malykh, Edik Ayryan, Leonid Sevastianov and Yu Ying

On explicit dierence schemes for autonomous systems of dierential equations on manifolds


Vitaliy Krasikov

Analytic Complexity of Hypergeometric Functions Satisfying Systems with Holonomic Rank Two


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


Andrei Banshchikov

Obtaining and Analysis of the Necessary Conditions of Stability of Orbital Gyrostat by means of Computer Algebra


Vitaly Zaderman and Liang Zhao

Counting Roots of a Polynomial in a Convex Compact Region by Means of Winding Number Calculation via Sampling


Jose Capco and Saraleen Mae Manongsong

Implementing HuPf Algorithm for the Inverse Kinematics of General 6R/P Manipulators


Alexey Kasatkin and Aliya Gainetdinova

Symbolic and numerical methods for searching symmetries of ordinary differential equations with a small parameter and reducing its order


Victor Y. Pan

Old and New Nearly Optimal Polynomial Root-finders


Amir Hashemi and Mahsa Kazemi

Parametric standard bases and their applications

 MCS Papers


Greg Reid, Zahra Mohammadi and S.-L. Tracy Huang

Extension of the MapDE algorithm for mappings


Youren Hu and Xiao-Shan Gao

Tropical Differential Groebner Basis


Amir Hashemi, Hossein Parnian and Werner M. Seiler

Degree Upper Bounds for Involutive Bases


Katsusuke Nabeshima and Shinichi Tajima Testing zero-dimensionality of varieties at a point


Shinichi Tajima and Katsusuke Nabeshima

An algorithm for computing torsion differential forms associated to an isolated hypersurface singularity


Chee Yap, Rémi Imbach and Marc Pouget

Clustering Complex Zeros of Triangular System of Polynomials


Semjon Adlaj

An arithmetic-geometric mean of a third kind!

Extended Abstracts 


Dima Grigoriev, Thomas Sturm and Andreas Weber

The Complexity of Recognizing Toricity of a Variety


Werner M. Seiler, Matthias Seiss and Thomas Sturm

A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations


Jose Cano, Sebastian Falkensteiner and Rafael Sendra

Formal Puiseux Series Solutions of First Order Autonomous Algebraic Ordinary Differential Equations


Clemens G. Raab, Georg Regensburger and Jamal Hossein Poor

Interpreting algebraic proofs of operator identities


Tulay Ayyildiz Akoglu

Constructing Exact Matrices Using Approximate Roots


Raffaele Vitolo

CDE: Calculus on Differential Equations - A Reduce Package


Alexander Batkhin

Bifurcations of doubly symmetric periodic solutions to Hamiltonian system with 2 degrees of freedom


Christoph Lüders, Hassan Errami, Satya S. Samal, Matthias Neidhardt and Andreas Weber

ODEbase: A Extensible Database Providing Algebraic Properties of Dynamical Systems


Changbo Chen and Wenyuan Wu

A Numerical and Geometrical Method for Solving Parametric Biological Networks by Exploiting Block Triangular Structure: Case Studies


Dereje Kifle Boku, Wolfram Decker, Claus Fieker and Andreas Steenpass

Modular Techniques for Gröbner Bases over Rational Function Fields



Fees are as follows:

- Academic - early registration (before July 15) : 300 €

- Academic - late registration (between July 15 and September 1) : 350 €

- Accompanying persons : 100 € (accompanying persons must register individually)

- Students : 200 € (Academic who have little funding access should contact local organizers).


Registration fees include:

- the welcome reception on Monday Sep/17,

- four lunches (Monday Sep/17 to Thursday Sep/20) and

- the social program (excursion and social dinner on Wednesday Sep/19 afternoon).


Payment is possible:

- by credit card (payment by credit card must be completed at registration time - it cannot be completed later)

- French participants only: by purchase order (bon de commande) or bank transfer


Registration/payment at the conference desk on Monday Sep/17th is not possible.


Important limitations/instructions (please read it carefully before you register):

- You have to complete your registration (including the payment) in a single operation. It is not possible to interrupt your registration, and continue it later.

- If your registration is interrupted for any reason, you will need to start a new registration (using a different email address ).

- Unless you are a french participant, you will have to use the credit payment: make sure you have all the credit card information before you start your registration.


If you have carefully read the previous instructions, please click here to register for CASC2018



Fees are as follows:

  • Early registration: 300 €
  • Late registration: 350 €
  • Accompanying person: 150 € 
  • Student (Including PhD students) : 100 €.
  • Recent PhD recipient: 200 €

Payment details for CASC 2019

 Travel Information 


Conference Location

Lecture hall III (Hörsaal III)

RWTH main building (RWTH Hauptgebäude)

Templergraben 55, Aachen 


If you arrive at a German airport, the best way to go to Aachen is by train. For more information concerning train travelling in Germany, please use


Tickets can be bought, either with cash or by credit card, at the train station.



Reaching Aachen Central Station

From Frankfurt Airport (FRA)

The trip from Frankfurt Airport ("Fernbahnhof") to Aachen takes approximately 2-2.5 hours.

Most connections require a change of trains at Cologne Central station. The price ranges from 57€ to 81€.


From Düsseldorf Airport (DUS)

The trip from Düsseldorf Airport to Aachen takes approximately 1.5 hours. Some connections require a change of trains at Düsseldorf Central station or Cologne Central station.

The price ranges from 21€ to 29€.


From Cologne/Bonn (Köln/Bonn) Airport (CGN)

The trip from Cologne/Bonn Airport to Aachen takes approximately 1–1.5 hours, with a change of trains at Cologne Central station. The price is approximately 24€.


Other Airports

Maastricht Aachen Airport (MST)

Brussels Airport (BRU)

Brussels south charleroi Airport (CRL)

Paris Charles-de-Gaulle-Airport (CDG)



From Aachen Central Station

In Aachen the best way to reach any place of interest is by bus or by foot. The main shopping area, the Aachen Cathedral, and the RWTH are situated close beside each other. Thus it is easy to walk from one place to another. Inside the city you find a lot of old architecture, little restaurants and pubs to enjoy a good meal and the Aachen culture.


1. By Bus:

In front of Aachen Central station there is a bus stop from which you can take a bus to your location in Aachen. The bus lines 3 and 13 are those you will probably need. They have a capital letter (A or B) behind the number, which refers to the direction of rotation. As the traffic network in Aachen's city center is constructed in rings, it does not matter in which direction you ride, but it may be a matter of time. Nevertheless you may possibly have to take a bus from across the road after leaving Aachen Central station.

The time table with departures and a road map with the destinations can be found at the bus stop. Tickets can be bought from the driver. Further information concerning fares and bus routes under can be found here and here.

Here are some of the most important bus lines which will bring you to points of interest:


(1) Hochschule (bus stop in front of the main building of the RWTH)

Bus lines: 13A (~20 min), 13B (~10 min) (the stop is on the other side of the street outside Central station). They depart every 15 or 30 minutes (depending on the time of the day) and ride from 6.30 am to 7 pm (mon–fri), 10 am to 5 pm (sat).


(2) Ponttor (H.4 Pontwall) (bus stop on Pontstrasse – the main street where students go for lunch or dinner) Same bus lines as for Technische Hochschule, additionally 3 A (~15 min) rides every 15/30 minutes from 5.30 am to 11 pm (mon–sat), 9 am to 11 pm (sun).


(3) Elisenbrunnen (famous thermal spring of Aachen, right in the city center, situated next to the tourist information and close to the main shopping area) Bus lines: 11, 14, 21, 44 ... (~5 min).


2. By Taxi:

There is also a very reliable taxi service at Aachen Central station. Just walk out the front door and you will see the available service on the right side. Prices depend upon your destination in Aachen.