Главная Промышленная автоматика.

30. е р ш о в А. П. (ред.) Альфа-система автоматизации программирования. Новосибирск, Ин-т математики СО АН СССР, 1965.

31. Сообщение о процедурах ввода - вывода в языке АЛГОЛ-60. - «Ж- вычисл. матем. и матем. физ.», 1964, № 5.

32. Tables of associated Legendre functions. National Bureau of Standards. Columbia Univ. Press, New York, 1945.

33. Мелентьев П. В. Приближенные вычисления. М., Физматгиз, 1962.

34. Л а в р е н т ь е в М. А., Ш а б а т Б. В. Методы теории функций комплексного переменного. М., Физ.матгиз, 1965.

35. В о л к о в ы с к и й Л. И., Л у н ц Г. Л., А р а м а н о в и ч И. Г. Сборник задач по теории функций комплексного переменного. М., «Наука», 1970.

36. Янке. е., Эмде Ф., Л е ш Ф. Специальные функции. М., «Наука», 1968.

37. С era л Б. И., Се-мендяев К. А. Пятизначные математические таблицы. М., Физматгиз, 1962.

38. Библиотека алгоритмов 16-506. М., «Сов. радио», 1975. Авт.: Агеев М. И., Алик В. П., Галис Р. М., Марков Ю. И.

39. Ветчинкин В. П. Новые формулы и таблицы эллиптических интегралов и функций. М., ВВА РККА, 1935.

40. В е 11 А. G. Algorithm 50. How to program a computer to play legal chess. - «The Computer Journab, 1970, v. 13, Ne 5.

41. Алгоритмы и алгоритмические языки. Вып. 3, 4 и 5. М., ВЦ АН СССР, 1968-1971.

42. М а п п i п g J. R. Algorithm 68. White to move and mate in n moves. - «The Computer Journab, 1971, v. 14, № 2.

43. A л e к с e e в a C. M. и A л e к с e e в О. Г. Об алгоритме определения кратчайшего пути в сетевом графе. - «Ж. вычисл. матем. и матем. физ.», 1971, № 4, с. 1078-1086.

44. Л я ш е н к о В. Ф. Программирование для цифровых вычислительных машин М-20, БЭСМ-ЗМ, БЭСМ-4, М-220. М., «Сов. радио», 1967.

45. Савинков В. М., Цальп В. Д., Программирование на АЛГОЛе. М., «Выс- шая школа», 1975.

Список литературы, на которую Ссылаются авторы исходных алгоритмов

li. D w у е г Р. S. Linear Computations. Wiley, 1951;

2i. D i D о п а t о A. R., H e r s h e у A. V. New Formulae for Computing Incomplete Elliptic Integrals of the First and Second Kind. -«J. АСМ», Oct. 1959, 6, 4.

3i. Warshall S. A theorem on Boolean matrices. - «J. АСМ», 1962, 9, 11-12.

4i. Good I. J. A Five-year Plan for Automatic Chess. Edinburgh, Machine Intelligence 2, Oliver and Boyed, 1967.

51. G r e e n b 1 a 11 R. D., E a s 11 a к e D. E., Crocker S. D. The Greenblatt Chess Program. Thomson. AFIPS Conference Proceedings, 1967.

6i. H u b e r m a n B. J. A Program to Play Chess End Games. Stanford University, Computer Science Department, Technical Report № CS106, 1968.

7i. S a m u e 1 A. L. Some Studies in Machine Learning using the Game of Checkers. II-Recent Progress, IBM Journal, November, 1967.

8i. S с 0 11 J. J. A chess-playing program. Machine Intelligence 4, Edinburgh University Press, 1969.

91. L i p t 0 n M., M a 11 h e w s R. C. O., R i с e J. M. Chess problem: Introduction to an

art. Faber & Faber. 1963. lOi. Peck J. E. L. Polynomial curve fitting with constraint. - «Soc. Indust. Appl. Math. Rev.», 1961.



Hi. G о е г z е 1 G. Mathematical Methods for Digital Computers.

121. Legendre A. M. Tafeln der lElliptischen Normalintegrale. Stuttgart, 1931.

