-
1
-
-
0022786053
-
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
-
2
-
-
10444248367
-
-
National Academy Press, Washington, DC
-
Glimm J.G. Mathematical Sciences, Technology, and Economic Competitiveness (1992), National Academy Press, Washington, DC
-
(1992)
Mathematical Sciences, Technology, and Economic Competitiveness
-
-
Glimm, J.G.1
-
3
-
-
3142541444
-
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
-
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
-
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
-
-
S. Wolfram, The numerical method of lines for partial differential equations. Available from: .
-
-
-
-
15
-
-
10444248367
-
-
National Academy Press, Washington, DC
-
Glimm J.G. Mathematical Sciences, Technology, and Economic Competitiveness (1992), National Academy Press, Washington, DC
-
(1992)
Mathematical Sciences, Technology, and Economic Competitiveness
-
-
Glimm, J.G.1
-
19
-
-
34247893018
-
-
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
-
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
-
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
-
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
-
-
Z. Li, W. Wang, Mechanization for solving SPP by reducing order method, Appl. Math. Comput., in press.
-
-
-
|