Диссертация (1149672), страница 20
Текст из файла (страница 20)
512 с.63. Хартман Ф. Обыкновенные дифференциальные уравнения / Ф. Хартман // М.:Мир, 1970. 710 с.64. Холшевников К. Фигуры равновесия небесных тел. / К. Холшевников, Н. Питьев, В. Титов // – СПб: Изд-во С.-Петеб. Ун-та, 2002. 104 с.65. Холшевников К. Притяжение небесных тел.
/ К. Холшевников, Н. Питьев, В. Титов // – СПб: Изд-во С.-Петеб. Ун-та, 2005. 106 с.66. Холшевников К. Задача двух тел. / К. Холшевников, В. Титов // – СПб: Изд-воС.-Петеб. Ун-та, 2007. 180 с.67. Чернышева Н. Метод вычисления возмущений в поле вращающегося тела / Н.Чернышева // Вестн. Ленингр.ун-та. Cер. 1: Математика, механика, астрономия.Вып. 4.
1987. С. 83–8968. Чернышева, Н. Возмущенное движение ИСЗ. Диссертация на соискание ученойстепени к.ф.-м.н. / Н. Чернышева // Л.: ЛГУ. 1990.11869. Abad A. Breaking the limits: the Taylor series method / A. Abad, R. Barrio, F. Blesa,M. Rodriguez // Appl.
Math. and Computation. 2011. Pp. 7940–7954.70. Abad, A. ATESAT: software tool for obtaining automatically ephemeris from analytical simplifications / A. Abad, J. San Juan // Cahiers du Centre Europeen de Geodynamique et de Seismologie / Ed. by A. Elipe, P. Paquet. Luxembourg, 1995. Pp. 93–98.71. Andrianov, S.
Component Object Modeling for beam physics problems / S. Andrianov // Proceedings of 1999 Particle Acceleration Conference. New York: 1999. Pp.2701–2703.72. Andrianov, S. LEGO-Technology Approach for Beam Line Design / S. Andrianov //Proc. of the Eighth European Particle Acceleration Conference. Paris: 2002.
Pp.1607–1609.73. Babadzanjanz L. Parameter identification for oscillating chemical reactions modelledby systems of ordinary differential equations / L. Babadzanjanz, J. Boyle, D.Sarkissian, J. Zhu // Journal of Computational Methods for Science and Engineering.Vol. 3, no. 2. 2003. Pp. 223–232.74. Berz M. Computational differentiation: techniques, applications, and tools. / M. Berz,C.
Bischof, G.F. Corliss // SIAM. 1996. 419 pp.75. Berz, M. COSY INFINITY, Version 8.1 Programming manual: Technical ReportMSUHEP-20703–48824 / M. Berz, J. Hoefkens, K. Makino // East Lansing, MI: Department of Physics and Astronomy,Michigan State University, 2002.http://cosy.pa.msu.edu.76. Berz, M. Taylor models and other validated functional inclusion methods / M.
Berz,K. Makino // International Journal of Pure and Applied Mathematics. Vol. 4, no. 4.2003. Pp. 379–456.77. Bloch J. Effective Java (2nd Edition) / J. Bloch // London: Addison-Wesley, 2008.346 pp.11978. Booch, G. The Unified Modeling Language User Guide / G. Booch, I. Jacobson, J.Rumbaugh // London: Addison-Wesley Professional, 1998. 512 pp.79. Bournez O. Polynomial differential equations compute all real computable functionson computable compact intervals / O. Bournez, M. Campagnolo, D. Graёca, E. Hainry// Journal of Complexity.
2007. Pp. 317–335.80. Carothers D. Some properties of solutions to polynomial systems of differentialequations / D. C. Carothers, G. E. Parker, J. S. Sochacki, P. G. Warne // ElectronicJournal of Differential Equations. 2005. Vol. N 40. 2005, Pp. 1–17.81. Chang, Y. Automatic solution of differential equations / Y. Chang // In Constructiveand Computational Methods for Differential and Integral Equations. Lecture Notes inMathematics, Vol. 430 / Ed.
by D. Colton, R. Gilbert. New York: Springer-Verlag,1974. Pp. 61–94.82. Chang Y. ATOMFT: solving ODEs and DAEs using Taylor series / Y.F. Chang, G.Corliss // Comput. Math. Appl. 28, N 10–12. 1994. Pp. 209–233.83. Corliss, G. Solving ordinary differential equations using Taylor series / G. Corliss, Y.Chang // ACM Transactions on Mathematical Software. June.
Vol. 8, no. 2. 1982. Pp.114–144.84. Deitel P. Java: How to Program, 9th Edition / P. Deitel, H. Deitel // Prentice Hall,2011. 1496 pp.85. Fowler M. Patterns of Enterprise Application Architecture / M. Fowler // London:Addison-Wesley Professional, 2002. 560 pp.86. Gaddis T.
Starting Out with Java: From Control Structures through Objects / T. Gaddis // Addison-Wesley, 2012. 1152 pp.87. Gerdt V. Involutive Algorithms for Computing Gröbner Bases. In: “ComputationalCommutative and Non-Commutative Algebraic Geometry” / V.P. Gerdt // NATO Science Series, IOS Press, 2005, Pp. 199—225.12088. Gerdt V. Specialized Computer Algebra System GINV. / V.P. Gerdt, Yu.A. Blinkov// Programming and Computer Software, Vol. 34, No. 2, 2008, Pp. 112—123.89. Goetz B. Java Concurrency in Practice / B. Goetz , T. Peierls, J. Bloch, J.
Bowbeer,D. Holmes, D. Lea // London: Addison-Wesley Professional, 2006. 384 pp.90. Graёca, D. Computability with polynomial differential equations / D. Graёca, M.Campagnolo, J. Buiescu // Advances in Applied Mathematics. Vol. 40. 2008. Pp. 330–349.91. Griewank A. Evaluating derivatives. / A. Griewank // SIAM.
2000. 369 pp.92. Griewank, A. ADOL-C: a package for the automatic differentiation of algorithmswritten in C/C++ / A. Griewank, D. Juedes, J. Utke // ACM Transactions on Mathematical Software. no. 22. 1996. Pp. 131–167.93. Hairer, E. ODE solvers for IVPs / E. Hairer. Электронный источникhttp://www.unige.ch/~hairer/software.html.94.
Hoefkens J. Computing validated solutions of implicit differential Equations / J.Hoefkens, M. Berz, K. Makino // Adv. Comput. Math. 19. 2003. Pp. 231–253.95. Horstmann C. S. Core Java Volume I—Fundamentals / C. S. Horstmann, G. Cornell// Prentice Hall, 2012. 1008 pp.96. Horstmann C. Java SE 8 for the Really Impatient / C. S. Horstmann // London: Addison-Wesley Professional, 2014. 240 pp.97. Jorba, A. Software Package for the Numerical Integration of ODEs by Means ofHigh–Order Taylor Methods / `A.
Jorba, M. Zou // Experimental Mathematics. Vol.14, no. 1. 2005. Pp. 99–117.98. Lara M. Automatic programming of recurrent power series / M. Lara, A. Elipe, MPalacios. // Math. Comput. Simul. no. 49. 1999. Pp. 351–362.99. Liang Y. Introduction to Java Programming / Y. D. Liang // Prentice Hall, 2012. 1344pp.121100.
Makino K. COSY INFINITY Version 9 / K. Makino, M. Berz // Nuclear Inst. andMethods in Physics Research. vol. A 558: vol. A issue 1. 2006. Pp. 346-350.101. Makino K. Taylor models and other validated functional inclusion methods / K.Makino, M. Berz // International Journal of Pure and Applied Mathematics,: 2003. Pp.239–316.102. Mangano S.
Mathematica Cookbook / S. Mangano // O'Reilly Media, 2010, 830 pp.103. Miletics, E. Taylor series method with numerical derivatives for initial value problems / E. Miletics, G. Molnґarka // Journal of Computational Methods in Sciences andEngineering. Vol. 4. 2004. Pp. 105–114.104. Molnarka G. Implicit extension of Taylor series method with numerical derivativesfor initial value problems / E.
Miletics, G. Molnґarka // Computers & Mathematicswith Applications. 50, N 7. 2005. Pp. 1167–1177.105. Murray C., Dermott S.F. Solar system dynamics / C. Murray, S. Dermott // Cambridge University Press. 2008. 608 pp.106. NASA Jet Propulsion Laboratory URL: ssd.jpl.nasa.gov/?constants107. Naumann U. The Art of Differentiating Computer Programs: An Introduction toAlgorithmic Differentiation / U. Naumann // SIAM. 2012. 340 pp.108. Nedialkov, N. An effective high-order interval method for validating existence anduniqueness of the solution of an IVP for an ODE / N. Nedialkov, K.
Jackson, J. Pryce// Reliable Computing. Vol. 7, no. 6. 2001. Pp. 449–465.109. Nedialkov, N. Solving differential-algebraic equations by Taylor series (I): Computing Taylor coefficients / N. Nedialkov, J. Pryce // BIT. 2005. 30 pp.110. Oaks S. Java Performance: The Definitive Guide / S. Oaks // O'Reilly Media, 2014.426 pp.111. Oesterwinter C. New orbital elements for Moon and planets / C.
Oesterwinter, C.J.Cohen // Celestial Mech. 5, N 3. 1972. Pp. 317–395.122112. Olver, F. W.J. NIST Handbook of Mathematical Functions / F. Olver, D. Lozier, R.Boisvert, C. Clark // Cambridge. 2010. 968 pp.113. Parker, G. Implementing the Picard iteration / G. Parker, J. Sochacki // Neural, Parallel and Scientific Computation. no. 4. 1996. Pp. 97–112.114. Parker G., A Picard–McLaurin theorem for initial value PDE’s / G. Parker, J.Sochacki // Abstract and Appl. Analysis. no. 5.
2000. Pp. 47–63.115. Poincaré H. Sur les courbes définies par les équations différentielles (IV) // Journalde mathématiques pures et appliquées 4e série. Tome 2. 1886. Pp. 151-218.116. Press W., Teukolsky S., Vettering W., Flannery B. Numerical recipes: The Art of Scientific Computing. Third Edition // Cambridge University Press. 2007.