131. Romberg W. Vereinfachte numerische Integration. Det. Konglinge Norske Vi-denskaber Selskab Forhandlinger, 28, 1955, 30-36.

141. Stiefel E., Rutishauser H. Remarques concernant Iintegration numerique.--«Comptes Rendus Acad. Seil» (Paris), 252, 1961, 1899-1900.

151. В a u e r F. L., R u t i s h a u s e r H., S t i e f e 1 E. New aspects in numerical quadrature. - «Proc. Symp. AppL Math.», 15, 1963, (199-218).

161. Rutishauser H. Ausdehnung des Rombergchen Prinzips. - «Numer. Math.», 5,. 1963 (48-54).

17i. Greenstadt J. The determination of the characteristic roots of a matrix by the Jacobi method. In: «Mathematical Methods for Digital Computers*. A. Ralston and H. S. Wilf, eds.

181. Floyd R. W. Assigning meanings to programs. Proc. of a Symposium in Applied. Mathematics, Vol 19 - Mathematical Aspects of Computer Science, J. T. Schwartz (Ed.), American Math. Society, Providence, R. I., 1967, pp. 19-32.

191. Knuth D. E. The Art of Computer Programming. Vol. 1-Fundamental Algorithms. Addison-Wesley, Reading, Mass., 1968, Sec. 1.2.1.

20i. McCarthy J. A. basis for a mathematical theory if computation. In Computer Programming and Formal Systems, P. Braffort and D. Hirschberg (Eds.). North Holland, Amsterdam, 1963, pp. 33-70.

21i. McCarthy J. and Painter J. A. Correctness of a compiler for arithmetic expressions. Proc. of a Symposium in Applied Mathematics. Vol. 19-Mathematical-Aspects of Computer Science, J. T. Schwartz (Ed.), American Math. Society, Providence, R. I., 1967, pp. 33-41.

221. Naur P. Proof of algorithms by general snapshots. BIT6, 1966, pp. 310-316.

23i. Naur P. (Ed.) Revised report on the algorithmic language, ALGOL-60. - «Сотр.. J.», 5 (Jan. 1963), 349-367.

24i. H о a r e C. A R. An axiomatic basis for computer programming. - «Comm. ACM»p 12 (Oct. 1970), 576-583.

251. В u r s t a 11 R. M. Proving properties of programs by structural induction. - «Сотр. J.», 1969, № 9, 41-48.

26i. Good D. I. and London R. L. Interval arithmetic for the Burroughs B5500: Four

Algol procedures and proofs of their correctness. Computer Science Tech. Rep. №26,

U. of Wisconsin, Madison, Wis., June 1968. 271. Good D. I. and London R. L. Computer interval arithmetic: Definition and

proff of correct implementation. - «J. АСМ», 17 (Oct 1970), 603-612. 281. Van WijngaardenA. Numerical analysis as an independent science. - «BIT»,

6 (1966), 66-81.

291. Parsons R. G. Certification of Algorithm 147. -«Comm. АСМ», 12 (Dec. 1969), 691-692. (Русский перевод: P. Парсонс «Подтверждение к алгоритму 147» [38]).

301. Cobb S. М. Certification of Algorithm 47. -«Comm. АСМ», 12 (Nov. 1969),.

635-636. (Русский перевод: С. Кобб «Подтверждение к алгоритму 47» [38]). 311. London R. L. Proving programs correct: some techniques and examples. - «В1Т»,.

10 (1970), 168-182.

32i. London IR. L. Computer programs can be proved correct. In Theoretical Approaches to Non-Numerical Problem .Solving. R. B. Banerji and M. D. Mesarovic (Eds.),. Lecture Notes in Operations Research and Mathematical Systems 28, Springer Verlag, New York, 1970, pp. 281-302.

SSL Moore R. Automatic Error Analysis in Digital Computation. KMSD Report 48421» 28 Jaa 1959.

34i. Fettis HE. Algorithm 163. Modified Hankel f unktion. - «САСМ», 1963, Ws 9.





0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 [43]

0.0017