ISSN 2304-6600 (Online)
ISSN 1997-0935 (Print)



ИНФОРМАЦИОННЫЕ СИСТЕМЫ И ЛОГИСТИКА В СТРОИТЕЛЬСТВЕ

Принуждение системы линейных уравнений к выводу аналитических формул для суммы членов некоторых конечных рядов при помощи специального программирования на ЭВМ

  • Ленев Владимир Степанович - Московский государственный строительный университет (ФГБОУ ВПО «МГСУ»)
DOI: 10.22227/1997-0935.2014.1.181-186
Страницы: 181-186
Приведена достаточно убедительная система математических рассуждений, позволяющих (с помощью компьютерных программ) игнорировать стадии прохождения рекуррентных соотношений, а также методы математической индукции в процессе получения новых аналитических формул.
  • конечные суммы;
  • сумма ряда;
  • аналитическая формула;
  • системы линейных уравнений;
  • рациональные числа;
  • компьютерная программа;
  • программа решения;
  • этапы получения аналитических формул;
  • многочлены в степени;
  • задача Коши;
Литература
  1. Vladimir Lenev. One of the metods of how to make the computer derive analytic formulas // 14th International Conference on Computing in Civil and Building engineering. Moscow, June 27—28, 2012. pp. 168—170.
  2. Ленев В.С. Вывод формул, выражающих точно сумму некоторых конечных рядов с помощью ЭВМ // Вопросы прикладной математики и вычислительной механики : сб. науч. тр. М. : МГСУ, 2000. № 3. С. 105—108.
  3. Ленев В.С. Метод получения с помощью ЭВМ классических формул для исчисления конечных сумм некоторых числовых рядов с использованием программы решения в рациональных числах системы линейных уравнений размерности nxn // Фундаментальные науки в современном строительстве : сб. докладов 3-я науч.-практ. конф. М., 2004. С. 3—9.
  4. ISSN 1997-0935. Vestnik MGSU. 2014. № 1 Информационные системы и логистика в строительстве
  5. Brown W.S., Hearn A.C. Applications of symbolic algebraic computation // Computer Physic Communications. 1979, vol. 17, no. 1—2, pp. 207—215.
  6. Хеминг Р.В. Числовые методы. М. : Наука, 1970.
  7. Акимов П.А., Золотов А.Б., Ширинский В.И. Методы точного аналитического решения многоточечных краевых задач строительной механики // Вестник МГСУ. 2006. № 3. С. 29—39.
  8. Акимов П.А., Мозгалева М.Л. Корректные алгоритмы многоуровневой аппроксимации с использованием дискретного базиса Хаара часть 2: двумерный случай // International Journal for Computational Civil and Structural engineering, 2012, vol. 8, no. 2, pp. 40—46.
  9. Munro N., Tsapekis P. Some recent results using symbolic algebra // IEE International Conference on Control 94. 1994.
  10. Cohen Joes S. Computer Algebra and Symbolic Computation: Elementary Algorithms // AKPeters, LTD, 2002, 323 p.
  11. Alefeld G., Rohn J., rump S.M., Yamamoto T. (Eds). Symbolic Algebraic Methods and Verification Methods // Springer, 2001, 266 p.
  12. Грандштейн Н.С., Рыжик И.М. Таблица интегралов, сумм, рядов и произведений. М. : Наука, 1971.
СКАЧАТЬ