Concepts on formation of the mathematical tools of cybernetics in the works of V. M. Glushkov Yu. V. KapitonovaA. A. Letichevskii OriginalPaper Pages: 695 - 700
Yet another machine experiment in support of Riemann's conjecture Yu. V. Matiyasevich BriefCommunication Pages: 705 - 707
Mathematical models and computing algorithms for the flow of a viscous fluid N. N. Yanenko OriginalPaper Pages: 715 - 722
Modeling of programs by flow diagrams and construction of diagram transformation systems R. I. Podlovchenko OriginalPaper Pages: 723 - 731
One language of specifications Ya. N. Barzdin'A. K. Zarin'shA. A. Kalnin'sh OriginalPaper Pages: 732 - 747
Trends in the development of methods of discrete optimization and their software base I. V. Sergienko OriginalPaper Pages: 754 - 764
Polyhedral aspects of discrete optimization V. A. EmelichevM. M. Kovalev OriginalPaper Pages: 765 - 777
The PRIZ system and propositional calculus B. B. VolozhM. B. MatskinÉ. Kh. Tyugu OriginalPaper Pages: 777 - 788
Finite subgroups of the group GL (n,Z) P. M. GudivokA. A. KirilyukA. I. Tsitkin OriginalPaper Pages: 788 - 803
Application of electronic computers in the theory of substitution groups and its applications A. A. KaluzhninV. I. SushchanskiiV. A. Ustimenko OriginalPaper Pages: 804 - 819
Use of computers in solving well-known algebra problems V. V. BludovA. I. Kokorin OriginalPaper Pages: 819 - 829
Specification methods and partial construction of theory by computer V. I. Mart'yanov OriginalPaper Pages: 829 - 839
Numerical theorem proving by electronic computers and its application in various branches of mathematics P. S. PankovB. D. BayachorovaS. A. Yugai OriginalPaper Pages: 840 - 848