메뉴 건너뛰기




Volumn 173, Issue 2, 2006, Pages 1149-1162

Mechanical algorithm for solving the second kind of Volterra integral equation

Author keywords

Algorithm; Maple; Mathematical induction method; Mechanization; Neumann series; Volterra integral equation

Indexed keywords

ALGEBRA; INTEGRAL EQUATIONS; ITERATIVE METHODS; MECHANIZATION; THEOREM PROVING;

EID: 32644437433     PISSN: 00963003     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.amc.2005.04.060     Document Type: Article
Times cited : (8)

References (22)
  • 1
    • 0039658104 scopus 로고    scopus 로고
    • Two methods for solving integral equations
    • A.M. Wazwaz Two methods for solving integral equations Appl. Math. Comput. 77 1996 79 89
    • (1996) Appl. Math. Comput. , vol.77 , pp. 79-89
    • Wazwaz, A.M.1
  • 2
    • 0008175028 scopus 로고    scopus 로고
    • A reliable technique for solving the weakly singular second-kind Volterra-type integral equations
    • A.M. Wazwaz A reliable technique for solving the weakly singular second-kind Volterra-type integral equations Appl. Math. Comput. 80 1996 287 299
    • (1996) Appl. Math. Comput. , vol.80 , pp. 287-299
    • Wazwaz, A.M.1
  • 3
    • 0033353533 scopus 로고    scopus 로고
    • A simple Taylor-series expansion method for a class of second kind integral equations
    • Y. Ren, B. Zhang, and H. Qiao A simple Taylor-series expansion method for a class of second kind integral equations J. Comput. Appl. Math. 110 1999 15 24
    • (1999) J. Comput. Appl. Math. , vol.110 , pp. 15-24
    • Ren, Y.1    Zhang, B.2    Qiao, H.3
  • 4
    • 0345867026 scopus 로고    scopus 로고
    • Numerical solution of linear Fredholm integral equation by using hybrid Taylor and Block-Pulse functions
    • K. Maleknejad, and Y. Mahmoudi Numerical solution of linear Fredholm integral equation by using hybrid Taylor and Block-Pulse functions Appl. Math. Comput. 149 2004 799 806
    • (2004) Appl. Math. Comput. , vol.149 , pp. 799-806
    • Maleknejad, K.1    Mahmoudi, Y.2
  • 5
    • 10644253497 scopus 로고    scopus 로고
    • Numerical solutions of Volterra integral equations of the second kind with convolution kernel by using Taylor-series expansion method
    • K. Maleknejad, and N. Aghazadeh Numerical solutions of Volterra integral equations of the second kind with convolution kernel by using Taylor-series expansion method Appl. Math. Comput. 161 2005 915 922
    • (2005) Appl. Math. Comput. , vol.161 , pp. 915-922
    • Maleknejad, K.1    Aghazadeh, N.2
  • 6
    • 0000992795 scopus 로고    scopus 로고
    • The approximate solution of high-order linear Volterra-Fredholm integro-differential equations in terms of Taylor polynomials
    • S. Yalcinbas, and M. Sezer The approximate solution of high-order linear Volterra-Fredholm integro-differential equations in terms of Taylor polynomials Appl. Math. Comput. 112 2000 291 308
    • (2000) Appl. Math. Comput. , vol.112 , pp. 291-308
    • Yalcinbas, S.1    Sezer, M.2
  • 7
    • 0037089760 scopus 로고    scopus 로고
    • Taylor polynomial solutions of nonlinear Volterra-Fredholm integral equations
    • S. Yalcinbas Taylor polynomial solutions of nonlinear Volterra-Fredholm integral equations Appl. Math. Comput. 127 2002 195 206
    • (2002) Appl. Math. Comput. , vol.127 , pp. 195-206
    • Yalcinbas, S.1
  • 8
    • 4644351112 scopus 로고    scopus 로고
    • Single-term Walsh series method for the Volterra integro-differential equations
    • B. Sepehrian, and M. Razzaghi Single-term Walsh series method for the Volterra integro-differential equations Eng. Anal. Bound. Elem. 28 2004 1315 1319
    • (2004) Eng. Anal. Bound. Elem. , vol.28 , pp. 1315-1319
    • Sepehrian, B.1    Razzaghi, M.2
  • 9
    • 3943072374 scopus 로고    scopus 로고
    • Numerical solution of functional differential, integral and integro-differential equations
    • M.T. Rashed Numerical solution of functional differential, integral and integro-differential equations Appl. Numer. Math. 156 2004 485 492
    • (2004) Appl. Numer. Math. , vol.156 , pp. 485-492
    • Rashed, M.T.1
  • 10
    • 0031166382 scopus 로고    scopus 로고
    • Mixed interpolation collocation methods for first and second Volterra integro-differential equations with periodic solution
    • H. Brunner, A. Makroglou, and R.K. Miller Mixed interpolation collocation methods for first and second Volterra integro-differential equations with periodic solution Appl. Numer. Math. 23 1997 381 402
    • (1997) Appl. Numer. Math. , vol.23 , pp. 381-402
    • Brunner, H.1    Makroglou, A.2    Miller, R.K.3
  • 11
    • 0008534451 scopus 로고    scopus 로고
    • An algorithm for solving a nonlinear integro-differential equation
    • E. Deeba, S.A. Khuri, and S. Xie An algorithm for solving a nonlinear integro-differential equation Appl. Math. Comput. 115 2000 123 131
    • (2000) Appl. Math. Comput. , vol.115 , pp. 123-131
    • Deeba, E.1    Khuri, S.A.2    Xie, S.3
  • 12
    • 20544462576 scopus 로고
    • Chongqing Press Chongqing, China
    • S. Zhang Integral Equation 1987 Chongqing Press Chongqing, China (in Chinese)
    • (1987) Integral Equation
    • Zhang, S.1
  • 13
    • 0022786053 scopus 로고
    • Basic principles of mechanical theorem proving in elementary geometries
    • W. Wu Basic principles of mechanical theorem proving in elementary geometries J. Auto. Reas. 2 1986 221 252
    • (1986) J. Auto. Reas. , vol.2 , pp. 221-252
    • Wu, W.1
  • 14
    • 0242480577 scopus 로고    scopus 로고
    • Science Press and Kluwer Academic Publishers Beijing
    • W. Wu Mathematics Mechanization 2000 Science Press and Kluwer Academic Publishers Beijing
    • (2000) Mathematics Mechanization
    • Wu, W.1
  • 15
    • 10444279479 scopus 로고
    • The mathematical and computational sciences in emerging manufacturing technologies and management practices
    • A. Friendman, J. Glimm, and J. Lavery The mathematical and computational sciences in emerging manufacturing technologies and management practices SIAM 62-63 1992
    • (1992) SIAM , vol.62-63
    • Friendman, A.1    Glimm, J.2    Lavery, J.3
  • 19
    • 4944232599 scopus 로고    scopus 로고
    • An algorithm for Adomian decomposition method
    • W. Chen, and Z. Lu An algorithm for Adomian decomposition method Appl. Math. Comput. 159 2004 221 235
    • (2004) Appl. Math. Comput. , vol.159 , pp. 221-235
    • Chen, W.1    Lu, Z.2
  • 20
    • 10444226518 scopus 로고    scopus 로고
    • A new algorithm for symbolic integral with application
    • W. Wang, and X. Lian A new algorithm for symbolic integral with application Appl. Math. Comput. 162 2005 949 968
    • (2005) Appl. Math. Comput. , vol.162 , pp. 949-968
    • Wang, W.1    Lian, X.2
  • 21
    • 14844349777 scopus 로고    scopus 로고
    • A new algorithm for integral of trigonometric functions with mechanization
    • W. Wang, and C. Lin A new algorithm for integral of trigonometric functions with mechanization Appl. Math. Comput. 164 2005 71 82
    • (2005) Appl. Math. Comput. , vol.164 , pp. 71-82
    • Wang, W.1    Lin, C.2
  • 22
    • 25844494039 scopus 로고    scopus 로고
    • An algorithm for solving DAEs with mechanization
    • available online
    • W. Wang, An algorithm for solving DAEs with mechanization, Appl. Math. Comput. 2004 (available online).
    • (2004) Appl. Math. Comput.
    • Wang, W.1


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