Home

CASC-2019 Contributions

2019-09-25T23:29:52+00:00

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 diﬀerence schemes for autonomous systems of diﬀerential 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

Program

2018-03-04T11:13:01+00:00

Please find here the preliminary version of the scientific program (pdf)

Registration2019

2013-03-05T12:16:37+00:00

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

Registration2018

2013-03-05T12:16:37+00:00

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

Travel Information (3)

2013-03-05T06:08:58+00:00

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.

AccommodationsLille

2013-03-05T06:08:58+00:00

Accommodations / Conference Venue

Accomdation:

You can either stay on Campus or in Lille downtown.

Hotels on campus:

The Ascotel and the REEFLEX International Residence Hall are the two options for staying on Campus. Both are 5 min by walk from the conference location.

a) The Ascotel: The estimate price for 1 night is 85 euros (add 13 euro for breakfast).

b) The REEFLEX International Residence Hall: This is modern and quite affordable accommodation. The estimate price is 60 euros per night. Please contact reeflex@univ-lille.fr and make sure to mention "the CASC 2018 conference" in you mail body, as well as your arrival and departure dates (the arrival is after 2pm, and the departure is before 10am). In case the front gate is locked, please use the intercom.

Hotels in downtown:

The Lille downtown provides a fair amount of quality hotels. The Lille downtown is only 15 minutes away by subway from the conference location. We strongly suggest to book a hotel near one of the three following subway stations: "Gare Lille-Flandres", "Rihour" or "République Beaux-Arts". Here is a short selection:

a) Hôtel Brueghel: Estimate price for 1 night (no breakfast): 90 euros

b) Le Grand Hôtel: Estimate price for 1 night (no breakfast): 90 euros

c) Hôtel de la Paix: Estimate price for 1 night (no breakfast): 100 euros

You can find other hotels on: http://en.lilletourism.com/ (click on accommodation/hotels)

Conference location:

The conference will take place at LILLIAD which is located on the Campus Cité Scientifique, Université de Lille. Please note that the Université de Lille is a fairly big University, split in several and very distant parts. Please make sure to go to the "Campus Cité Scientifique" part.

By Subway:

The subway in Lille is quite simple. If you are at the "Gare Lille Flandres" station, take the Line 1 (the yellow line) towards "4 Cantons Grand Stade" and leave at the "Cité Scientifique - Professeur Gabillard" station. Simply exit the station, turn to the left, follow the subway line, and you should quickly see the LILLIAD center in front of you.

You must buy the tickets at the vending machines. You will need to buy a refillable ticket (for 20 cents). A one way ticket is around 1.60euros.

By Car:

We suggest you to use a GPS with "Cité scientifique, Université Lille". Please carefully check that your GPS is sending you to the "Campus Cité Scientifique" in the city "Villeneuve d'Ascq", and not in another part of the university.

There is a large parking at the "4 Cantons Grand Stade" subway station. If you stay at the Ascotel, they have a private parking. If you stay in Lille downtown, we suggest you to ask your hotel for information about parking your car in Lille (parking in Lille is not free).

By Train:

You will most likely arrive at either "Gare Lille Europe" or "Gare Lille Flandres" which are the two railway stations. If you arrive at "Gare Lille Europe", first take the subway line 2 (the red line) towards "St Philibert", and leave at the "Gare Lille Flandres" station. From there, follow the instructions above concerning the subway.

VISA Information

2013-03-05T06:08:58+00:00

VISA Information

The following link leads to a list of all countries the citizens of which need a visa for entering Romania:

http://www.mae.ro/sites/default/files/file/pdf/formulare-consulare/Vize/2014.06.09_annex_1_en_conf_reg_509-2014.pdf.

Participants who need a letter of invitation for obtaining a visa for Romania should contact as soon as possible the Local Organization Committee (casc2016ro@gmail.com) and provide all information necessary for the letter. This concerns in particular the address to which the letter should be sent. In some cases the letter of invitation must contain information like a passport number, it is then your responsibility to provide such data. They will then receive first by e-mail an electronic version of such a letter and later by surface mail the original. Please take into account that consulates usually require the hand signed original and that surface mail may take quite a while. We are not able to send letters via a courier service.

