×

Found 52 Documents (Results 1–52)

Validating an a priori enclosure using high-order Taylor series. (English) Zbl 0851.65054

Alefeld, Götz (ed.) et al., Scientific computing and validated numerics. Proceedings of the international symposium on scientific computing, computer arithmetic and validated numerics SCAN-95, Wuppertal, Germany, September 26-29, 1995. Berlin: Akademie Verlag. Math. Res. 90, 228-238 (1996).
MSC:  65L05 34A34 65G30
PDFBibTeX XMLCite

ODE solving via automatic differentiation and rational prediction. (English) Zbl 0849.65049

Griffiths, D. F. (ed.) et al., Numerical analysis 1995. Proceedings of the 16th Dundee conference on numerical analysis, University of Dundee, UK, June 27-30, 1995. Harlow: Longman. Pitman Res. Notes Math. Ser. 344, 36-56 (1996).
PDFBibTeX XMLCite

The coefficients of some power series. (English) Zbl 1009.41502

Herceg, D. (ed.) et al., X conference on applied mathematics, PRIM ’95, Budva, Yugoslavia, May 29-31, 1995. Novi Sad: University of Novi Sad, Institute of Mathematics, Faculty of Science, 29-32 (1996).
MSC:  41A58
PDFBibTeX XMLCite

Some formulae of Taylor type. (English) Zbl 0925.41016

Osmatescu, Petre (ed.), 9th Tiraspol symposium on general topology and its applications, Tiraspol, Moldova, August 5–11, 1996. Chişinău: Editura “Tehnica”, Univ. Tehnică Moldovei. Scripta Scientiarum. 79-81 (1996).
MSC:  41A58 26A24
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 3

Main Field

Software