Запис о доказима методе
Runge-Kutta Method
The Runge-Kutta Method is a family of explicit numerical techniques for solving ordinary differential equations (ODEs) developed independently by Carl Runge in 1895 and Martin Kutta in 1901. The fourth-order variant (RK4) is one of the most widely used algorithms in computational science and engineering for time-stepping problems.
Изворни запис
Цитирани радови су копирани дословно из изворног записа методе. Из њих се не изводи верификација на нивоу тврдње.
Runge-Kutta Method for Numerical Integration
Таксономски запис методе · ml-model / numerical-methods
- Runge, C. (1895). Ueber die numerische Auflösung von Differentialgleichungen. Mathematische Annalen, 46(2), 167–178. · DOI 10.1007/BF01446807
- Kutta, M. W. (1901). Beitrag zur näherungsweisen Integration totaler Differentialgleichungen. Zeitschrift für Mathematik und Physik, 46, 435–453. · URL
- Butcher, J. C. (2008). Numerical Methods for Ordinary Differential Equations (2nd ed.). Wiley. · DOI 10.1002/9780470753767
Куроване тврдње
Тврдње су сачуване у регистру доказа, свака са својом проценом.
Још увек нема курованих тврдњи
Овај приказ не измишља процену тврдње када регистар нема ниједну.
Сродне методе
Генерисано из графа метода и приказано као машински предложене везе — не изводи се тврдња доказа.
Још увек нема сродних метода
Генерисани граф релација нема излазну релацију за ову методу.