SocialProgrammePeijing

2013-03-05T06:08:58+00:00

Social Programme

On Wednesday afternoon we will have an excursion to the famous Summer Palace. All participants and registered accompanying persons will be transferred by bus to the Summer Palace and afterwards to the location of the Conference Dinner which will be on Wednesday evening.

Some information about the Summer Palace can be found here.

AccommodationsMoscow

2013-03-05T06:08:58+00:00

Accommodations / Conference Venue

Conference Venue:

The conference venue on the campus of Plekhanov Russian University of Economics, Ulitsa Zatsepa, 41, Moscow, Russia.

It is most easily accessed through Serpukhovskaya station of Moscow subway.

HERE are detailed directions to the university from all three major airports of Moscow.

Accommodation:

The Hotels within a few minutes of walking distance include:

1) Ibis Moscow Paveletskaya Hotel: Estimated price per night with early reservation: 55 euros

2) Tatiana Hotel: Estimated price per night with early reservation: 80 euros

3) Grand Victoria Hotel: Estimate price per night with early reservation: 75 euros

For more hotels in Moscow please see: Hotels in Moscow

A limited number of rooms in the university hotels and in the student dormitory will be available upon request by the conference participants.

cascbibliography

2013-03-04T11:13:01+00:00

Bibliography

CASC 2018

Proceedings of the 20th International Workshop on Computer Algebra in Scientific Computing, CASC'2018 (Lille, France, September 17-21, 2018)
Editor: V.P. Gerdt, W. Koepf, W. Seiler, E.V. Vorozhtsov

Homepage of CASC'2018
Lille, France
September 17-21, 2018

Springer-Verlag: Berlin-Heidelberg
LNCS 11077 Table of contents

CASC 2017

Proceedings of the 19th International Workshop on Computer Algebra in Scientific Computing, CASC'2017 (Beijing, China, September 18-22, 2017)
Editor: V.P. Gerdt, W. Koepf, W. Seiler, E.V. Vorozhtsov

Homepage of CASC'2017
Beijing, China
September 18-22, 2017

Springer-Verlag: Berlin-Heidelberg
LNCS 10490 Table of contents

CASC 2016

Proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, CASC'2016 (Bucharest, Romania, September 19-23, 2016)
Editor: V.P. Gerdt, W. Koepf, W. Seiler, E.V. Vorozhtsov

Homepage of CASC'2016
Bucharest, Romania
September 19-23, 2016

Springer-Verlag: Berlin-Heidelberg
LNCS 9890 Table of contents

CASC 2015

Proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing, CASC'2015 (Aachen, Germany, September 14-18, 2015)
Editor: V.P. Gerdt, W. Koepf, W. Seiler, E.V. Vorozhtsov

Homepage of CASC'2015
Aachen, Germany
September 14-18, 2015

Springer-Verlag: Berlin-Heidelberg
LNCS 9301 Table of contents

CASC 2014

Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)
Editor: V.P. Gerdt, W. Koepf, W. Seiler, E.V. Vorozhtsov

Homepage of CASC'2014
Warsaw, Poland
September 8-12, 2014

Springer-Verlag: Berlin-Heidelberg
LNCS 8660 Table of contents

CASC 2013

Proceedings of the 15th International Workshop on Computer Algebra in Scientific Computing, CASC'2013 (Berlin, Germany, September 9-13, 2013)
Editor: V.P. Gerdt, W. Koepf, E.W. Mayr, E.V. Vorozhtsov

Homepage of CASC'2013
Berlin, Germany
September 9-13, 2013

Springer-Verlag: Berlin-Heidelberg
LNCS 8136 Table of contents

CASC 2012

Proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing, CASC'2012 (Maribor, Slovenia, September 3-6, 2012)
Editor: V.P. Gerdt, W. Koepf, E.W. Mayr, E.V. Vorozhtsov

Homepage of CASC'2012
Maribor, Slovenia
September 3-6, 2012

