메뉴 건너뛰기




Volumn 188, Issue 1, 2007, Pages 286-302

An algorithm for solving singular perturbation problems with mechanization

Author keywords

Algorithm; Finite difference method; matlab; Mechanization; Singular perturbation problems (SPP)

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; FINITE DIFFERENCE METHOD; MECHANIZATION; PROBLEM SOLVING;

EID: 34247876015     PISSN: 00963003     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.amc.2006.09.132     Document Type: Article
Times cited : (24)

References (26)
  • 1
    • 0022786053 scopus 로고
    • Basic principles of mechanical theorem proving in elementary geometries
    • Wu W. Basic principles of mechanical theorem proving in elementary geometries. J. Automat. Reasoning. 2 (1986) 221-252
    • (1986) J. Automat. Reasoning. , vol.2 , pp. 221-252
    • Wu, W.1
  • 3
    • 3142541444 scopus 로고    scopus 로고
    • An initial-value approach for solving singular perturbed two-point boundary value problems
    • Reddy Y.N., and Chakravarthy P.P. An initial-value approach for solving singular perturbed two-point boundary value problems. Appl. Math. Comput. 155 (2004) 95-110
    • (2004) Appl. Math. Comput. , vol.155 , pp. 95-110
    • Reddy, Y.N.1    Chakravarthy, P.P.2
  • 4
    • 0346910169 scopus 로고    scopus 로고
    • Numerical patching method for singularly perturbed two-point boundary value problems using cubic splines
    • Reddy Y.N., and Pramod Chakravarthy P. Numerical patching method for singularly perturbed two-point boundary value problems using cubic splines. Appl. Math. Comput. 149 (2005) 441-468
    • (2005) Appl. Math. Comput. , vol.149 , pp. 441-468
    • Reddy, Y.N.1    Pramod Chakravarthy, P.2
  • 8
    • 0032166374 scopus 로고    scopus 로고
    • Calculation of Weights in Finite Difference Formulas
    • Fornberg B. Calculation of Weights in Finite Difference Formulas. SIAM, Rev. 40 (1998) 685-691
    • (1998) SIAM, Rev. , vol.40 , pp. 685-691
    • Fornberg, B.1
  • 9
    • 34247850004 scopus 로고    scopus 로고
    • S. Wolfram, The numerical method of lines for partial differential equations. Available from: .
  • 19
    • 34247893018 scopus 로고    scopus 로고
    • L.F. Shampine, M.W. Reichelt, and J.Kierzenka, Solving boundary value problems for ordinary differential equations in Matlab with bvp4c, 2000. Available from: .
  • 20
    • 2442576081 scopus 로고    scopus 로고
    • Algorithm 827: irbleigs: A MATLAB program for computing a few eigenpairs of a large sparse Hermitian matrix
    • Baglama J., Calvetti D., and Reichel L. Algorithm 827: irbleigs: A MATLAB program for computing a few eigenpairs of a large sparse Hermitian matrix. ACM Trans. Math. Soft. 29 (2003) 337-348
    • (2003) ACM Trans. Math. Soft. , vol.29 , pp. 337-348
    • Baglama, J.1    Calvetti, D.2    Reichel, L.3
  • 21
    • 2942692216 scopus 로고    scopus 로고
    • Algorithm 835: MultRoot-a Matlab package for computing polynomial roots and multiplicities
    • Zeng Z. Algorithm 835: MultRoot-a Matlab package for computing polynomial roots and multiplicities. ACM Trans. Math. Soft. 30 (2004) 218-236
    • (2004) ACM Trans. Math. Soft. , vol.30 , pp. 218-236
    • Zeng, Z.1
  • 22
    • 23044483280 scopus 로고    scopus 로고
    • A MATLAB implementation of upwind finite differences and adaptive grids in the method of lines
    • VandeWouwera A., Saucez P., Schiesser W.E., and Thompson S. A MATLAB implementation of upwind finite differences and adaptive grids in the method of lines. Comput. Appl. Math. 183 (2005) 245-258
    • (2005) Comput. Appl. Math. , vol.183 , pp. 245-258
    • VandeWouwera, A.1    Saucez, P.2    Schiesser, W.E.3    Thompson, S.4
  • 23
    • 34247858211 scopus 로고    scopus 로고
    • Z. Li, W. Wang, Mechanization for solving SPP by reducing order method, Appl. Math. Comput., in press.


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.