Method of Separative Monomials for Involutive Divisions Yu. A. Blinkov OriginalPaper Pages: 139 - 141
Compilation of Vector Statements of C[] Language for Architectures with Multilevel Memory Hierarchy A. Ya. KalinovA. L. LastovetskyM. A. Posypkin OriginalPaper Pages: 111 - 122
Evaluating Elementary Functions with Guaranteed Precision M. Yu. Loenko OriginalPaper Pages: 101 - 110
Subdefinite Models and Logic Programming: Implementation of Constraints E. S. PetrovT. M. Yakhno OriginalPaper Pages: 95 - 100
Support Facilities for Development of Parallel Computational Algorithms S. I. KatkovI. V. Pottosin OriginalPaper Pages: 78 - 85
Visualization Facilities in Program Reengineering D. E. BaburinM. A. BulyonkovN. N. Filatkina OriginalPaper Pages: 69 - 77
Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets V. A. NepomniaschyG. I. AlekseevT. G. Churina OriginalPaper Pages: 58 - 68
An Algorithm for Nonparametric Decomposition of Differential Polynomials M. V. Sosnin OriginalPaper Pages: 43 - 49
On the q-Analogue of Zeilberger's Algorithm to Rational Functions H. Q. Le OriginalPaper Pages: 35 - 42
Diagram Technique for Hypergeometric Series of Several Variables A. V. NiukkanenP. A. Niukkanen OriginalPaper Pages: 29 - 34
Computation of the Differential Dimension Polynomial When Changing Generators in the Dirac Equations M. V. KondratievaV. A. Mityunin OriginalPaper Pages: 25 - 28
Fast Search for the Janet Divisor V. P. GerdtD. A. YanovichYu. A. Blinkov OriginalPaper Pages: 22 - 24
Algebraic Perturbation Theory for Hydrogen Atom in Weak Electric Fields A. A. GusevV. N. SamoilovS. I. Vinitsky OriginalPaper Pages: 18 - 21
Representation of Algebraic Functions As Power and Fractional Power Series of Special Type A. M. MitichkinaA. A. Ryabenko OriginalPaper Pages: 6 - 11
Solution of the Inverse Problem for the Two-Dimensional Discrete Schrödinger Equation Using REDUCE S. I. Serdyukova OriginalPaper Pages: 4 - 5
The Scientific Research Seminar on Computer Algebra in 1999–2000 S. A. AbramovA. P. KryukovV. A. Rostovtsev OriginalPaper Pages: 1 - 3
A Concept of a Universal Server for the Client–Server Architecture D. A. Volkov OriginalPaper Pages: 341 - 345
Construction of the Algorithm Graph by Autotracing Method N. M. Ershov OriginalPaper Pages: 335 - 340
Decomposition of Methods and Parallelization of Algorithms for Solving Aerodynamics and Physical Gas Dynamics Problems: Computer System Potok-3 G. A. TarnavskiiS. I. Shpak OriginalPaper Pages: 326 - 334
Andrei Ershov Fourth International Conference: Perspectives of Information Systems July 3–6, 2001, Novosibirsk, Akademgorodok A. V. Zamulin Announcement Pages: 292 - 294
Synthesizing structures of real-time computer systems using genetic algorithms V. A. KostenkoR. L. SmelyanskiiA. G. Trekin OriginalPaper Pages: 281 - 288
Universal numerical algorithms and their software implementation G. L. LitvinovE. V. Maslova OriginalPaper Pages: 275 - 280
On the minimal time required for execution of distributed concurrent processes in synchronous modes V. P. IvannikovN. S. KovalenkoV. M. Metel'skii OriginalPaper Pages: 268 - 274
On a generalization of regular expression A. L. GomozovL. I. Stanevichene OriginalPaper Pages: 258 - 267
Analysis of equivalence relations of event structures with continuous time E. N. BozhenkovaI. B. Virbitskaite OriginalPaper Pages: 249 - 257
Complete system of equivalent transformations for two-tape automata with disjoint loops R. I. PodlovchenkoV. E. KhachatryanYu. G. Chashin OriginalPaper Pages: 237 - 248
A language and programming environment for high-performance parallel computing on heterogeneous networks A. L. LastovetskyA. Ya. KalinovM. A. Posypkin OriginalPaper Pages: 216 - 236
Implementing associations among classes in an environment of active databases J. TorresO. MartinM. Toro OriginalPaper Pages: 207 - 215
Automatic document classification based on latent semantic analysis I. KuralenokI. Nekrest'yanov OriginalPaper Pages: 199 - 206
Mapping the XML data model into the object model of the SYNTHESIS language M. A. OsipovO. L. Machul'skyL. A. Kalinichenko OriginalPaper Pages: 192 - 198
Formal methods for verification of websites macrostructure integrity M. R. KogalovskyE. N. EfimovaV. B. Brakhin OriginalPaper Pages: 186 - 191
Integrated information resource system of the Russian Academy of Sciences and a technology for developing digital libraries A. N. BezdushnyiA. B. ZhizhchenkoV. A. Serebryakov OriginalPaper Pages: 177 - 185
Methods for integration of heterogeneous information resources in molecular biology in the digital library GeneExpress F. A. KolpakovN. L. PodkolodnyiN. A. Kolchanov OriginalPaper Pages: 170 - 176
Using intelligent internet robots for building topic-specific collections E. V. RomanovaM. V. RomanovI. S. Nekrest'yanov OriginalPaper Pages: 163 - 169
On the identification of electronic documents and collections A. G. MarchukA. E. Osipov OriginalPaper Pages: 156 - 162
Systematization of information resources collections in digital libraries M. R. Kogalovsky OriginalPaper Pages: 140 - 155
Consistency control for semistructured data E. A. GorshkovaI. S. Nekrest'yanovE. Yu. Pavlova OriginalPaper Pages: 134 - 139
Designing personalized digital libraries over websites with semistructured data L. A. KalinichenkoN. A. SkvortsovI. A. Chaban OriginalPaper Pages: 123 - 133
Digital libraries as a new class of information systems (from the editors of the special issue) M. R. KogalovskyB. A. Novikov OriginalPaper Pages: 119 - 122
The Research Workshop on Computer-Aided Programming in the Academic Year of 1998/99 E. A. Zhogolev Announcement Pages: 116 - 117
Improved algorithms for solving difference andq-difference equations D. E. Khmel’nov OriginalPaper Pages: 107 - 115