diff --git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet index ace1192..689c2ad 100644 --- a/books/bookvolbib.pamphlet +++ b/books/bookvolbib.pamphlet @@ -1200,25 +1200,93 @@ Vol. 115, No. 2-3, December 11, 1998, pages 510-535. Abramowitz, Milton and Stegun, Irene A. ``Handbook of Mathematical Functions'' (1964) Dover Publications, NY ISBN 0-486-61272-4 +\bibitem[AS68]{AS68} +Abramowitz M and Stegun I A, +``Handbook of Mathematical Functions'' +Dover Publications. (1968) \bibitem[Alt05]{Alt05} Altmann, Simon L. Rotations, Quaternions, and Double Groups Dover Publications, Inc. 2005 ISBN 0-486-44518-6 +\bibitem[Ames77]{Ames77} +Ames W F, +``Nonlinear Partial Differential Equations in Engineering'' +Academic Press (2nd Edition). (1977) +\bibitem[Amos86]{Amos86} +Amos D E, +``Algorithm 644: A Portable Package for Bessel Functions of a Complex +Argument and Nonnegative Order'' +ACM Trans. Math. Softw. 12 265--273. (1986) \bibitem[And00]{And00} Anderson, Edward ``Discontinuous Plane Rotations and the Symmetric Eigenvalue Problem'' LAPACK Working Note 150, University of Tennessee, UT-CS-00-454, December 4, 2000. +\bibitem[ACH82]{ACH82} +Anthony G T, Cox M G and Hayes J G, +``DASL - Data Approximation Subroutine Library'' +National Physical Laboratory. (1982) \bibitem[ALM99]{ALM99} P. Aubry, D. Lazard, and M. Moreno Maza ``On the Theories of Triangular Sets'' Journal of Symbolic Computation 1999 Vol 28 pp105-124 +\bibitem[Bai66]{Bai66} +Bailey P B, +``Sturm-Liouville Eigenvalues via a Phase Function'' +SIAM J. Appl. Math . 14 242--249. (1966) +\bibitem[BGM96]{BGM96} +George A. Baker and Peter Graves-Morris +``Pade Approximants'' +Cambridge University Press, March 1996 ISBN 9870521450072 \bibitem[Ba10]{Ba10} Baker, Martin ``3D World Simulation'' \verb|www.euclideanspace.com| +\bibitem[BK68]{BK68} +Banks D O and Kurowski I, +``Computation of Eigenvalues of Singular Sturm-Liouville Systems'' +Math. Computing. 22 304--310. (1968) +\bibitem[Bard74]{Bard74} +Bard Y, ``Nonlinear Parameter Estimation'' Academic Press. 1974 +\bibitem[BR73]{BR73} +Barrodale I and Roberts F D K, +``An Improved Algorithm for Discrete $ll_1$ Linear Approximation'' +SIAM J. Numer. Anal. 10 839--848. (1973) +\bibitem[BR74]{BR74} +Barrodale I and Roberts F D K, +``Solution of an Overdetermined System of Equations in the $ll_1-norm$.'' +Comm. ACM. 17, 6 319--320. (1974) +\bibitem[Bea92]{Bea92} +Bernard Beauzamy, ``Products of polynomials and a priori estimates for +coefficients in polynomial decompositions: a sharp result'' +J. Symbolic Computation (1992) 13, 463-472 +\bibitem[Bea93]{Bea93} +Bernard Beauzamy, Vilmar Trevisan and Paul S. Wang, +``Polynomial Factorization: Sharp Bounds, Efficient Algorithms'' +J. Symbolic Computation (1993) 15, 393-413 \bibitem[Ber95]{Ber95} Laurent Bertrand. Computing a hyperelliptic integral using arithmetic in the jacobian of the curve. {\sl Applicable Algebra in Engineering, Communication and Computing}, 6:275-298, 1995 +\bibitem[BBG87]{BBG87} +Berzins M, Brankin R W and Gladwell I, +``Design of the Stiff Integrators in the NAG Library'' +Technical Report. TR14/87 NAG. (1987) +\bibitem[Ber90]{Ber90} +Berzins M, +``Developments in the NAG Library Software for Parabolic Equations'' +Scientific Software Systems. (ed J C Mason and M G Cox) +Chapman and Hall. 59--72. (1990) +\bibitem[BR62]{BR62} +Birkhoff G and Rota G C, +``Ordinary Differential Equations'' +Ginn \& Co., Boston and New York. (1962) +\bibitem[Boyd93a]{Boyd93a} +David W. Boyd, ``Bounds for the Height of a Factor of a Polynomial in +Terms of Bombieri's Norms: I. The Largest Factor'' +J. Symbolic Computation (1993) 16, 115-130 +\bibitem[Boyd93b]{Boyd93b} +David W. Boyd, ``Bounds for the Height of a Factor of a Polynomial in +Terms of Bombieri's Norms: II. The Smallest Factor'' +J. Symbolic Computation (1993) 16, 131-145 \bibitem[BBM02a]{BBM02a} K. Braman, R. Byers and R. Mathias, The Multi-Shift QR Algorithm Part I: Maintaining Well Focused Shifts, and Level 3 @@ -1228,6 +1296,23 @@ Performance, SIAM Journal of Matrix Analysis, volume 23, pages K. Braman, R. Byers and R. Mathias, The Multi-Shift QR Algorithm Part II: Aggressive Early Deflation, SIAM Journal of Matrix Analysis, volume 23, pages 948--973, 2002. +\bibitem[Bre75]{Bre75} +R. P. Brent, ``Multiple-Precision Zero-Finding Methods and the Complexity +of Elementary Function Evaluation, Analytic Computational Complexity'' +J. F. Traub, Ed., Academic Press, New York 1975, 151-176 +\bibitem[BK78]{BK78} +R. P. Brent and H. T. Kung, +``Fast Algorithms for Manipulating Formal Power Series'' +Journal of the Association for Computing Machinery, +Vol. 25, No. 4, October 1978, 581-595 +\bibitem[Bri73]{Bri73} +Brigham E O, ``The Fast Fourier Transform'' Prentice-Hall. (1973) +\bibitem[Bri69]{Bri69} +John Brillhart, ``On the Euler and Bernoulli polynomials'' +J. Reine Angew. Math., v. 234, (1969), pp. 45-64 +\bibitem[Bri90]{Bri90} +John Brillhart, ``Note on Irreducibility Testing'' +Mathematics of Computation, vol. 35, num. 35, Oct. 1980, 1379-1381 \bibitem[Bro88]{Bro88} Bronstein, Manual ``The Transcendental Risch Differential Equation'' J. Symbolic Computation (1990) 9, pp49-60 Feb 1988 @@ -1258,12 +1343,161 @@ Springer, Heidelberg, 1997 ISBN 3-540-21493-3 \bibitem[Bro98]{Bro98} M. Bronstein. ``The lazy hermite reduction'' Rapport de Recherche RR-3562, INRIA, 1998 +\bibitem[Car65]{Car65} +Carlson B C, +``On Computing Elliptic Integrals and Functions'' +J Math Phys. 44 36--51. (1965) +\bibitem[Car77a]{Car77a} +Carlson B C, +``Elliptic Integrals of the First Kind'' SIAM J Math Anal. 8 231--242. (1977) +\bibitem[Car77b]{Car77b} +Carlson B C, +``Special Functions of Applied Mathematics'' Academic Press. (1977) +\bibitem[Car78]{Car78} +Carlson B C, +``Computing Elliptic Integrals by Duplication.'' +(Preprint) Department of Physics, Iowa State University. (1978) +\bibitem[Car88]{Car88} +Carlson B C, +``A Table of Elliptic Integrals of the Third Kind'' +Math. Comput. 51 267--280. (1988) +\bibitem[Cau1829]{Cau1829} +Augustin-Lux Cauchy, ``Exercices de Math\'ematiques Quatri\`eme Ann\'ee. +De Bure Fr\`eres'' Paris 1829 (reprinted Oeuvres, II S\'erie, Tome IX, +Gauthier-Villars, Paris, 1891). +\bibitem[CSDDN79]{CSDDN79} +Childs B, Scott M, Daniel J W, Denman E and Nelson P (eds) (1979) +``Codes for Boundary-value Problems in Ordinary Differential Equations'' +Lecture Notes in Computer Science. 76 (1979) Springer-Verlag +\bibitem[Cla89]{Cla89} +M. Clausen, A. Fortenbacher, +``Efficient Solution of Linear Diophantine Equations'' +JSC (1989) 8, 201-216 +\bibitem[Cle55]{Cle55} +Clenshaw C W, +``A Note on the Summation of Chebyshev Series'' +Math. Tables Aids Comput. 9 118--120. (1955) +\bibitem[Cle60]{Cle60} +Clenshaw C W, ``Curve Fitting with a Digital Computer'' +Comput. J. 2 170--173. (1960) +\bibitem[Cle62]{Cle62} +Clenshaw C W, +``Mathematical Tables. Chebyshev Series for Mathematical Functions'' +HMSO. (1962) +\bibitem[CR84]{CR84} +Cline A K and Renka R L, +``A Storage-efficient Method for Construction of a Thiessen Triangulation'' +Rocky Mountain J. Math. 14 119--139. (1984) +\bibitem[CCNPW87]{CCNPW87} +J. Conway, R. Curtis, S. Norton, R. Parker, R. Wilson +``Atlas of Finite Groups'' +Oxford, Clarendon Press, 1987 \bibitem[CS03]{CS03} Conway, John H. and Smith, Derek, A., ``On Quaternions and Octonions'' A.K Peters, Natick, MA. (2003) ISBN 1-56881-134-9 +\bibitem[Cox72]{Cox72} +Cox M G, ``The Numerical Evaluation of B-splines'' +J. Inst. Math. Appl. 10 134--149. (1972) +\bibitem[Cox74a]{Cox74a} +Cox M G, +``A Data-fitting Package for the Non-specialist User'' +Software for Numerical Mathematics. (ed D J Evans) Academic Press. (1974) +\bibitem[Cox74b]{Cox74b} +Cox M G, +``Numerical methods for the interpolation and approximation of data +by spline functions'' +PhD Thesis. City University, London. (1975) +\bibitem[Cox75]{Cox75} +Cox M G, +``An Algorithm for Spline Interpolation'' +J. Inst. Math. Appl. 15 95--108. (1975) +\bibitem[Cox77]{Cox77} +Cox M G, +``A Survey of Numerical Methods for Data and Function Approximation'' +The State of the Art in Numerical Analysis. (ed D A H Jacobs) +Academic Press. 627--668. (1977) +\bibitem[Cox78]{Cox78} +Cox M G, +``The Numerical Evaluation of a Spline from its B-spline Representation'' +J. Inst. Math. Appl. 21 135--143. (1978) +\bibitem[CH73]{CH73} +Cox M G and Hayes J G (1973) +``Curve fitting: a guide and suite of algorithms for the non-specialist user'' +Report NAC26. National Physical Laboratory. +\bibitem[CPR74]{CPR74} +Curtis A R, Powell M J D and Reid J K, +``On the Estimation of Sparse Jacobian Matrices'' +J. Inst. Maths Applics. 13 117--119. (1974) +\bibitem[DB74]{DB74} +Dahlquist G and Bjork A, ``Numerical Methods'' Prentice- Hall. (1974) \bibitem[DA98]{DA98} Dalmas, Stephane and Arsac, Olivier ``The INRIA OpenMath Library'' Projet SAFIR, INRIA Sophia Antipolis Nov 25, 1998 +\bibitem[Dan63]{Dan63} +Dantzig G B, +``Linear Programming and Extensions'' Princeton University Press. (1963) +\bibitem[Dav]{Dav} +James Davenport, ``On Brillhart Irreducibility.'' To appear. +\bibitem[REF-Dav93]{Ref-Dav93} +J. H. Davenport ``Primality testing revisited'' Technical Report TR2/93 +(ATR/6)(NP2556) Numerical Algorithms Group, Inc., Downer's Grove, IL, USA +and Oxford, UK, August 1993 +\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html| +\bibitem[DR75]{DR75} +Davis P J and Rabinowitz P, +``Methods of Numerical Integration'' +Academic Press. (1975) +\bibitem[DR67]{DR67} +Davis P J and Rabinowitz P, (1967) +``Numerical Integration'' +Blaisdell Publishing Company. 33--52. (1967) +\bibitem[DeB72]{DeB72} +De Boor C, +``On Calculating with B-splines'' +J. Approx. Theory. 6 50--62. (1972) +\bibitem[DeD78]{DeD78} +De Doncker E, +``An Adaptive Extrapolation Algorithm for Automatic Integration'' +Signum Newsletter. 13 (2) 12--18. (1978) +\bibitem[Dem89]{Dem89} +Demmel J W, +``On Floating-point Errors in Cholesky'' +LAPACK Working Note No. 14. University of Tennessee, Knoxville. 1989 +\bibitem[DM77]{DM77} +Dennis J E Jr and More J J +``Quasi-Newton Methods, Motivation and Theory'' +SIAM Review. 19 46--89. 1977 +\bibitem[DS81]{DS81} +Dennis J E Jr and Schnabel R B +``A New Derivation of Symmetric Positive-Definite Secant Updates'' +Nonlinear Programming 4. (ed O L Mangasarian, R R Meyer and S M. Robinson) +Academic Press. 167--199. (1981) +\bibitem[DS83]{DS83} +Dennis J E Jr and Schnabel R B +``Numerical Methods for Unconstrained Optimixation and Nonlinear Equations'' +Prentice-Hall.(1983) +\bibitem[Die75]{Die75} +Dierckx P, +``An Algorithm for Smoothing, Differentiating and Integration of +Experimental Data Using Spline Functions'' +J. Comput. Appl. Math. 1 165--184. (1975) +\bibitem[Die81]{Die81} +Dierckx P, +``An Improved Algorithm for Curve Fitting with Spline Functions'' +Report TW54. Dept. of Computer Science, Katholieke Universiteit Leuven. 1981 +\bibitem[Die82]{Die82} +Dierckx P, +``A Fast Algorithm for Smoothing Data on a Rectangular Grid while using +Spline Functions'' +SIAM J. Numer. Anal. 19 1286--1304. (1982) +\bibitem[DMBS79]{DMBS79} +Dongarra J J, Moler C B, Bunch J R and Stewart G W, +``LINPACK Users' Guide'' +SIAM, Philadelphia. (1979) +\bibitem[DCHH85]{DCHH85} +Dongarra J J, Du Croz J J, Hammarling S and Hanson R J +``A Proposal for an Extended set of Fortran Basic Linear Algebra Subprograms'' +SIGNUM Newsletter. 20 (1) 2--18. (1985) \bibitem[REF-DON88]{REF-DON88} Jack J. Dongarra, Jeremy Du Croz, Sven Hammarling, Richard J. Hanson ``An Extended Set of FORTRAN Basic Linear Algebra Subroutines'' @@ -1286,6 +1520,14 @@ Jack J. Dongarra, Jeremy Du Croz, Sven Hammarling, Iain S. Duff Model Implementation and Test Programs'' ACM Transactions on Mathematical Software, Vol 16, No 1, March 1990, pp 18-28 +\bibitem[Duc00]{Duc00} +Lionel Ducos ``Optimizations of the subresultant algorithm'' +Journal of Pure and Applied Algebra V145 No 2 Jan 2000 pp149-163 +\bibitem[Duff77]{Duff77} +Duff I S, +``MA28 -- a set of Fortran subroutines for sparse unsymmetric linear +equations'' +A.E.R.E. Report R.8730. HMSO. (1977) \bibitem[Fl01]{Fl01} Fletcher, John P. ``Symbolic processing of Clifford Numbers in C++'', Paper 25, AGACSE 2001. @@ -1295,20 +1537,150 @@ calculated using the matrix representation.'' Chemical Engineering and Applied Chemistry, School of Engineering and Applied Science, Aston University, Aston Triangle, Birmingham B4 7 ET, U. K. \verb|www.ceac.aston.ac.uk/research/staff/jpf/papers/paper24/index.php| +\bibitem[Fle81]{Fle81} +Fletcher R, +``Practical Methods of Optimization'' +Vol 2. Constrained Optimization. Wiley. (1981) \bibitem[Flo63]{Flo63} Floyd, R. W.``Semantic Analysis and Operator Precedence'' JACM 10, 3, 316-333 (1963) -\bibitem[GM74]{GM74} -Gentleman W. M. and Marovich S. B. (1974) More on algorithms -that reveal properties of floating point arithmetic units. -Comms. of the ACM, 17, 276-277. +\bibitem[For57]{For57} +Forsythe G E, +``Generation and use of orthogonal polynomials for data fitting +with a digital computer'' +J. Soc. Indust. Appl. Math. 5 74--88. (1957) +\bibitem[Fox68]{Fox68} +Fox L and Parker I B, +``Chebyshev Polynomials in Numerical Analysis'' +Oxford University Press. (1968) +\bibitem[FN80]{FN80} +Franke R and Nielson G, (1980) +``Smooth Interpolation of Large Sets of Scattered Data'' +Internat. J. Num. Methods Engrg. 15 1691--1704. (1980) +\bibitem[Fri82]{Fri82} +Fritsch F N, +``PCHIP Final Specifications'' +Report UCID-30194. Lawrence Livermore National Laboratory. (1982) +\bibitem[FB84]{FB84} +Fritsch F N and Butland J, +``A Method for Constructing Local Monotone Piecewise Cubic Interpolants'' +SIAM J. Sci. Statist. Comput. 5 300--304. (1984) +\bibitem[Fro65]{Fro65} +Froberg C E +``Introduction to Numerical Analysis'' +Addison-Wesley. 181--187. (1965) \bibitem[Ga95]{Ga95} Garcia, A. and Stichtenoth, H. ``A tower of Artin-Schreier extensions of function fields attaining the Drinfeld-Vladut bound'' Invent. Math., vol. 121, 1995, pp. 211--222. +\bibitem[Gat90]{Gat90} +Joachim von zur Gathen, +``Functional Decomposition Polynomials: the Tame Case'' +Journal of Symbolic Computation (1990) 9, 281-299 +\bibitem[Gau79a]{Gau79a} +Gautschi W, +``A Computational Procedure for Incomplete Gamma Functions'' +ACM Trans. Math. Softw. 5 466--481. (1979) +\bibitem[Gau79b]{Gau79b} +Gautschi W, +``Algorithm 542: Incomplete Gamma Functions'' +ACM Trans. Math. Softw. 5 482--489. (1979) +\bibitem[Gen69]{Gen69} +Gentlemen W M, +``An Error Analysis of Goertzel's (Watt's) Method for Computing +Fourier Coefficients'' +Comput. J. 12 160--165. (1969) +\bibitem[Gen73]{Gen73} +Gentleman W M, (1973) +``Least-squares Computations by Givens Transformations without Square Roots'' +J. Inst. Math. Applic. 12 329--336. +\bibitem[Gen74]{Gen74} +Gentleman W M, +``Algorithm AS 75. Basic Procedures for Large Sparse or +Weighted Linear Least-squares Problems'' +Appl. Statist. 23 448--454. (1974) +\bibitem[GM74]{GM74} +Gentleman W. M. and Marovich S. B., ``More on algorithms +that reveal properties of floating point arithmetic units'' +Comms. of the ACM, 17, 276-277. (1974) +\bibitem[GM80]{GM80} +Genz A C and Malik A A, +``An Adaptive Algorithm for Numerical Integration over an N-dimensional +Rectangular Region'' (1980) +J. Comput. Appl. Math. 6 295--302. +\bibitem[GM72]{GM72} +Gill P E and Miller G F, +``An Algorithm for the Integration of Unequally Spaced Data'' +Comput. J. 15 80--83. (1972) +\bibitem[GM74]{GM74} +Gill P E and Murray W (eds) +``Numerical Methods for Constrained Optimization'' Academic Press. (1974) +\bibitem[GM76a]{GM76a} +Gill P E and Murray W, +``Minimization subject to bounds on the variables'' +Report NAC 72. National Physical Laboratory. (1976) +\bibitem[GM76b]{GM76b} +Gill P E and Murray W, +``Algorithms for the Solution of the Nonlinear Least-squares Problem'' +NAC 71 National Physical Laboratory. (1976) +\bibitem[GM78]{GM78} +Gill P E and Murray W, +``Algorithms for the Solution of the Nonlinear Least-squares Problem'' +SIAM J. Numer. Anal. 15 977--992. (1978) +\bibitem[GM79]{GM79} +Gill P E and Murray W, +``Conjugate-gradient Methods for Large-scale Nonlinear Optimization'' +Technical Report SOL 79-15. Department of Operations Research, +Stanford University. (1979) +\bibitem[GMW81]{GMW81} +Gill P E, Murray W and Wright M H, +``Practical Optimization'' +Academic Press. 1981 +\bibitem[GMW82]{GMW82} +Gill P E, Murray W, Saunders M A and Wright M H, +``The design and implementation of a quadratic programming algorithm'' +Report SOL 82-7. Department of Operations Research, +Stanford University. (1982) +\bibitem[GMSW84a]{GMSW84a} +Gill P E, Murray W, Saunders M A and Wright M H, +``User's Guide for SOL/QPSOL Version 3.2'' +Report SOL 84-5. Department of Operations Research, Stanford University. 1984 +\bibitem[GMSW84b]{GMSW84b} +Gill P E, Murray W, Saunders M A and Wright M H, +``Procedures for Optimization Problems with a Mixture of +Bounds and General Linear Constraints'' +ACM Trans. Math. Softw. 10 282--298. 1984 +\bibitem[GMSW86a]{GMSW86a} +Gill P E, Hammarling S, Murray W, Saunders M A and Wright M H, +``User's Guide for LSSOL (Version 1.0)'' +Report SOL 86-1. Department of Operations Research, Stanford University. 1986 +\bibitem[GMSW86b]{GMSW86b} +Gill P E, Murray W, Saunders M A and Wright M H, +``Some Theoretical Properties of an Augmented Lagrangian Merit Function'' +Report SOL 86-6R. Department of Operations Research, Stanford University. 1986 +\bibitem[Gla79]{Gla79} +Gladwell I, +``Initial Value Routines in the NAG Library'' +ACM Trans Math Softw. 5 386--400. (1979) +\bibitem[GS80]{GS80} +Gladwell I and Sayers D K +``Computational Techniques for Ordinary Differential Equations'' +Academic Press. 1980 +\bibitem[Gla86]{Gla86} +Gladwell I, +``Vectorisation of one dimensional quadrature codes'' +Techincal Report. TR7/86 NAG. (1986) +\bibitem[Gla87]{Gla87} +Gladwell I, +``The NAG Library Boundary Value Codes'' +Numerical Analysis Report. 134 Manchester University. (1987) \bibitem[God40]{God40} Goedel, "The consistency of the continuum hypothesis", Ann. Math. Studies, Princeton Univ. Press, 1940 +\bibitem[GG90]{GG90} +H. Gollan, J. Grabmeier, ``Algorithms in Representation Theory and +their Realization in the Computer Algebra System Scratchpad'' +Bayreuther Mathematische Schriften, Heft 33, 1990, 1-23 \bibitem[GL89]{GL89} Golub, Gene H. and Van Loan, Charles F. ``Matrix Computations'' @@ -1317,13 +1689,23 @@ Johns Hopkins University Press ISBN 0-8018-3772-3 (1989) Golub, Gene H. and Van Loan, Charles F. ``Matrix Computations'' Johns Hopkins University Press ISBN 978-0-8018-5414-9 (1996) +\bibitem[Grab]{Grab} +J. Grabmeier, ``On Plesken's root finding algorithm'' in preparation +\bibitem[GK87]{GK87} +J. Grabmeier, A. Kerber: ``The Evaluation of Irreducible +Polynomial Representations of the General Linear Groups +and of the Unitary Groups over Fields of Characteristic 0'' +Acta Appl. Math. 8 (1987), 271-291 \bibitem[REF-GS92]{REF-GS92} J. Grabmeier and A. Scheerhorn ``Finite fields in Axiom'' AXIOM Technical Report TR7/92 (ATR/5)(NP2522), Numerical Algorithms Group, Inc., Downer's Grove, IL, USA and Oxford, UK, 1992 \verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html| -\bibitem[Ha1896]{Ha1896} -Hathway, Arthur S., "A Primer Of Quaternions" (1896) +\bibitem[HL95]{HL95} +Hach\'e, G. and Le Brigand, D. +``Effective construction of algebraic geometry codes'' +IEEE Transaction on Information Theory, vol. 41, n27 6, +November 1995, pp. 1615--1628. \bibitem[Ha95]{Ha95} Hach\'e, G. ``Computation in algebraic function fields for effective construction of algebraic-geometric codes'' @@ -1332,10 +1714,42 @@ Lecture Notes in Computer Science, vol. 948, 1995, pp. 262--278. Hach\'e, G. ``Construction effective des codes g\'eom\'etriques'' Th\'ese de doctorat de l'Universit\'e Pierre et Marie Curie (Paris 6), Septembre 1996. +\bibitem[HW76]{HW76} +Hall G and Watt J M (eds), +``Modern Numerical Methods for Ordinary Differential Equations'' +Clarendon Press. (1976) \bibitem[Ham04]{Ham04} Hamdy, S. ``LiDIA A library for computational number theory'' Reference manual Edition 2.1.1 May 2004 \verb|www.cdc.informatik.tu-darmstadt.de/TI/LiDIA| +\bibitem[Ham85]{Ham85} +Hammarling S, +`` The Singular Value Decomposition in Multivariate Statistics'' +ACM Signum Newsletter. 20, 3 2--25. (1985) +\bibitem[HH67]{HH67} +Hammersley J M and Handscomb D C, ``Monte-Carlo Methods'' Methuen. (1967) +\bibitem[Ham62]{Ham62} +Hamming R W, +``Numerical Methods for Scientists and Engineers'' McGraw-Hill. (1962) +\bibitem[Ha1896]{Ha1896} +Hathway, Arthur S., "A Primer Of Quaternions" (1896) +\bibitem[Hay70]{Hay70} +Hayes J G, +``Curve Fitting by Polynomials in One Variable'' +Numerical Approximation to Functions and Data. +(ed J G Hayes) Athlone Press, London. (1970) +\bibitem[Hay74]{Hay74} +Hayes J G, +``Numerical Methods for Curve and Surface Fitting'' +Bull Inst Math Appl. 10 144--152. (1974) +\bibitem[HH74]{HH74} +Hayes J G and Halliday J, +``The Least-squares Fitting of Cubic Spline Surfaces to General Data Sets'' +J. Inst. Math. Appl. 14 89--103. (1974) +\bibitem[Hen56]{Hen56} +Peter Henrici, ``Automatic Computations with Power Series'' +Journal of the Association for Computing Machinery, Volume 3, No. 1, +January 1956, 10-15 \bibitem[Her1872]{Her1872} E. Hermite. Sur l'int\'{e}gration des fractions rationelles. {\sl Nouvelles Annales de Math\'{e}matiques} @@ -1348,38 +1762,54 @@ SIAM Philadelphia, PA ISBN 0-89871-521-0 (2002) N.J. Higham, "FORTRAN codes for estimating the one-norm of a real or complex matrix, with applications to condition estimation", ACM Trans. Math. Soft., vol. 14, no. 4, pp. 381-396, December 1988. +\bibitem[HS81]{HS81} +Hock W and Schittkowski K, +``Test Examples for Nonlinear Programming Codes'' +Lecture Notes in Economics and Mathematical Systems. 187 Springer-Verlag. 1981 +\bibitem[Hou70]{Hou70} +Householder A S, +``The Numerical Treatment of a Single Nonlinear Equation'' +McGraw-Hill. (1970) +\bibitem[Hou81]{Hou81} +Householder, Alston S. ``Principles of Numerical Analysis'' +Dover Publications, Mineola, NY ISBN 0-486-45312-X (1981) \bibitem[HI96]{HI96} Huang, M.D. and Ierardi, D. ``Efficient algorithms for Riemann-Roch problem and for addition in the jacobian of a curve'' Proceedings 32nd Annual Symposium on Foundations of Computer Sciences. IEEE Comput. Soc. Press, pp. 678--687. -\bibitem[HL95]{HL95} -Hach\'e, G. and Le Brigand, D. -``Effective construction of algebraic geometry codes'' -IEEE Transaction on Information Theory, vol. 41, n27 6, -November 1995, pp. 1615--1628. -\bibitem[Hou81]{Hou81} -Householder, Alston S. ``Principles of Numerical Analysis'' -Dover Publications, Mineola, NY ISBN 0-486-45312-X (1981) \bibitem[IBM]{IBM} SCRIPT Mathematical Formula Formatter User's Guide, SH20-6453, IBM Corporation, Publishing Systems Information Development, Dept. G68, P.O. Box 1900, Boulder, Colorado, USA 80301-9191. +\bibitem[IT88]{IT88} +T.Itoh, S.Tsujii, ``A fast algorithm for computing multiplicative inverses +in $GF(2^m)$ using normal bases'' +Inf. and Comp. 78, pp.171-177, 1988 \bibitem[Iya77]{Iya77} Shokichi Iyanaga and Yukiyosi Kawada Iyanaga ``Encyclopedic Dictionary of Mathematics'' 1977 \bibitem[Jac68]{Jac68} N. Jacobson, ``Structure and Representations of Jordan Algebras'' AMS, Colloquium Publications Volume 39 -\bibitem[JK +\bibitem[JK81]{JK81} Gordon James and Adalbert Kerber ``The Representation Theory of the Symmetric Group'' Encyclopedia of Mathematics and its Applications Vol. 16 Addison-Wesley, 1981 +\bibitem[JS77]{JS77} +Jaswon M A and Symm G T, +``Integral Equation Methods in Potential Theory and Elastostatics'' +Academic Press. (1977) \bibitem[Je04]{Je04} Jeffrey, Alan ``Handbook of Mathematical Formulas and Integrals'' Third Edition, Elsevier Academic Press ISBN 0-12-382256-4 +\bibitem[Jen66]{Jen66} +Jennings A, +``A Compact Storage Scheme for the Solution of Symmetric Linear +Simultaneous Equations'' +Comput. J. 9 281--285. (1966) \bibitem[Kal91]{Kal91} M. Kalkbrener ``Three contributions to elimination theory'' Ph. D. Thesis, University of Linz, Austria, 1991 @@ -1394,6 +1824,10 @@ Springer Verlag Heidelberg, 1989, ISBN 0-387-96980-2 Kaufmann, Matt; Manolios, Panagiotis, and Moore J Strother ``Computer-Aided Reasoning: An Approach'' Springer, July 31. 2000 ISBN 0792377443 +\bibitem[Knu71]{Knu71} +Donald Knuth ``The Art of Computer Programming'' 2nd edition Vol. 2 +(Seminumerical Algorithms) 1st edition, 2nd printing, +Addison-Wesley 1971, p. 397-398 \bibitem[Knu84]{Knu84} Knuth, Donald, {\it The \TeX{}book} \\ Reading, Massachusetts, Addison-Wesley Publishing Company, Inc., @@ -1408,28 +1842,59 @@ Kolchin, E.R. ``Differential Algebra and Algebraic Groups'' \bibitem[Kou10]{Kou10} Christoph Koutschan "Axiom / FriCAS" \verb|www.risc.jku.at/education/courses/ws2010/cas/axiom.pdf| +\bibitem[KL86]{KL86} +Dexter Kozen and Susan Landau, ``Polynomial Decomposition Algorithms'' +Journal of Symbolic Computation (1989) 7, 445-456 \bibitem[La86]{La86} Lamport, Leslie, {\it LaTeX: A Document Preparation System,} \\ Reading, Massachusetts, Addison-Wesley Publishing Company, Inc., 1986. ISBN 0-201-15790-X +\bibitem[Lau71]{Lau71} +Lautrup B, +``An Adaptive Multi-dimensional Integration Procedure'' +Proc. 2nd Coll. on Advanced Methods in Theoretical Physics, Marseille. (1971) +\bibitem[Law77]{Law77} +Lawson C L, +``Software for C Surface Interpolation'' +Mathematical Software III. (ed J R Rice) Academic Press. 161--194. (1977) +\bibitem[LH74]{LH74} +Lawson C L and Hanson R J, +``Solving Least-squares Problems'' +Prentice-Hall. (1974) \bibitem[REF-LAW79]{REF-LAW79} Lawson, C.L., Hanson R.J., Kincaid, D.R., Krogh, F.T. ``Algorithm 539: Basic linear algebra subprograms for FORTRAN usage'' ACM Transactions on Mathematical Software, Vol 5 No 3 September 1979 pp 308-323 +\bibitem[LHKK79]{LHKK79} +Lawson C L, Hanson R J, Kincaid D R and Krogh F T, +``Basic Linear Algebra Subprograms for Fortran Usage'' +ACM Trans. Math. Softw. 5 308--325. (1979) \bibitem[Laz91]{Laz91} D. Lazard ``A new method for solving algebraic systems of positive dimension'' Discr. App. Math. 33:147-160,1991 -\bibitem[LR88]{LR88} -Le Brigand, D. and Risler, J.J. -``Algorithme de Brill-Noether et codes de Goppa'' -Bull. Soc. Math. France, vol. 116, 1988, pp. 231--253. +\bibitem[Laz92]{Laz92} +D. LAZARD ``Solving Zero-dimensional Algebraic Systems'' +Journal of Symbolic Computation, 1992, 13, 117-131 \bibitem[LR90]{LR90} Daniel Lazard and Renaud Rioboo. ``Integration of rational functions: Rational computation of the logarithmic part'' {\sl Journal of Symbolic Computation}, 9:113-116:1990 +\bibitem[LR88]{LR88} +Le Brigand, D. and Risler, J.J. +``Algorithme de Brill-Noether et codes de Goppa'' +Bull. Soc. Math. France, vol. 116, 1988, pp. 231--253. +\bibitem[LS87]{LS87} +Lenstra, H. W. \& Schoof, R. J., +``Primitivive Normal Bases for Finite Fields'' +Math. Comp. 48, 1987, pp. 217-231 +\bibitem[Lew77]{Lew77} +Lewis J G, +``Algorithms for sparse matrix eigenvalue problems'' +Technical Report STAN-CS-77-595. Computer Science Department, +Stanford University. (1977) \bibitem[LN83]{LN83} R.Lidl, H.Niederreiter ``Finite Field, Encycoldia of Mathematics and Its Applications'', @@ -1455,8 +1920,8 @@ Loetzsch, M. ``GTFL - A graphical terminal for Lisp'' \bibitem[Los60]{Los60} L\"osch, Friedrich ``Tables of Higher Functions'' McGraw-Hill Book Company 1960 -\bibitem[LTW10]{LTW10} -Daly, Timothy "Lambda the Ultimate" +\bibitem[LTU10]{LTU10} +``Lambda the Ultimate'' \verb|lambda-the-ultimate.org/node/3663#comment-62440| \bibitem[Luk169]{Luk169} Luke, Yudell L. ``The Special Functions and their Approximations'' Volume I @@ -1464,15 +1929,41 @@ Academic Press (1969) Mathematics in Science and Engineering Volume 53-I \bibitem[Luk269]{Luk269} Luke, Yudell L. ``The Special Functions and their Approximations'' Volume II Academic Press (1969) Mathematics in Science and Engineering Volume 53-II +\bibitem[Lyn83]{Lyn83} +Lyness J N, +``When not to use an automatic quadrature routine'' +SIAM Review. 25 63--87. (1983) \bibitem[MB79]{MB79} Saunders Mac Lane and Garret Birkhoff ``Algebra'' AMS Chelsea Publishing ISBN 0821816462 \bibitem[Mal72]{Mal72} Malcolm M. A. (1972) Algorithms to reveal properties of floating-point arithmetic. Comms. of the ACM, 15, 949-951. +\bibitem[MS76]{MS76} +Malcolm M A and Simpson R B, +``Local Versus Global Strategies for Adaptive Quadrature'' +ACM Trans. Math. Softw. 1 129--146. (1976) +\bibitem[Mar66]{Mar66} +Marden M, +``Geometry of Polynomials'' +Mathematical Surveys. 3 Am. Math. Soc., Providence, RI. (1966) \bibitem[Mar07]{Mar07} Marshak, U. ``HT-AJAX - AJAX framework for Hunchentoot'' \verb|common-lisp.net/project/ht-ajax/ht-ajax.html| +\bibitem[Mig82]{Mig82} +Maurice Mignotte, ``Some Useful Bounds'' +Computing, Suppl. 4, 259-263 (1982), Springer-Verlag +\bibitem[McC83]{McC83} +McCarthy G J, +``Investigation into the Multigrid Code MGD1'' +Report AERE-R 10889. Harwell. (1983) +\bibitem[Min79]{Min79} +Henryk Minc, ``Evaluation of Permanents'' +Proc. of the Edinburgh Math. Soc.(1979), 22/1 pp 27-32. +\bibitem[MGH74]{MGH74} +More J J, Garbow B S and Hillstrom K E, +``User Guide for Minpack-1'' +ANL-80-74 Argonne National Laboratory. (1974) \bibitem[Maz98]{Maz98} M. Moreno Maza ``A new algorithm for computing triangular decomposition of algebraic varieties'' NAG Tech. Rep. 4/98. @@ -1490,10 +1981,45 @@ J. Res. Natl. Inst. Stand. Technol. (NIST) V102 No3 May-June 1997 pp363-365 \bibitem[Mie00]{Mie00} Mielenz, Klaus D. ``Computation of Fresnel Integrals II'' J. Res. Natl. Inst. Stand. Technol. (NIST) V105 No4 July-Aug 2000 pp589-590 +\bibitem[MS67]{MS67} +Mikhlin S G and Smolitsky K L, +``Approximate Methods for the Solution of Differential and Integral Equations'' +Elsevier. (1967) +\bibitem[MG80]{MG80} +Mitchell A R and Griffiths D F, +``The Finite Difference Method in Partial Differential Equations'' +Wiley. (1980) +\bibitem[MS73]{MS73} +Moler C B and Stewart G W, +``An Algorithm for Generalized Matrix Eigenproblems'' +SIAM J. Numer. Anal. 10 241--256. 1973 \bibitem[Mul97]{Mul97} Thom Mulders. ``A note on subresultants and a correction to the lazard/rioboo/trager formula in rational function integration'' {\sl Journal of Symbolic Computation}, 24(1):45-50, 1997 +\bibitem[Mun80]{Mun80} +Munksgaard N, +``Solving Sparse Symmetric Sets of Linear Equations by Pre-conditioned +Conjugate Gradients'' +ACM Trans. Math. Softw. 6 206--219. (1980) +\bibitem[Mur72]{Mur72} +Murray W, (ed) +``Numerical Methods for Unconstrained Optimization'' Academic Press. (1972) +\bibitem[MS83]{MS83} +Murtagh B A and Saunders M A, +``MINOS 5.0 User's Guide'' +Report SOL 83-20. Department of Operations Research, Stanford University 1983 +\bibitem[Mus78]{Mus78} +David R. Musser, ``On the Efficiency of a Polynomial Irreducibility Test'' +Journal of the ACM, Vol. 25, No. 2, April 1978, pp. 271-282 +\bibitem[NW78]{NW78} +Nijenhuis and Wilf, ``Combinatorical Algorithms'' +Academic Press, New York 1978. +\bibitem[Nik79]{Nik79} +Nikolai P J +``Algorithm 538: Eigenvectors and eigenvalues of real generalized +symmetric matrices by simultaneous iteration'' +ACM Trans. Math. Softw. 5 118--125. (1979) \bibitem[NIST10]{NIST10} Olver, Frank W., Lozier, Daniel W., Boisvert, Ronald F., Clark, Charles W. (ed) ``NIST Handbook of Mathematical Functions'' (2010) Cambridge University @@ -1501,14 +2027,35 @@ Press ISBN 978-0-521-19225-5 \bibitem[OpenM]{OpenM} ``OpenMath Technical Overview'' \verb|www.openmath.org/overview/technical.html| +\bibitem[OR70]{OR70} +Ortega J M and Rheinboldt W C, +``Iterative Solution of Nonlinear Equations in Several Variables'' +Academic Press. (1970) \bibitem[Ost1845]{Ost1845} M.W. Ostrogradsky. De l'int\'{e}gration des fractions rationelles. {\sl Bulletin de la Classe Physico-Math\'{e}matiques de l'Acae\'{e}mie Imp\'{e}riale des Sciences de St. P\'{e}tersbourg,} IV:145-167,286-300, 1845 -\bibitem[Pea56]{Pea56} -Pearcey, T. ``Table of the Fresnel Integral'' -Cambridge University Press 1956 +\bibitem[PS75]{PS75} +Paige C C and Saunders M A, +``Solution of Sparse Indefinite Systems of Linear Equations'' +SIAM J. Numer. Anal. 12 617--629. (1975) +\bibitem[PS82a]{PS82a} +Paige C C and Saunders M A, +``LSQR: An Algorithm for Sparse Linear Equations and Sparse Least-squares'' +ACM Trans. Math. Softw. 8 43--71. (1982) +\bibitem[PS82b]{PS82b} +Paige C C and Saunders M A, +``ALGORITHM 583 LSQR: Sparse Linear Equations and Least-squares Problems'' +ACM Trans. Math. Softw. 8 195--209. (1982) +\bibitem[Par84]{Par84} +R. A. Parker, +``The Computer Calculation of Modular Characters (The Meat-Axe)'' +M. D. Atkinson (Ed.), Computational Group Theory +Academic Press, Inc., London 1984 +\bibitem[Par80]{Par80} +Parlett B N, ``The Symmetric Eigenvalue Problem'' +Prentice-Hall. 1980 \bibitem[PJ10]{PJ10} Parnas, David Lorge and Jin, Ying ``Defining the meaning of tabular mathematical expressions'' @@ -1520,6 +2067,76 @@ Science of Computer Programming V25 No.1 Oct 1995 pp41-61 Elesevier \bibitem[Paul81]{Paul81} Richard Paul ``Robot Manipulators'' MIT Press 1981 +\bibitem[Pea56]{Pea56} +Pearcey, T. ``Table of the Fresnel Integral'' +Cambridge University Press 1956 +\bibitem[Per79]{Per79} +Pereyra V, +``PASVA3: An Adaptive Finite-Difference Fortran Program for First Order +Nonlinear, Ordinary Boundary Problems'' +Codes for Boundary Value Problems in Ordinary Differential Equations. +Lecture Notes in Computer Science. +(ed B Childs, M Scott, J W Daniel, E Denman and P Nelson) 76 +Springer-Verlag. (1979) +\bibitem[Pet67a]{Pet67a} +Peters G, +``NPL Algorithms Library'' +Document No. F2/03/A. (1967) +\bibitem[Pet67b]{Pet67b} +Peters G, +``NPL Algorithms Library'' +Document No.F1/04/A (1967) +\bibitem[PW70]{PW70} +Peters G and Wilkinson J H, +``The Least-squares Problem and Pseudo-inverses'' +Comput. J. 13 309--316. (1970) +\bibitem[PW71]{PW71} +Peters G and Wilkinson J H, +``Practical Problems Arising in the Solution of Polynomial Equations'' +J. Inst. Maths Applics. 8 16--35. (1971) +\bibitem[Pie82]{Pie82} +R.S. Pierce: ``Associative Algebras'' +Graduate Texts in Mathematics 88 +Springer-Verlag, Heidelberg, 1982, ISBN 0-387-90693-2 +\bibitem[Pie73]{Pie73} +Piessens R, +``An Algorithm for Automatic Integration'' +Angewandte Informatik. 15 399--401. (1973) +\bibitem[PMB74]{PMB74} +Piessens R, Mertens I and Branders M +``Integration of Functions having End-point Singularities'' +Angewandte Informatik. 16 65--68. (1974) +\bibitem[PB75]{PB75} +Piessens R and Branders M, +``Algorithm 002. Computation of Oscillating Integrals'' +J. Comput. Appl. Math. 1 153--164. (1975) +\bibitem[PVRBM76]{PVRBM76} +Piessens R, Van Roy-Branders M and Mertens I, +``The Automatic Evaluation of Cauchy Principal Value Integrals'' +Angewandte Informatik. 18 31--35. (1976) +\bibitem[PDUK83]{PDUK83} +Piessens R, De Doncker-Kapenga E, Uberhuber C and Kahaner D +``QUADPACK, A Subroutine Package for Automatic Integration'' +Springer-Verlag.(1983) +\bibitem[Pol37]{Pol37} +G.Polya, ``Kombinatorische Anzahlbestimmungen fur Gruppen, +Graphen und chemische Verbindungen'', +Acta Math. 68 (1937) 145-254. +\bibitem[Pow70]{Pow70} +Powell M J D, +``A Hybrid Method for Nonlinear Algebraic Equations'' +Numerical Methods for Nonlinear Algebraic Equations. +(ed P Rabinowitz) Gordon and Breach. (1970) +\bibitem[Pow74]{Pow74} +Powell M J D +``Introduction to Constrained Optimization'' +Numerical Methods for Constrained Optimization. +(ed P E Gill and W Murray) Academic Press. pp1-28. 1974 +\bibitem[Pow83]{Pow83} +Powell M J D, +``Variable Metric Methods in Constrained Optimization'' +Mathematical Programming: The State of the Art. +(ed A Bachem, M Groetschel and B Korte) Springer-Verlag. pp288--311. 1983 \bibitem[Pra73]{Pra73} Pratt, Vaughan R. ``Top down operator precedence'' POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on @@ -1529,6 +2146,20 @@ Principles of programming languages Press, William H., Teukolsky, Saul A., Vetterling, William T., Flannery, Brian P. ``Numerical Recipes in C'' Cambridge University Press (1995) ISBN 0-521-43108-5 +\bibitem[PH77]{PH77} +Pryce J D and Hargrave B A, +``The Scale Pruefer Method for one-parameter and multi-parameter eigenvalue +problems in ODEs'' +Inst. Math. Appl., Numerical Analysis Newsletter. 1(3) (1977) +\bibitem[Pry81]{Pry81} +Pryce J D, +``Two codes for Sturm-Liouville problems'' +Technical Report CS-81-01. Dept of Computer Science, Bristol University (1981) +\bibitem[Pry86]{Pry86} +Pryce J D, +``Error Estimation for Phase-function Shooting Methods for +Sturm-Liouville Problems'' +J. Num. Anal. 6 103--123. (1986) \bibitem[Pu09]{Pu09} Puffinware LLC ``Singular Value Decomposition (SVD) Tutorial'' \verb|www.puffinwarellc.com/p3a.htm| @@ -1536,9 +2167,33 @@ Puffinware LLC ``Singular Value Decomposition (SVD) Tutorial'' Gregorio Quintana-Orti and Robert van de Geijn, "Improving the performance of reduction to Hessenberg form," ACM Transactions on Mathematical Software, 32(2):180-194, June 2006. +\bibitem[Rab70]{Rab70} +Rabinowitz P, +``Numerical Methods for Nonlinear Algebraic Equations'' +Gordon and Breach. (1970) +\bibitem[Ral65]{Ral65} +Ralston A, +``A First Course in Numerical Analysis'' +McGraw-Hill. 87--90. (1965) \bibitem[Ra03]{Ra03} Ramsey, Norman ``Noweb -- A Simple, Extensible Tool for Literate Programming'' \verb|www.eecs.harvard.edu/~nr/noweb| +\bibitem[Red27]{Red27} +J.H.Redfield, ``The Theory of Group-Reduced Distributions'' +American J. Math., 49 (1927) 433-455. +\bibitem[Rei67]{Rei67} +Reinsch C H, +``Smoothing by Spline Functions'' +Num. Math. 10 177--183. (1967) +\bibitem[Ren84]{Ren84} +Renka R L, +``Algorithm 624: Triangulation and Interpolation of Arbitrarily Distributed +Points in the Plane'' +ACM Trans. Math. Softw. 10 440--442. (1984) +\bibitem[RC84]{RC84} +Renka R L and Cline A K, +``A Triangle-based C Interpolation Method'' +Rocky Mountain J. Math. 14 223--237. (1984) \bibitem[Re93]{Re93} Christophe Reutenauer ``Free Lie Algebras'' Oxford University Press, June 1993 ISBN 0198536798 @@ -1548,6 +2203,10 @@ Rich, Albert D. ``Rule-based Mathematics'' \verb|www.apmaths.uwo.ca/~arich| Richardson, Dan and Fitch, John ``The identity problem for elementary functions and constants'' ACM Proc. of ISSAC 94 pp285-290 ISBN 0-89791-638-7 +\bibitem[RM67]{RM67} +Richtmyer R D and Morton K W, +``Difference Methods for Initial-value Problems'' +Interscience (2nd Edition). (1967) \bibitem[REF-Rio92]{REF-Rio92} R. Rioboo ``Real algebraic closure of an ordered field, implementation in Axiom'' @@ -1584,9 +2243,34 @@ Maxwell Rosenlicht. Integration in finite terms. Michael Rothstein. ``A new algorithm for the integration of exponential and logarithmic functions'' In {\sl Proceedings of the 1977 MACSYMA Users Conference}, pages 263-274. NASA Pub CP-2012, 1977 +\bibitem[Rut69]{Rut69} +Rutishauser H, +``Computational aspects of F L Bauer's simultaneous iteration method'' +Num. Math. 13 4--13. (1969) +\bibitem[Rut70]{Rut70} +Rutishauser H, +``Simultaneous iteration method for symmetric matrices'' +Num. Math. 16 205--223. (1970) \bibitem[Sch66]{Sch66} R.D. Schafer ``An Introduction to Nonassociative Algebras'' Academic Press, New York, 1966 +\bibitem[SW53]{SW53} +Schoenberg I J and Whitney A, +``On Polya Frequency Functions III'' +Trans. Amer. Math. Soc. 74 246--259. (1953) +\bibitem[Sch82]{Sch82} +A. Schoenhage, +``The fundamental theorem of algebra in terms of computational complexity'' +preliminary report, Univ. Tuebingen, 1982 +\bibitem[Sch76]{Sch76} +Schonfelder J L, +``The Production of Special Function Routines for a Multi-Machine Library'' +Software Practice and Experience. 6(1) (1976) +\bibitem[She68]{She68} +Shepard D, +``A Two-dimensional Interpolation Function for Irregularly Spaced Data'' +Proc. 23rd Nat. Conf. ACM. Brandon/Systems Press Inc., +Princeton. 517--523. 1968 \bibitem[Sims71]{Sims71} C. Sims ``Determining the Conjugacy Classes of a Permutation Group'' Computers in Algebra and Number Theory, SIAM-AMS Proc., Vol. 4, @@ -1594,31 +2278,97 @@ American Math. Soc., 1991, pp191-195 \bibitem[Sit92]{Sit92} William Sit, ``An Algorithm for Parametric Linear Systems'' J. Sym. Comp., April 1992 +\bibitem[Smi67]{Smi67} +Smith B T, +``ZERPOL: A Zero Finding Algorithm for Polynomials Using Laguerre's Method'' +Technical Report. Department of Computer Science, University of Toronto, +Canada. (1967) +\bibitem[Smi85]{Smi85} +Smith G D, +``Numerical Solution of Partial Differential Equations: Finite Difference +Methods'' +Oxford University Press (3rd Edition). (1985) +\bibitem[Sob74]{Sob74} +Sobol I M, ``The Monte Carlo Method'' The University of Chicago Press. 1974 \bibitem[Ste90]{Ste90} Steele, Guy L. ``Common Lisp The Language'' Second Edition ISBN 1-55558-041-6 Digital Press (1990) \bibitem[St93]{St93} Stichtenoth, H. ``Algebraic function fields and codes'' Springer-Verlag, 1993, University Text. +\bibitem[Sti90]{Sti90} +D.R.Stinson, +``Some observations on parallel Algorithms for fast exponentiation +in $GF(2^n)$''Siam J. Comp., Vol.19, No.4, pp.711-717, August 1990 +\bibitem[SS66]{SS66} +Stroud A H and Secrest D, +``Gaussian Quadrature Formulas'' +Prentice-Hall. (1966) +\bibitem[Str71]{Str71} +Stroud A H, ``Approximate Calculation of Multiple Integrals'' +Prentice-Hall 1971 +\bibitem[SS79]{SS79} +Swarztrauber P N and Sweet R A, +``Efficient Fortran Subprograms for the Solution of Separable Elliptic Partial +Differential Equations'' +ACM Trans. Math. Softw. 5 352--364. (1979) +\bibitem[SS84]{SS84} +Swarztrauber P N, +``Fast Poisson Solvers'' +Studies in Numerical Analysis. (ed G H Golub) +Mathematical Association of America. (1984) \bibitem[Ta1890]{Ta1980} Tait, P.G.,{\it An Elementary Treatise on Quaternions} C.J. Clay and Sons, Cambridge University Press Warehouse, Ave Maria Lane 1890 \bibitem[Tai96]{Tai96} Taivalsaari, Antero ``On the Notion of Inheritance'' ACM Computing Surveys, Vol 28 No 3 Sept 1996 pp438-479 +\bibitem[Tem87]{Tem87} +Temme N M, +``On the Computation of the Incomplete Gamma Functions for Large Values of +the Parameters'' +Algorithms for Approximation. (ed J C Mason and M G Cox) +Oxford University Press. (1987) +\bibitem[Tem83a]{Tem83a} +Temperton C, +``Self-sorting Mixed-radix Fast Fourier Transforms'' +J. Comput. Phys. 52 1--23. (1983) +\bibitem[Tem83b]{Tem83b} +Temperton C, +``Fast Mixed-Radix Real Fourier Transforms'' +J. Comput. Phys. 52 340--350. (1983) \bibitem[Tr76]{Tr76} Trager, Barry ``Algebraic factoring and rational function integration'' In {Proceedings of SYMSAC'76} pages 219-226, 1976 \bibitem[Tr84]{Tr84} Trager Barry {\sl On the integration of algebraic functions}, PhD thesis, MIT, Computer Science, 1984 +\bibitem[Unk61]{Unk61} +Unknown ``Chebyshev-series'' Modern Computing Methods +Chapter 8. NPL Notes on Applied Science (2nd Edition). 16 HMSO. 1961 +\bibitem[vDDR76]{vDDR76} +Van Dooren P and De Ridder L, +``An Adaptive Algorithm for Numerical Integration over an N-dimensional Cube'' +J. Comput. Appl. Math. 2 207--217. (1976) \bibitem[vH94]{vH94} M. van Hoeij. ``An algorithm for computing an integral basis in an algebraic function field'' {\sl J. Symbolic Computation} 18(4):353-364, October 1994 +\bibitem[Van92]{Van92} +Van Loan C, +``Computational Frameworks for the Fast Fourier Transform'' +SIAM Philadelphia. (1992) +\bibitem[WM85]{WM85} +Wait R and Mitchell A R, +``Finite Element Analysis and Application'' +Wiley. (1985) \bibitem[Wang92]{Wang92} D.M. Wang ``An implementation of the characteristic set method in Maple'' Proc. DISCO'92 Bath, England +\bibitem[War75]{War75} +Ward R C, +``The Combination Shift QZ Algorithm'' +SIAM J. Numer. Anal. 12 835--853. 1975 \bibitem[Wa03]{Wa03} Watt, Stephen, ``Aldor'', \verb|www.aldor.org| \bibitem[We71]{We71} @@ -1635,21 +2385,58 @@ Weitz, E. ``CL-WHO -Yet another Lisp markup language'' Weitz, E. ``HUNCHENTOOT - The Common Lisp web server formerly known as TBNL'' \verb|www.weitz.de/hunchentoot/| -\bibitem[Wo09]{Wo09} -Wolfram Research, \verb|mathworld.wolfram.com/Quaternion.html| -\bibitem[WU87]{WU87} -W.T. Wu ``A Zero Structure Theorem for polynomial equations solving'' -MM Research Preprints, 1987 -\bibitem[Yu76]{Yu76} -D.Y.Y. Yun. ``On square-free decomposition algorithms'' -{\sl Proceedings of SYMSAC'76} pages 26-35, 1976 +\bibitem[Wes82a]{Wes82a} +Wesseling P, +``MGD1 - A Robust and Efficient Multigrid Method'' +Multigrid Methods. Lecture Notes in Mathematics. 960 +Springer-Verlag. 614--630. (1982) +\bibitem[Wes82a]{Wes82a} +Wesseling P, +``Theoretical Aspects of a Multigrid Method'' +SIAM J. Sci. Statist. Comput. 3 387--407. (1982) \bibitem[Wiki3]{Wiki3} \verb|en.wikipedia.org/wiki/Givens_rotation| +\bibitem[Wil85]{Wil85} +S.G.Williamson, ``Combinatorics for Computer Science'' +Computer Science Press, 1985. +\bibitem[WR71]{WR71} +Wilkinson J H and Reinsch C, +``Handbook for Automatic Computation II, Linear Algebra'' +Springer-Verlag. 1971 +\bibitem[Wil63]{Wil63} +Wilkinson J H, +``Rounding Errors in Algebraic Processes'' Chapter 2. HMSO. (1963) +\bibitem[Wil65]{Wil65} +Wilkinson J H, +``The Algebraic Eigenvalue Problem'' Oxford University Press. (1965) +\bibitem[Wil78]{Wil78} +Wilkinson J H, +``Singular Value Decomposition -- Basic Aspects'' +Numerical Software -- Needs and Availability. +(ed D A H Jacobs) Academic Press. (1978) +\bibitem[Wil79]{Wil79} +Wilkinson J H, +``Kronecker's Canonical Form and the QZ Algorithm'' +Linear Algebra and Appl. 28 285--303. 1979 \bibitem[Wis91]{Wis91} R. Wisbauer, ``Bimodule Structure of Algebra'' Lecture Notes Univ. Duesseldorf 1991 \bibitem[Woe80]{Woe80} A. Woerz-Busekros: ``Algebra in Genetics'' Lectures Notes in Biomathematics 36, Springer-Verlag, Heidelberg, 1980 +\bibitem[Wol67]{Wol67} +Wolberg J R, ``Prediction Analysis'' Van Nostrand. (1967) +\bibitem[Wo09]{Wo09} +Wolfram Research, \verb|mathworld.wolfram.com/Quaternion.html| +\bibitem[WU87]{WU87} +W.T. Wu ``A Zero Structure Theorem for polynomial equations solving'' +MM Research Preprints, 1987 +\bibitem[Wynn56]{Wynn56} +Wynn P (1956) +``On a Device for Computing the $e_m(S_n )$ Transformation'' +Math. Tables Aids Comput. 10 91--96. +\bibitem[Yu76]{Yu76} +D.Y.Y. Yun. ``On square-free decomposition algorithms'' +{\sl Proceedings of SYMSAC'76} pages 26-35, 1976 \end{thebibliography} \end{document} diff --git a/changelog b/changelog index fd83e1b..b5c70a9 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20130305 tpd src/axiom-website/patches.html 20130305.01.tpd.patch +20120305 tpd books/bookvolbib add references 20130301 tpd src/axiom-website/patches.html 20130301.01.tpd.patch 20130301 tpd books/bookvol10.3 write help documentation for all domains 20130229 tpd src/axiom-website/patches.html 20130229.01.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index d941051..86b2e2c 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -4003,5 +4003,7 @@ books/bookvol10.2 write help documentation for all categories books/bookvolbib add references 20130301.01.tpd.patch books/bookvol10.3 write help documentation for all domains +20130305.01.tpd.patch +books/bookvolbib add references