- To: mathgroup at yoda.physics.unc.edu
- Subject: ISSAC'93
- From: kolyada%d105.icyb.kiev.ua at relay.ussr.eu.net (Kolyada Sergei Vladimirovich)
- Date: Tue, 27 Apr 93 14:05:40 +0300 (UKR)
Herewith I share the ISSAC'93 Advance Program. Please make
your colleagues known of it.
I will be happy meeting you in Kiev in July. Sincerely yours,
ISSAC'93 Conference Secretary
Glushkov Institute of Cybernetics
INTERNATIONAL SYMPOSIUM ON
SYMBOLIC AND ALGEBRAIC COMPUTATION
Advance Program and Registration
July 6-8, 1993
Workshop, July 9
Sponsored by ACM SIGSAM
Gaston Gonnet (Chair)
John Abbott Marc Gaetano Dima Yu.Grigoryev
Susan Landau Wolfgang Lassner John McKay
Francois Morain Tateaki Sasaki Sabine Stifter
Anatol Slissenko Robert Sutor Felix Ulmer
Alexander A.Letichevsky (Conference Chair)
Manuel Bronstein Vladimir P.Gerdt Gaston Gonnet
Julia V.Kapitonova Sergei V.Kolyada Vladimir S.Mikhalevich
International Software Technology Research Center, Association
"Ukraine and World", International Institute for Problems of the
Asteroid Hazard, Litsoft Enterprise R&d
Addresses for Communication
Glushkov Institute of Cybernetics, 40 Glushkov ave., Kiev 252207,
Ukraine, e-mail: let%d105.icyb.kiev.ua at relay.ussr.eu.net
Glushkov Institute of Cybernetics, 40 Glushkov ave., Kiev 252207,
Ukraine, e-mail: kap%d105.icyb.kiev.ua at relay.ussr.eu.net
Tuesday morning, July 6
On Algebraic Solutions of First Order Riccatti Equation
A Rationality Result for Kovacic's Algorithm
M.van der Put & P.A.Hedriks
A Probabilistic Symbolic-Numerical Method for the Stability
Analyses of Difference Schemes for PDEs
V.G.Ganzha & E.V.Vorozhtsov
somputer Generation of Normalizing Transformation for Systems of
On d'Alembert Substitution
Finding All Hypergeometric Solutions of Linear Differential Equations
M.Petkovsek & B.Salvy
Integration algorithms giving expressions valid on domains of
Tuesday afternoon, July 6
Numeric Code Optimization in Computer Algebra Systems and Recurrent
A Hybrid Method for High Precision Calculation of Polynomial Real
G.E.Collins & W.Krandick
Symbolic Evaluation in the Nonlinear Mechanical Systems
D.M.Klimov, V.M.Rudenko & V.V.Leonov
Parallelizing Programs with APS
A.B.Godlevsky & A.E.Doroshenko
Application of Computer Algebra to Investigation of the Relative
Iquilibria of a Satellite
Studies of Regular Precessions of a Symmetric Satellite by Means
of Computer Algebra
I.I.Shevchenko & A.G.Sokolsky
GRADIENT, Algorithmic Differentiation in Maple
M.B.Monagan & W.M.Neuenschwander
A Type System for Computer Algebra
Wednesday morning, July 7
The Regular Problem and Green Equivalences for Special Monoids
Decomposition of *-closed algebras in polynomial time
On the Assignment Complexity of Uniform Trees
Decision procedures for stratified set-theoretic syllogistics
A Generalization of the Binary GCD Algorithm
Deciding finiteness of matrix groups in deterministic polynomial time
R.Beals, L.Babai & D.Rockmore
An elementary algorithm for computing the composition factors of
a permutation group
Wednesday afternoon, July 7
Aspect Graphs of Algebraic Surfaces
M.F.Roy & T.Van Effelterre
A Zero Structure Theorem for Exponential Polynomials
On the greatest common divisor of polynomials which depend on a
S.A.Abramov & K.Yu.Kvashenko
Full Partial Fraction Decomposition of Rational Functions
M.Bronstein & B.Salvy
An upper bound on the number of monomials in the Sylvester resultant
Noether's S-transformation Symplifies Curve Singularities Rationally;
a local analysis
The 40 "generic" positions of a parallel robot
A Practical Method for the Sparse Resultant
I.Emiris & J.Canny
Thursday morning, July 8
Improved Parallel Computations with Toeplitz-Like and Hankel-Like
D.Bini & V.Pan
Efficient Algorithms for Hankel matrices over Z[x_1,...,x_r]
J.R.Sendra & J.Llovet
Computation of the Smith normal form of polynomial matrices
On Hensel construction of eigenvalues and eigenvectors of matrices
with polynomial entries
K.Yokoyama & T.Takeshima
An Algorithm for the Computation of Normal Forms and Invariant
Nested Expansions and Hardy Fields
A New Algorithm for Computing Asymptotic Series
Thursday afternoon, July 8
Differential Term Orders
Computing Groebner Bases in Monoid and Group Rings
K.Madlener & B.Reinert
Quantifier Elimination for Formulas Constrained by Quadratic
A dynamic Algorithm for Groebner basis computation
Automated Geometry Theorem Proving by Vector Calculation
S.C.Chou, X.S.Gao & J.Z.Zhang
Some Results on Theorem Proving In Geometry over Finite Fields
D.Lin & Z.Liu
Geometry Theorem Proving in Vector Spaces by Means of Groebner Bases
An Application of IRENA to systems of nonlinear equations arising
in equilibrium flows in networks
G.Keady & M.G.Richardson
COMPUTER ALGEBRA APPLICATIONS
July 9, 1993, ISSAC'93 participants will be welcomed to Glushkov
Institute of Cybernetics where International one-day Workshop on the
Computer Algebra Applications will be held as well as meeting with
researchers belonging to this institute will be organized. The
Workshop is organized by the International Institute for the
Problems of Asteroid Hazard (St.Petersburg) in contact with the LOC
of ISSAC'93 and is devoted to the 70-th Birthday of Academician
V.M.Glushkov. Participants of the Workshop will have an opportunity
to discuss their presentations with specialists on Computer Algebra
taking part in ISSAC'93. The workshop is open to the public with no
For further information on the workshop please contact:
Dr. Nickolay Vasiliev
Institute of Theoretical Astronomy
of the Russian Academy of Sciences
191187 St.Petersburg, Russia
email: vasiliev at iipah.spb.su
ISSAC'93 sites are Sport and Rus'International Hotels located
closely each other in the centre of Kiev City. Both these hotels are
new. ISSAC'93 will be arranged in Rus' International Congress Hall.
Sport Hotel is usually used to accommodate participants of
international sport competitions. There are one-bed and two-bed
rooms and restaurant in this hotel. Rus' International is located at
10-minutes-walking distance from the Sport.
The address of Sport: 55, Chervonoarmiyska str. (Respublikansky
Stadium Underground Station).
Software demonstration on workstations and personal computers will
be organized in Rus' International Congress Hall area in parallel to
Settlement in Ukraine
Regular payments in Ukraine are in cash. Ukraine has its own
currency - ukrainian karbovanets. Additionally one can pay in US
dollars (preferably) and German marks. There are numerous bank
offices to exchange money in the city. Sport and Rus' International
have them too.
Credit cards usage is limited in Ukraine. Sport does not accept them
but Rus' International does.
Arrival by Plane and Train
Sport and Rus' International are situated at 30-minute-journey by
car from Borispol International Airport. A taxi from the airport for
about $10 is the quickest way to reach conference sites.
Additionally, Local Organizing Committee intend to meet ISSAC'93
participants in Borispol Airport and to transport them to the hotels
There is Central railway station in the centre of the City of Kiev.
One can get from there to the conference sites by taxi or by public
transport (tramway #35, 15 minutes).
Public Transport in Kiev
Many places of interest (sights, museums, theatres, concert halls
etc.) are in a walking distance from the conference sites. One can
use also rather efficient public transport network (the underground
system as well as tramway, trolleybus and bus lines and taxi).
Tickets can be bought from driver or from yellow boxes at stops and
must be stamped while entering vehicle.
The climate in Kiev is moderated continental. The average
temperature is +19C to +24C in July. Usually July is hot in Kiev.
Social program for the symposium participants and accompanying
persons will be suggested including sightseeing, classic and folk
music concerts, folk festival etc. It will be finalized depending on
the number of registrants.
Post-conference tours to Moscow (organizer Victor M.Rudenko, e-
mail: rudenko at ipm.msk.su) and St.Petersburg (organizer Andrei
Gh.Sokolsky, email: sokolsky at iipah.spb.su) will be arranged for
interested persons with visiting leading research institutes.
Kiev is the capital of new independent state of Ukraine which is
located in the south-east of Europe. Kiev is the greatest political,
economical, scientifical and cultural centre in this country. Total
population is more than 3 millions. There are Academy of Sciences of
Ukraine - a large research and educational organization (including
such leading research institutes as Glushkov Institute of
Cybernetics, Institute for Mathematics etc.) as well as Kiev
Shevchenko State University, Kiev Polytechnical Institute and other
high school establishments, numerous theaters, museums, concert
halls and so on.
Kiev was founded more than 1500 years ago. It was the centre of the
ancient East Slav state named Kievan Rus (X-XII centuries).
St.Sophia Cathedral (XI century) and Kiev-Petchersk Lavra (Monastery
of the Caves, XI century) and others are monuments of great cultural
interest and world level value.
Reception and Banquet: a reception on Tuesday evening and banquet on
Thursday evening are included in your registration fee.
Entry Visa Information. Normally Ukrainian Entry Visa should be
taken from Ukrainian Embassy/Consulary located in the country of
ISSAC'93 participant residence if one have the invitation to
ISSAC'93. Ukraine is new independent state so in several countries
Ukrainian embassies/consularies are located temporarily in the same
buildings as Russian ones. Russian Entry Visa is invalid in Ukraine.
If there is no Ukrainian Embassy/Consulary in particular country the
entry visa can be arranged at Borispol International Airport for 72
hours (the price equals to USD50) and then be prolonged in the
Ministry for Foreign Affairs if need be (Glushkov Institute of
Cybernetics will help to do it).
ISSAC'93 Participant Registration Form
Please fill in your ACM or SIGSAM membership number
Date of arrival in Kiev___________________________________
date of departure from Kiev_______________________________
Sport Hotel. Prices in Sport Hotel (including breakfast):
single occupancy - $120 (apartments);
- $ 65 (ordinary);
double occupancy - $ 80 ($40 per person).
Meals (3 time a day) - + $20.
The payment for accommodation in Sport may be included to the check
for registration fee.
Rus' International Hotel is 4-star comfortable one. Prices are as
single occupancy - $177;
double occupancy - $177.
All prices include breakfast. One can pay for accommodation in Rus'
in cash or using credit cards.
The registration fees for ISSAC'93 are as follows. To be early, your
registration application must be received by Friday, June 4 (please
use e-mail to make organizers known of it, if possible).
ACM, SIGSAM member USD250 USD280
Non member USD280 USD300
Please send the check to the address
Banque Saradar France, sa.
49, Avenue George v75008 Paris, France
Telex: JOSAR 649091 F - JOSAR 649093 F
Favour: Mr.Igor Velbitsky
One would indicate a purpose of a payment in the check:
The registration fee of FIRST-NAME LAST-NAME for
participation in ISSAC'93
Please send the copy of the check at the fax in Kiev
pointing attn: ISSAC'93 Organizing Committee.
Prev by Date:
Including MMA postcript graphics in LaTeX documents
Next by Date:
Re: Compile AND Remember
Previous by thread:
Re: Including MMA postcript graphics in LaTeX documents
Next by thread: