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.