Poster 2019

CASC2019

   

LNCS proceedings

MCS Special Issue

   

   

Invited Talks

1

Chee Yap

Towards soft exact computation

2

Stanislav Poslavsky

An efficient JVM library for commutative algebra

LNCS Papers

3

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

A Short Contribution to the Theory of Regular Chains

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

PAF Reconstruction with the Orbits Method

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 nding the adiabatic waveguide modes of integrated optical waveguides in CAS Maple

15

Chenqi Mou and Xiaolin Fan

On Berlekamp–Massey and Berlekamp–Massey–Sakata Algorithms

16

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

Root-finding with Implicit Deflation

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

Robust Schur stability of a polynomial matrix family

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

About Integrability of the Algaba-Gamero-Garcia System

22

Mikhail Malykh, Edik Ayryan, Leonid Sevastianov and Yu Ying

On explicit dierence schemes for autonomous systems of dierential 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

Old and New Nearly Optimal Polynomial Root-finders

30

Amir Hashemi and Mahsa Kazemi

Parametric standard bases and their applications

 MCS Papers

31

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

Extension of the MapDE algorithm for mappings

32

Youren Hu and Xiao-Shan Gao

Tropical Differential Groebner Basis

33

Amir Hashemi, Hossein Parnian and Werner M. Seiler

Degree Upper Bounds for Involutive Bases

34

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

35

Shinichi Tajima and Katsusuke Nabeshima

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

36

Chee Yap, Rémi Imbach and Marc Pouget

Clustering Complex Zeros of Triangular System of Polynomials

37

Semjon Adlaj

An arithmetic-geometric mean of a third kind!

Extended Abstracts 

38

Dima Grigoriev, Thomas Sturm and Andreas Weber

The Complexity of Recognizing Toricity of a Variety

39

Werner M. Seiler, Matthias Seiss and Thomas Sturm

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

40

Jose Cano, Sebastian Falkensteiner and Rafael Sendra

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

41

Clemens G. Raab, Georg Regensburger and Jamal Hossein Poor

Interpreting algebraic proofs of operator identities

42

Tulay Ayyildiz Akoglu

Constructing Exact Matrices Using Approximate Roots

43

Raffaele Vitolo

CDE: Calculus on Differential Equations - A Reduce Package

44

Alexander Batkhin

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

45

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

ODEbase: A Extensible Database Providing Algebraic Properties of Dynamical Systems

46

Changbo Chen and Wenyuan Wu

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

47

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

Modular Techniques for Gröbner Bases over Rational Function Fields

   Registration

 

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

   Registration

 

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

http://www.bahn.de/i/view/overseas/en/index.shtml.

 

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.