Volume 27, Number 1, January 2001

• 
  Sergei A. Abramov, A. P. Kryukov, V. A. Rostovtsev: The Scientific Research Seminar on Computer Algebra in 1999-2000. 1-3
• 
  S. I. Serdyukova: Solution of the Inverse Problem for the Two-Dimensional Discrete Schrödinger Equation Using REDUCE. 4-5
• 
  A. M. Mitichkina, Anna A. Ryabenko: Representation of Algebraic Functions As Power and Fractional Power Series of Special Type. 6-11
• 
  D. E. Khmelnov: MEG-Eliminations. 12-17
• 
  Alexander Gusev, V. N. Samoilov, V. A. Rostovtsev, Sergey I. Vinitsky: Algebraic Perturbation Theory for Hydrogen Atom in Weak Electric Fields. 18-21
• 
  Vladimir P. Gerdt, D. A. Yanovich, Yuri A. Blinkov: Fast Search for the Janet Divisor. 22-24
• 
  Marina V. Kondratieva, V. A. Mityunin: Computation of the Differential Dimension Polynomial When Changing Generators in the Dirac Equations. 25-28
• 
  A. V. Niukkanen, P. A. Niukkanen: Diagram Technique for Hypergeometric Series of Several Variables. 29-34
• 
  Ha Q. Le: On the q-Analogue of Zeilberger's Algorithm to Rational Functions. 35-42
• 
  M. V. Sosnin: An Algorithm for Nonparametric Decomposition of Differential Polynomials. 43-49
• 
  V. M. Mikhelev: Data Definition in the Programming Language MARKIZ. 50-56

Volume 27, Number 2, March 2001

• 
  Igor V. Pottosin: Preface to the Special Issue of the Journal. 57
• 
  V. A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Sergey P. Mylnikov, E. V. Okunishnikova, P. A. Chubarev, Tatiana G. Churina: Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets. 58-68
• 
  Danil E. Baburin, Mikhail A. Bulyonkov, Pavel G. Emelianov, N. N. Filatkina: Visualization Facilities in Program Reengineering. 69-77
• 
  S. I. Katkov, Igor V. Pottosin: Support Facilities for Development of Parallel Computational Algorithms. 78-85
• 
  S. K. Chernonozhkin: Automated Test Generation and Static Analysis. 86-94
• 
  Evgueni S. Petrov, Tatyana M. Yakhno: Subdefinite Models and Logic Programming: Implementation of Constraints. 95-100
• 
  M. Yu. Loenko: Evaluating Elementary Functions with Guaranteed Precision. 101-110

Volume 27, Number 3, May 2001

• 
  Alexey Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih, Mikhail Posypkin: Compilation of Vector Statements of C[] Language for Architectures with Multilevel Memory Hierarchy. 111-122
• 
  V. A. Krukov, R. V. Udovichenko: Debugging DVM Programs. 123-129
• 
  E. A. Zhogolev: Graphical Editors and Graphic Grammars. 130-138
• 
  Yuri A. Blinkov: Method of Separative Monomials for Involutive Divisions. 139-141
• 
  Vladimir V. Kornyak: Computation of Cohomologies of Lie Superalgebras: Algorithm and Implementation. 142-145
• 
  Victor N. Kasyanov: Graph Applications in Programming. 146-164
• 
  L. V. Gorodnyaya, D. V. Irtegov, N. N. Nepeivoda, Igor V. Pottosin, Tatiana G. Churina: All-Siberian Open Olympiad in Programming (Novosibirsk State University). 165-167

Volume 27, Number 4, July 2001

• 
  Victor E. Malyshkin: From the Editor of the Special Issue on Parallel Computations. 169-169
• 
  Olga L. Bandman: Fine-Grained Parallelism in Computational Mathematics. 170-182
• 
  Irina A. Lomazova: Recursive Nested Petri Nets: Analysis of Semantic Properties and Expessibility. 183-193
• 
  S. V. Bakhanovich, Nickolai A. Likhoded: A Method for Parallelizing Algorithms by Vector Scheduling Functions. 194-199
• 
  A. S. Nepomniaschaya: Representation of Edmonds' Algorithm for Finding Optimum Graph Branching on Associative Parallel Processors. 200-206
• 
  V. A. Torgashev, I. V. Tsarev: Means for Organization of Parallel Computations and Programming for Multiprocessors with Dynamic Architecture. 207-216
• 
  Alexander P. Vazhenin, Nikolay N. Mirenkov: Visual Programming System VIM. 217-226

Volume 27, Number 5, September 2001

• 
  Vladimir L. Averbukh: Visualization Metaphors. 227-237
• 
  Victor V. Toporkov: Satisfiability of Dataflow Models of Distributed Programs. 238-244
• 
  A. G. Tormasov, M. A. Khasin, Yu. I. Pakhomov: Ensuring Fault-Tolerance in Distributed Media. 245-251
• 
  V. V. Prokhorov, D. V. Smirnov: A Model of Estimation and Optimization of Expenditures in Multilevel Fuzzy Environments. 252-259
• 
  A. A. Shalyto, N. I. Tukkel: SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems. 260-276
• 
  B. F. Melnikov: Heuristics in Programming of Nondeterministic Games. 277-288

Volume 27, Number 6, November 2001

• 
  Svyatoslav Sergeevich Lavrov: On the Relationship between Foundations of Programming and Mathematics. 289-296
• 
  Leonid B. Sokolinsky: Organization of Parallel Query Processing in Multiprocessor Database Machines with Hierarchical Architecture. 297-308
• 
  Nikolay A. Anisimov, E. A. Golenkov, D. I. Kharitonov: Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems. 309-319
• 
  A. M. Gorelik: Up-to-Date International Standards of the Fortran Programming Language. 320-328
• 
  Michael Okhtilev: Construction of Programs for Real-Time Processing and Analysis of Measuring Information. 329-335
• 
  V. A. Koloskov, M. V. Medvedeva: Models of Active Environment of Self-Organization of Fault-Tolerant Multimicrocontroller. 336-344
• 
  E. A. Zhogolev: The Research Workshop on Computer-Aided Programming in 1999-2000 and 2000-2001 Academic Years. 345-347

last updated on Sat May 25 04:24:05 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page