Springer-Verlag: Berlin-Heidelberg
LNCS 7442 Table of contents

CASC 2011

Proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC'2011 (Kassel, Germany, September 5-9, 2011)
Editor: V.P. Gerdt, W. Koepf, E.W. Mayr, E.V. Vorozhtsov

Homepage of CASC'2011
Kassel, Germany
September 5-9, 2011

Springer-Verlag: Berlin-Heidelberg
LNCS 6885 Table of contents

CASC 2010

Proceedings of the 12th International Workshop on Computer Algebra in Scientific Computing, CASC'2010 (Tsakhkadzor, Armenia, September 5-12, 2010)
Editor: V.P. Gerdt, W. Koepf, E.W. Mayr, E.V. Vorozhtsov

Homepage of CASC'2010
Tsakhkadzor, Armenia
September 5-12, 2010

Springer-Verlag: Berlin-Heidelberg
LNCS 6244 Table of contents

CASC 2009

Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)
Editor: V.P. Gerdt, E.W. Mayr, E.V. Vorozhtsov

Homepage of CASC'2009
Kobe, Japan
September 13-17, 2009

Springer-Verlag: Berlin-Heidelberg
LNCS 5743 Table of contents

CASC 2007

Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)
Editor: V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov

Homepage of CASC'2007
Bonn, Germany
September 16-20, 2007

Springer-Verlag: Berlin-Heidelberg
LNCS 4770Table of contents

CASC 2006

Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chisinau, Moldova, September 11-15, 2006)
Editor: V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov

Homepage of CASC'2006
Chisinau, Moldova
September 11-15, 2006

Springer-Verlag: Berlin-Heidelberg
LNCS 4194 Table of contents

CASC 2005

Proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, CASC'2005 (Kalamata, Greece, September 12-16, 2005)
Editor: V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov

Homepage of CASC'2005
Kalamata, Greece
September 12-16, 2005

Springer-Verlag: Berlin-Heidelberg
LNCS 3718 Table of contents

CASC 2004

Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 12-19, 2004)
Editor: V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov

Homepage of CASC'2004
St. Petersburg, Russia
July 12-19, 2004

Institut für Informatik, Technische Universität München: Garching
Table of contents

CASC 2003

Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
Editor: V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov

Homepage of CASC'2003
Passau, Germany
September 20-26, 2003

Institut für Informatik, Technische Universität München: Garching
Table of contents

CASC 2002

Proceedings of the Fifth International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)
Editor: V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov

Homepage of CASC'2002
Yalta, Ukraine
September 22-27, 2002

Institut für Informatik, Technische Universität München: Garching
Table of contents

CASC 2001

Proceedings of the 4th International Workshop on Computer Algebra in Scientific Computing, CASC'2001 (Konstanz, Germany, September 22-26, 2001)
Editor: Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov

Homepage of CASC'2001
Konstanz, Germany
September 22-26, 2001

Springer-Verlag: Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo
Table of contents

CASC 2000

Proceedings of the Third Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 5-9, 2000)
Editor: Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov

Homepage of CASC'2000
Samarkand, Uzbekistan
October 5-9, 2000

Springer-Verlag: Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo
Table of contents

CASC 1999

Proceedings of the 2nd Workshop on Computer Algebra in Scientific Computing, CASC'99 (Munich, Germany, May 31 - June 4, 1999)
Editor: Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov

Homepage of CASC'99
Munich, Germany
May 31 - June 4, 1999

Springer-Verlag: Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Milan-Singapore
Table of contents

CASC 1998

Proceedings of the 1st Workshop on Computer Algebra in Scientific Computing --- Representation Theory, Dynamical Systems, Combinatorial and Algorithmic Methods, CASC'98 (Saint-Petersburg, Russia, April 20-24, 1998)
Editor: Nikolay N. Vassiliev, A.M. Verschik

Homepage of CASC'98
Saint-Petersburg, Russia
April 20-24, 1998

Russian Academy of Sciences, V.A. Steklov Institute of Mathematics at St.-Petersburg Department: St.-Petersburg
Table of contents