-
2
-
-
0036867930
-
Preconditioning techniques for large linear systems: A survey
-
Benzi M. Preconditioning techniques for large linear systems: A survey. J. Comput. Phys. 182 (2002) 418-477
-
(2002)
J. Comput. Phys.
, vol.182
, pp. 418-477
-
-
Benzi, M.1
-
4
-
-
40649120853
-
-
V.Y. Pan, D. Ivolgin, B. Murphy, R.E. Rosholt, Y. Tang, X. Yan, Additive preconditioning in matrix computations, Technical Report TR 2005009, CUNY Ph.D. Program in Computer Science, Graduate Center, City University of New York, July 2005
-
V.Y. Pan, D. Ivolgin, B. Murphy, R.E. Rosholt, Y. Tang, X. Yan, Additive preconditioning in matrix computations, Technical Report TR 2005009, CUNY Ph.D. Program in Computer Science, Graduate Center, City University of New York, July 2005
-
-
-
-
5
-
-
40649093462
-
-
V.Y. Pan, D. Ivolgin, B. Murphy, R.E. Rosholt, I. Taj-Eddin, Y. Tang, X. Yan, Additive preconditioning and aggregation in matrix computations, Technical Report TR 2006006, CUNY Ph.D. Program in Computer Science, Graduate Center, City University of New York, May 2006
-
V.Y. Pan, D. Ivolgin, B. Murphy, R.E. Rosholt, I. Taj-Eddin, Y. Tang, X. Yan, Additive preconditioning and aggregation in matrix computations, Technical Report TR 2006006, CUNY Ph.D. Program in Computer Science, Graduate Center, City University of New York, May 2006
-
-
-
-
6
-
-
40649119802
-
-
V.Y. Pan, D. Ivolgin, B. Murphy, R.E. Rosholt, Y. Tang, X. Yan, Additive preconditioning and aggregation in matrix computations, Technical Report TR 2007002, CUNY Ph.D. Program in Computer Science, Graduate Center, City University of New York, March 2007
-
V.Y. Pan, D. Ivolgin, B. Murphy, R.E. Rosholt, Y. Tang, X. Yan, Additive preconditioning and aggregation in matrix computations, Technical Report TR 2007002, CUNY Ph.D. Program in Computer Science, Graduate Center, City University of New York, March 2007
-
-
-
-
7
-
-
40649084239
-
-
V.Y. Pan, D. Ivolgin, B. Murphy, R.E. Rosholt, Y. Tang, X. Yan, Additive preconditioning for matrix computations, Technical Report TR 2007003, CUNY Ph.D. Program in Computer Science, Graduate Center, City University of New York, March 2007
-
V.Y. Pan, D. Ivolgin, B. Murphy, R.E. Rosholt, Y. Tang, X. Yan, Additive preconditioning for matrix computations, Technical Report TR 2007003, CUNY Ph.D. Program in Computer Science, Graduate Center, City University of New York, March 2007
-
-
-
-
8
-
-
40649100676
-
-
V.Y. Pan, X. Yan, Additive preconditioning, eigenspaces, and inverse iteration, Technical Report TR 2007004, CUNY Ph.D. Program in Computer Science, Graduate Center, City University of New York, 2007
-
V.Y. Pan, X. Yan, Additive preconditioning, eigenspaces, and inverse iteration, Technical Report TR 2007004, CUNY Ph.D. Program in Computer Science, Graduate Center, City University of New York, 2007
-
-
-
-
9
-
-
40649111281
-
-
V.Y. Pan, Null aggregation and extensions, Technical Report TR 2007009, CUNY Ph.D. Program in Computer Science, Graduate Center, City University of New York, 2007
-
V.Y. Pan, Null aggregation and extensions, Technical Report TR 2007009, CUNY Ph.D. Program in Computer Science, Graduate Center, City University of New York, 2007
-
-
-
-
10
-
-
40649124937
-
-
V.Y. Pan, B. Murphy, G. Qian, R.E. Rosholt, Numerical computation of determinants with additive preconditioning, Technical Report TR 2007011, CUNY Ph.D. Program in Computer Science, Graduate Center, City University of New York, 2007
-
V.Y. Pan, B. Murphy, G. Qian, R.E. Rosholt, Numerical computation of determinants with additive preconditioning, Technical Report TR 2007011, CUNY Ph.D. Program in Computer Science, Graduate Center, City University of New York, 2007
-
-
-
-
11
-
-
36448987095
-
The Schur aggregation for solving linear systems of equations
-
Masa M.M., and Watt S. (Eds). July 2007, London, Ontario, Canada, ACM Press, New York
-
Pan V.Y., Murphy B., Rosholt R.E., and Tabanjeh M. The Schur aggregation for solving linear systems of equations. In: Masa M.M., and Watt S. (Eds). Proceedings of the third International Workshop on Symbolic-Numeric Computation, SNC 2007. July 2007, London, Ontario, Canada (2007), ACM Press, New York 142-151
-
(2007)
Proceedings of the third International Workshop on Symbolic-Numeric Computation, SNC 2007
, pp. 142-151
-
-
Pan, V.Y.1
Murphy, B.2
Rosholt, R.E.3
Tabanjeh, M.4
-
12
-
-
36448940432
-
Null space and eigenspace computations with additive preprocessing
-
Masa M.M., and Watt S. (Eds). July 2007, London, Ontario, Canada, ACM Press, New York
-
Pan V.Y., and Yan X. Null space and eigenspace computations with additive preprocessing. In: Masa M.M., and Watt S. (Eds). Proceedings of the International Workshop on Symbolic-Numeric Computation, SNC 2007. July 2007, London, Ontario, Canada (2007), ACM Press, New York 152-160
-
(2007)
Proceedings of the International Workshop on Symbolic-Numeric Computation, SNC 2007
, pp. 152-160
-
-
Pan, V.Y.1
Yan, X.2
-
13
-
-
40649109954
-
-
V.Y. Pan, B. Murphy, G. Qian, R.E. Rosholt, Error-free computations via floating-point operations, Technical Reports TR 2007010 and TR 2007013, CUNY Ph.D. Program in Computer Science, Graduate Center, City University of New York, 2007, Comput. Math. Appl. (in press).
-
V.Y. Pan, B. Murphy, G. Qian, R.E. Rosholt, Error-free computations via floating-point operations, Technical Reports TR 2007010 and TR 2007013, CUNY Ph.D. Program in Computer Science, Graduate Center, City University of New York, 2007, Comput. Math. Appl. (in press).
-
-
-
-
15
-
-
40649095576
-
Basic Decompositions
-
SIAM, Philadelphia
-
Stewart G.W. Basic Decompositions. Matrix Algorithms vol. I (1998), SIAM, Philadelphia
-
(1998)
Matrix Algorithms
, vol.I
-
-
Stewart, G.W.1
-
16
-
-
34547147441
-
Affect of small rank modification on the condition number of a matrix
-
Wang X. Affect of small rank modification on the condition number of a matrix. Comput. Math. Appl. 54 (2007) 819-825
-
(2007)
Comput. Math. Appl.
, vol.54
, pp. 819-825
-
-
Wang, X.1
-
18
-
-
0003851784
-
-
SIAM, Philadelphia
-
Dongarra J.J., Duff I.S., Sorensen D.C., and van Der Vorst H.A. Numerical Linear Algebra for High-Performance Computers (1998), SIAM, Philadelphia
-
(1998)
Numerical Linear Algebra for High-Performance Computers
-
-
Dongarra, J.J.1
Duff, I.S.2
Sorensen, D.C.3
van Der Vorst, H.A.4
-
19
-
-
0003554095
-
-
Clarendon Press, Oxford, England
-
Duff I.S., Erisman A.M., and Reid J.K. Direct Methods for Sparse Matrices (1986), Clarendon Press, Oxford, England
-
(1986)
Direct Methods for Sparse Matrices
-
-
Duff, I.S.1
Erisman, A.M.2
Reid, J.K.3
-
21
-
-
0027799021
-
Fast and efficient parallel solution of sparse linear systems
-
Pan V.Y., and Reif J. Fast and efficient parallel solution of sparse linear systems. SIAM J. Comput. 22 6 (1993) 1227-1250
-
(1993)
SIAM J. Comput.
, vol.22
, Issue.6
, pp. 1227-1250
-
-
Pan, V.Y.1
Reif, J.2
-
22
-
-
33845343264
-
A bibliography on semiseparable matrices
-
Vandebril R., Van Barel M., Golub G., and Mastronardi N. A bibliography on semiseparable matrices. Calcolo 42 3-4 (2005) 249-270
-
(2005)
Calcolo
, vol.42
, Issue.3-4
, pp. 249-270
-
-
Vandebril, R.1
Van Barel, M.2
Golub, G.3
Mastronardi, N.4
-
23
-
-
0003476369
-
-
Prentice-Hall, Englewood Cliffs, New Jersey Reissued with a survey of recent developments by SIAM, Philadelphia, 1995
-
Lawson C.L., and Hanson R.J. Solving Least Squares Problems (1974), Prentice-Hall, Englewood Cliffs, New Jersey Reissued with a survey of recent developments by SIAM, Philadelphia, 1995
-
(1974)
Solving Least Squares Problems
-
-
Lawson, C.L.1
Hanson, R.J.2
-
25
-
-
40649126868
-
Eigensystems
-
SIAM, Philadelphia 2001, second ed
-
Stewart G.W. Eigensystems. Matrix Algorithms. first ed. vol II (1998), SIAM, Philadelphia 2001, second ed
-
(1998)
Matrix Algorithms. first ed.
, vol.II
-
-
Stewart, G.W.1
-
26
-
-
0000977233
-
Sign determination in residue number systems
-
Brönnimann H., Emiris I.Z., Pan V.Y., and Pion S. Sign determination in residue number systems. Theoret. Comput. Sci. 210 1 (1999) 173-197
-
(1999)
Theoret. Comput. Sci.
, vol.210
, Issue.1
, pp. 173-197
-
-
Brönnimann, H.1
Emiris, I.Z.2
Pan, V.Y.3
Pion, S.4
-
27
-
-
0012093747
-
Certification of numerical computation of the sign of the determinant of a matrix
-
Pan V.Y., and Yu Y. Certification of numerical computation of the sign of the determinant of a matrix. Algorithmica 30 (2001) 708-724
-
(2001)
Algorithmica
, vol.30
, pp. 708-724
-
-
Pan, V.Y.1
Yu, Y.2
-
28
-
-
0031518093
-
Adaptive precision floating-point arithmetic and fast robust geometric predicates
-
Shevchuk J. Adaptive precision floating-point arithmetic and fast robust geometric predicates. Discrete Comput. Geom. 18 (1997) 305-363. Available at: www.cs.cmu.edu/quake/robust.html
-
(1997)
Discrete Comput. Geom.
, vol.18
, pp. 305-363
-
-
Shevchuk, J.1
-
29
-
-
10044275644
-
Fast and accurate floating point summation with application to computational geometry
-
Demmel J., and Hida Y. Fast and accurate floating point summation with application to computational geometry. Numer. Algorithms 37 1-4 (2004) 101-112
-
(2004)
Numer. Algorithms
, vol.37
, Issue.1-4
, pp. 101-112
-
-
Demmel, J.1
Hida, Y.2
-
30
-
-
11844252015
-
Improved algorithms for computing determinants and resultants
-
Emiris I.Z., and Pan V.Y. Improved algorithms for computing determinants and resultants. J. Complexity 21 1 (2005) 43-71
-
(2005)
J. Complexity
, vol.21
, Issue.1
, pp. 43-71
-
-
Emiris, I.Z.1
Pan, V.Y.2
-
31
-
-
0000835513
-
Lower bounds for the condition number of vandermonde matrices
-
Gautschi W., and Inglese G. Lower bounds for the condition number of vandermonde matrices. Numer. Math. 52 (1988) 241-250
-
(1988)
Numer. Math.
, vol.52
, pp. 241-250
-
-
Gautschi, W.1
Inglese, G.2
-
32
-
-
21344486577
-
How bad are hankel matrices?
-
Tyrtyshnikov E.E. How bad are hankel matrices?. Numer. Math. 67 2 (1994) 261-269
-
(1994)
Numer. Math.
, vol.67
, Issue.2
, pp. 261-269
-
-
Tyrtyshnikov, E.E.1
-
33
-
-
84966229708
-
On computations with dense structured matrices
-
Pan V.Y. On computations with dense structured matrices. Math. Comput. 55 191 (1990) 179-190
-
(1990)
Math. Comput.
, vol.55
, Issue.191
, pp. 179-190
-
-
Pan, V.Y.1
-
34
-
-
84968505008
-
Fast gaussian elimination with partial pivoting for matrices with displacement structure
-
Gohberg I., Kailath T., and Olshevsky V. Fast gaussian elimination with partial pivoting for matrices with displacement structure. Math. Comput. 64 (1995) 1557-1576
-
(1995)
Math. Comput.
, vol.64
, pp. 1557-1576
-
-
Gohberg, I.1
Kailath, T.2
Olshevsky, V.3
-
37
-
-
4043118275
-
Accurate and efficient floating point summation
-
Demmel J., and Hida Y. Accurate and efficient floating point summation. SIAM J. Sci. Comput. 25 (2003) 1214-1248
-
(2003)
SIAM J. Sci. Comput.
, vol.25
, pp. 1214-1248
-
-
Demmel, J.1
Hida, Y.2
-
38
-
-
19044370033
-
Design, implementation and testing of extended and mixed precision BLAS
-
Li X., Demmel J., Bailey D., Henry G., Hida Y., Iskandar J., Kahan W., Kang S., Kapur A., Martin M., Thompson B., Tung T., and Yoo D. Design, implementation and testing of extended and mixed precision BLAS. ACM Trans. Math. Software 28 (2002) 152-205. http://crd.lbl.gov/xiaoye/XBLAS/
-
(2002)
ACM Trans. Math. Software
, vol.28
, pp. 152-205
-
-
Li, X.1
Demmel, J.2
Bailey, D.3
Henry, G.4
Hida, Y.5
Iskandar, J.6
Kahan, W.7
Kang, S.8
Kapur, A.9
Martin, M.10
Thompson, B.11
Tung, T.12
Yoo, D.13
-
41
-
-
0015158598
-
On accurate floating-point summation
-
Malcolm M. On accurate floating-point summation. Commun. ACM 4 (1971) 731-736
-
(1971)
Commun. ACM
, vol.4
, pp. 731-736
-
-
Malcolm, M.1
-
42
-
-
0026169919
-
Algorithms for arbitrary precision floating point arithmetic
-
Kornerup R., and Matula D.W. (Eds), IEEE Press
-
Priest D.M. Algorithms for arbitrary precision floating point arithmetic. In: Kornerup R., and Matula D.W. (Eds). Proc. 10th Symposium on Computer Arithmetic (1991), IEEE Press 132-145
-
(1991)
Proc. 10th Symposium on Computer Arithmetic
, pp. 132-145
-
-
Priest, D.M.1
-
43
-
-
40649092969
-
-
T.J. Dekker, A Floating-point Technique for Extending the Available Precision
-
T.J. Dekker, A Floating-point Technique for Extending the Available Precision
-
-
-
-
44
-
-
40649104255
-
-
V.Y. Pan, Can we utilize the cancellation of the most significant digits? Tech. Report TR 92 061, The International Computer Science Institute, Berkeley, California, 1992
-
V.Y. Pan, Can we utilize the cancellation of the most significant digits? Tech. Report TR 92 061, The International Computer Science Institute, Berkeley, California, 1992
-
-
-
-
45
-
-
0242375733
-
Modular arithmetic for linear algebra computations in the real field
-
Emiris I.Z., Pan V.Y., and Yu Y. Modular arithmetic for linear algebra computations in the real field. J. Symbolic Comput. 21 (1998) 1-17
-
(1998)
J. Symbolic Comput.
, vol.21
, pp. 1-17
-
-
Emiris, I.Z.1
Pan, V.Y.2
Yu, Y.3
-
47
-
-
40649108469
-
-
Agner Fog, How to optimize for the Pentium family of microprocessors. www.agner.org, 1996-2004. Last updated 2004-04-16
-
Agner Fog, How to optimize for the Pentium family of microprocessors. www.agner.org, 1996-2004. Last updated 2004-04-16
-
-
-
-
48
-
-
0029543087
-
A rank-one reduction formula and its applications to matrix factorizations
-
Chu M.T., Funderlic R.E., and Golub G.H. A rank-one reduction formula and its applications to matrix factorizations. SIAM Rev. 37 4 (1995) 512-530
-
(1995)
SIAM Rev.
, vol.37
, Issue.4
, pp. 512-530
-
-
Chu, M.T.1
Funderlic, R.E.2
Golub, G.H.3
-
49
-
-
0033730375
-
Two purposes for matrix factorization: A historical appraisal
-
Hubert L., Meulman J., and Heiser W. Two purposes for matrix factorization: A historical appraisal. SIAM Rev. 42 1 (2000) 68-82
-
(2000)
SIAM Rev.
, vol.42
, Issue.1
, pp. 68-82
-
-
Hubert, L.1
Meulman, J.2
Heiser, W.3
-
50
-
-
0001070999
-
Some modified matrix eigenvalue problems
-
Golub G.H. Some modified matrix eigenvalue problems. SIAM Rev. 15 (1973) 318-334
-
(1973)
SIAM Rev.
, vol.15
, pp. 318-334
-
-
Golub, G.H.1
-
51
-
-
40649121195
-
-
V.Y. Pan, Univariate polynomial root-finding with lower precision and higher convergence rate, Technical Report TR 2002003, CUNY Ph.D. Program in Computer Science, Graduate Center, City University of New York, 2002
-
V.Y. Pan, Univariate polynomial root-finding with lower precision and higher convergence rate, Technical Report TR 2002003, CUNY Ph.D. Program in Computer Science, Graduate Center, City University of New York, 2002
-
-
-
-
52
-
-
1242307407
-
Inverse power and Durand/Kerner iteration for univariate polynomial root-finding
-
Also Technical Report TR 2002020, CUNY Ph.D. Program in Computer Science, Graduate Center, City University of New York, 2002
-
Bini D.A., Gemignani L., and Pan V.Y. Inverse power and Durand/Kerner iteration for univariate polynomial root-finding. Comput. Math. Appl. 47 2-3 (2004) 447-459 Also Technical Report TR 2002020, CUNY Ph.D. Program in Computer Science, Graduate Center, City University of New York, 2002
-
(2004)
Comput. Math. Appl.
, vol.47
, Issue.2-3
, pp. 447-459
-
-
Bini, D.A.1
Gemignani, L.2
Pan, V.Y.3
-
53
-
-
84947068118
-
Fast and stable QR eigenvalue algorithms for generalized companion matrices and secular equation
-
Also Technical Report 1470, Department of Math., University of Pisa, Pisa, Italy, July 2003
-
Bini D.A., Gemignani L., and Pan V.Y. Fast and stable QR eigenvalue algorithms for generalized companion matrices and secular equation. Numer. Math. 3 (2005) 373-408 Also Technical Report 1470, Department of Math., University of Pisa, Pisa, Italy, July 2003
-
(2005)
Numer. Math.
, vol.3
, pp. 373-408
-
-
Bini, D.A.1
Gemignani, L.2
Pan, V.Y.3
-
54
-
-
23344445986
-
Improved initialization of the accelerated and robust QR-like polynomial root-finding
-
Bini D.A., Gemignani L., and Pan V.Y. Improved initialization of the accelerated and robust QR-like polynomial root-finding. Electron. Trans. Numer. Anal. 17 (2004) 195-205
-
(2004)
Electron. Trans. Numer. Anal.
, vol.17
, pp. 195-205
-
-
Bini, D.A.1
Gemignani, L.2
Pan, V.Y.3
-
55
-
-
36448979283
-
Root-finding with Eigen-solving
-
Wang D., and Zhi L. (Eds), Birkhäuser, Basel, Boston
-
Pan V.Y., Ivolgin D., Murphy B., Rosholt R.E., Tang Y., Wang X., and Yan X. Root-finding with Eigen-solving. In: Wang D., and Zhi L. (Eds). Symbolic-Numerical Computation (2007), Birkhäuser, Basel, Boston 219-245
-
(2007)
Symbolic-Numerical Computation
, pp. 219-245
-
-
Pan, V.Y.1
Ivolgin, D.2
Murphy, B.3
Rosholt, R.E.4
Tang, Y.5
Wang, X.6
Yan, X.7
-
57
-
-
0021452919
-
How can we speed up matrix multiplication?
-
Pan V.Y. How can we speed up matrix multiplication?. SIAM Rev. 26 3 (1984) 393-415
-
(1984)
SIAM Rev.
, vol.26
, Issue.3
, pp. 393-415
-
-
Pan, V.Y.1
-
58
-
-
85023205150
-
Matrix multiplication via arithmetic progressions
-
Coppersmith D., and Winograd S. Matrix multiplication via arithmetic progressions. J. Symbolic Comput. 9 3 (1990) 251-280
-
(1990)
J. Symbolic Comput.
, vol.9
, Issue.3
, pp. 251-280
-
-
Coppersmith, D.1
Winograd, S.2
-
59
-
-
38249013295
-
On practical algorithms for accelerated matrix multiplication
-
Laderman J., Pan V.Y., and Sha H.X. On practical algorithms for accelerated matrix multiplication. Linear Algebra Appl. 162-164 (1992) 557-588
-
(1992)
Linear Algebra Appl.
, vol.162-164
, pp. 557-588
-
-
Laderman, J.1
Pan, V.Y.2
Sha, H.X.3
-
60
-
-
0033265553
-
A practical algorithm for faster matrix multiplication
-
Kaporin I. A practical algorithm for faster matrix multiplication. Numer. Linear Algebra Appl. 6 8 (1999) 687-700
-
(1999)
Numer. Linear Algebra Appl.
, vol.6
, Issue.8
, pp. 687-700
-
-
Kaporin, I.1
-
61
-
-
2142700139
-
The aggregation and cancellation techniques as a practical tool for faster matrix multiplication
-
Kaporin I. The aggregation and cancellation techniques as a practical tool for faster matrix multiplication. Theoret. Comput. Sci. 315 2-3 (2004) 469-510
-
(2004)
Theoret. Comput. Sci.
, vol.315
, Issue.2-3
, pp. 469-510
-
-
Kaporin, I.1
-
62
-
-
0034366598
-
Computation of a specified root of a polynomial system of equations using eigenvectors
-
Bondyfalat D., Mourrain B., and Pan V.Y. Computation of a specified root of a polynomial system of equations using eigenvectors. Linear Algebra Appl. 319 (2000) 193-209
-
(2000)
Linear Algebra Appl.
, vol.319
, pp. 193-209
-
-
Bondyfalat, D.1
Mourrain, B.2
Pan, V.Y.3
-
63
-
-
0000692349
-
Multivariate polynomials, duality and structured matrices
-
Mourrain B., and Pan V.Y. Multivariate polynomials, duality and structured matrices. J. Complexity 16 1 (2000) 110-180
-
(2000)
J. Complexity
, vol.16
, Issue.1
, pp. 110-180
-
-
Mourrain, B.1
Pan, V.Y.2
-
64
-
-
40649084489
-
-
NAG Fortran Library Manual, Mark 13, vol. 1, 1988
-
NAG Fortran Library Manual, Mark 13, vol. 1, 1988
-
-
-
-
65
-
-
0031169815
-
Solving a polynomial equation: Some history and recent progress
-
Pan V.Y. Solving a polynomial equation: Some history and recent progress. SIAM Rev. 39 2 (1997) 187-220
-
(1997)
SIAM Rev.
, vol.39
, Issue.2
, pp. 187-220
-
-
Pan, V.Y.1
-
66
-
-
0009883426
-
Polynomial zerofinding iterative matrix algorithms
-
Malek F., and Vaillancourt R. Polynomial zerofinding iterative matrix algorithms. Comput. Math. Appl. 29 1 (1995) 1-13
-
(1995)
Comput. Math. Appl.
, vol.29
, Issue.1
, pp. 1-13
-
-
Malek, F.1
Vaillancourt, R.2
-
67
-
-
0003066775
-
A composite polynomial zerofinding matrix algorithm
-
Malek F., and Vaillancourt R. A composite polynomial zerofinding matrix algorithm. Comput. Math. Appl. 30 2 (1995) 37-47
-
(1995)
Comput. Math. Appl.
, vol.30
, Issue.2
, pp. 37-47
-
-
Malek, F.1
Vaillancourt, R.2
-
68
-
-
0036335550
-
An iterated eigenvalue algorithm for approximating roots of univariate polynomials
-
Proc. version in Proc. Intern. Symp. on Symbolic and Algebraic Computation, ISSAC'01, 121-128 ACM Press, New York, 2001
-
Fortune S. An iterated eigenvalue algorithm for approximating roots of univariate polynomials. J. Symbolic Comput. 33 5 (2002) 627-646 Proc. version in Proc. Intern. Symp. on Symbolic and Algebraic Computation, ISSAC'01, 121-128 ACM Press, New York, 2001
-
(2002)
J. Symbolic Comput.
, vol.33
, Issue.5
, pp. 627-646
-
-
Fortune, S.1
|