Reliable and Accurate Solving of Systems of Algebraic and Differential Equations in C Language

Basic statements and scientific results of many-year works in the field of numerical simulation of dynamic systems are given that underlie the mathematical program library SADEL (Sets of Algebraic and Differential Equations solvers Library). SADEL is the C language library destined for solving algebraic and differential equations with maximum possible computer precision. Results of solving the test and practical problems are given that confirm the effectiveness of the SADEL programs.

References

[1] Andronov A.V., Zhuk D.M., Kozhevnikov D.Yu., Manichev V.B. Biblioteka matematicheskikh programm-reshateley na yazyke Si: SADEL [Library of mathematical problem solvers in C: SADEL] Available at: http://www.pa10.ru (accessed 14.01.14) (in Russ.).

[2] Zhuk D.M., Manichev V.B., Sakharov M.K. SADEL - library "extremely-precise" problem solvers for complex software PA10 (SADEL-PA10). Sb. nauch. trudov VI Vserossiyskoy nauchno-tekhn. konf. "Problemy razrabotki perspektivnykh mikro- i nanoelektronnykh sistem MES-2012 [Call. Papers of All-Russ. Sc.-Techn. СопГ "Development problems of advanced micro-and nanoelectronic systems"], Moscow, IPPM RAN Publ., 2012. pp. 147-153 (in Russ.).

[3] IEEE Standard for Floating-Point Arithmetic 754-2008, IEEE, 2008. Available at: http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=5223319&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D5223319 (accessed 28.12.2013).

[4] Norenkov I.P., Trudonoshin V.A., Fedoruk V.G. Method of mathematical models formation for adaptable software systems of electronic circuits analysis. Radiotekhnika [Radioengineering], 1986, no. 9, pp. 67-72 (in Russ.).

[5] Zhuk D.M., Manichev V.B., Il’nitskiy A.O. Methods and algorithms for solving differential-algebraic equations for simulation systems and objects in the time domain. Informatsionnye tekhnologii [Information technologies], 2010, no. 7, pp. 16-24 (ch. 1); no. 8, pp. 23-26 (ch. 2) (in Russ.).

[6] Manichev V.B. New algorithms for program analysis of the dynamics of technical systems. Vestn. Mosk. Gos. Tekh. Univ. im. N.E. Baumana, Priborostr. [Herald of the Bauman Moscow State Tech. Univ., Instrum. Eng.], 1996, no. 1, pp. 48-56 (in Russ.).

[7] Snytnikov VN., Mishchenko T.I., Snytnikov VN., Malykhin S.E., Avdeev V.I., Parmon V.N. Autocatalytic gas-phase dehydrogenation of ethane. Research on Chem. Int., 2012, vol. 38, iss. 3-5, pp. 1133-1147.