MathGroup Archive 1993

[Date Index] [Thread Index] [Author Index]

Search the Archive

ISSAC'93

  • 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)

Dear Sir/Madam,

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,

Sergei Kolyada
ISSAC'93 Conference Secretary
==============================================================
                          ACM SIGSAM
              Glushkov Institute of Cybernetics



                           ISSAC'93

                  INTERNATIONAL SYMPOSIUM ON
              SYMBOLIC AND ALGEBRAIC COMPUTATION


                  Advance Program and Registration


                        July 6-8, 1993
                        Kiev, Ukraine

                       Workshop, July 9



                   Sponsored by ACM SIGSAM


                      Program Committee

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

                        Conference Officers

Alexander A.Letichevsky (Conference Chair)
Manuel Bronstein      Vladimir P.Gerdt       Gaston Gonnet
Julia V.Kapitonova    Sergei V.Kolyada       Vladimir S.Mikhalevich
Igor V.Velbitsky


                         Major Contributors

     International Software Technology Research Center,  Association
"Ukraine  and  World",  International  Institute for Problems of the
Asteroid Hazard, Litsoft Enterprise R&d


                    Addresses for Communication

Alexander Letichevsky
Glushkov Institute of Cybernetics, 40 Glushkov ave., Kiev 252207,
Ukraine, e-mail: let%d105.icyb.kiev.ua at relay.ussr.eu.net

Julia Kapitonova
Glushkov Institute of Cybernetics, 40 Glushkov ave., Kiev 252207,
Ukraine, e-mail: kap%d105.icyb.kiev.ua at relay.ussr.eu.net


                          Advance Program


Tuesday morning, July 6

On Algebraic Solutions of First Order Riccatti Equation
A.Yu.Zahrkov

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
Nonlinear Ode
V.Edneral

On d'Alembert Substitution
S.A.Abramov

Finding All Hypergeometric Solutions of Linear Differential Equations
M.Petkovsek & B.Salvy

Integration algorithms giving expressions valid on domains of
maximum extent
D.J.Jeffrey

Tuesday afternoon, July 6

Numeric Code Optimization in Computer Algebra Systems and Recurrent
Relations Technique
E.V.Zima

A Hybrid Method for High Precision Calculation of Polynomial Real
Roots
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
S.A.Gutnik

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
P.Santas

Wednesday morning, July 7

The Regular Problem and Green Equivalences for Special Monoids
W.Jinzhao

Decomposition of *-closed algebras in polynomial time
K.Friedl

On the Assignment Complexity of Uniform Trees
H.Wu

Decision procedures for stratified set-theoretic syllogistics
D.Cantone

A Generalization of the Binary GCD Algorithm
T.Jebelean

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
R.Beals

Wednesday afternoon, July 7

Aspect Graphs of Algebraic Surfaces
M.F.Roy & T.Van Effelterre

A Zero Structure Theorem for Exponential Polynomials
D.Richardson

On the greatest common divisor of polynomials which depend on a
parameter
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
M.Kalkbrener

Noether's S-transformation Symplifies Curve Singularities Rationally;
a local analysis
E.J.Volcheck

The 40 "generic" positions of a parallel robot
B.Mourrain

A Practical Method for the Sparse Resultant
I.Emiris & J.Canny

Thursday morning, July 8

Improved Parallel Computations with Toeplitz-Like and Hankel-Like
Matrices
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
G.Villard

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
Manifolds
L.Vallier

Nested Expansions and Hardy Fields
J.Shackell

A New Algorithm for Computing Asymptotic Series
D.Gruntz

Thursday afternoon, July 8

Differential Term Orders
V.Weispfenning

Computing Groebner Bases in Monoid and Group Rings
K.Madlener & B.Reinert

Quantifier Elimination for Formulas Constrained by Quadratic
Equations
H.Hong

A dynamic Algorithm for Groebner basis computation
M.Caboara

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
S.Stifter

An Application of IRENA to systems of nonlinear equations arising
in equilibrium flows in networks
G.Keady & M.G.Richardson


                      INTERNATIONAL  WORKSHOP
                   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
registration fee.

For further information on the workshop please contact:

Dr. Nickolay Vasiliev
Institute of Theoretical Astronomy
of the Russian Academy of Sciences
10 Nab.Kutuzova
191187 St.Petersburg, Russia
email: vasiliev at iipah.spb.su


                          Conference Sites

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

Software demonstration on workstations and personal  computers  will
be organized in Rus' International Congress Hall area in parallel to
ISSAC'93.


                       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
by bus.

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.


                              Climate

The climate   in   Kiev   is   moderated  continental.  The  average
temperature is +19C to +24C in July. Usually July is hot in Kiev.


                           Social Program

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

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.


                         Travel Information

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.


                            Other Events

Reception and Banquet: a reception on Tuesday evening and banquet on
Thursday evening are included in your registration fee.


                             Entry Visa

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

Name______________________________________________________
Accompanying person(s)____________________________________
Affiliation_______________________________________________
Street Address____________________________________________
City/State/Country/Zip code_______________________________
Telephone_________________Fax_____________________________
Email_____________________Telex___________________________
Please fill in your ACM or SIGSAM membership number
__________________________________________________________
Date of arrival in Kiev___________________________________
date of departure from Kiev_______________________________
Accommodation information.
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
follows:
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).

                             early           late

    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
     Tel: (1)47230047
     Fax: (1)47239920
     Telex: JOSAR 649091 F - JOSAR 649093 F

     Favour: Mr.Igor Velbitsky
     A\C No.5781601703
     Reference: TECHNOSOFT

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

(044)266 6394

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: ISSAC'93