diff --git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet index 8fd2a72..0b14f40 100644 --- a/books/bookvolbib.pamphlet +++ b/books/bookvolbib.pamphlet @@ -1208,6 +1208,10 @@ 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[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[Ba10]{Ba10} Baker, Martin ``3D World Simulation'' \verb|www.euclideanspace.com| @@ -1305,6 +1309,11 @@ 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[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[Ha95]{Ha95} @@ -1345,9 +1354,25 @@ 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[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[Je04]{Je04} Jeffrey, Alan ``Handbook of Mathematical Formulas and Integrals'' Third Edition, Elsevier Academic Press ISBN 0-12-382256-4 +\bibitem[Kal91]{Kal91} +M. Kalkbrener ``Three contributions to elimination theory'' +Ph. D. Thesis, University of Linz, Austria, 1991 +\bibitem[Kal98]{Kal98} +M. Kalkbrener, ``Algorithmic properties of polynomial rings'' +Journal of Symbolic Computation 1998 +\bibitem[Kan89]{Kan89} +I.L Kantor, A.S. Solodovnikov +``Hypercomplex Numbers'' +Springer Verlag Heidelberg, 1989, ISBN 0-387-96980-2 \bibitem[KMJ00]{KMJ00} Kaufmann, Matt; Manolios, Panagiotis, and Moore J Strother ``Computer-Aided Reasoning: An Approach'' Springer, July 31. 2000 @@ -1360,6 +1385,9 @@ Reading, Massachusetts, Addison-Wesley Publishing Company, Inc., Knuth, Donald E., ``Literate Programming'' Center for the Study of Language and Information ISBN 0-937073-81-4 Stanford CA (1992) +\bibitem[Kol73]{Kol73} +Kolchin, E.R. ``Differential Algebra and Algebraic Groups'' +(Academic Press, 1973). \bibitem[Kou10]{Kou10} Christoph Koutschan "Axiom / FriCAS" \verb|www.risc.jku.at/education/courses/ws2010/cas/axiom.pdf| @@ -1373,6 +1401,10 @@ 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[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'' @@ -1381,6 +1413,10 @@ Bull. Soc. Math. France, vol. 116, 1988, pp. 231--253. 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[LN83]{LN83} +R.Lidl, H.Niederreiter +``Finite Field, Encycoldia of Mathematics and Its Applications'', +Vol. 20, Cambridge Univ. Press, 1983 \bibitem[LMW79]{LMW79} Linger, Richard C.; Mills, Harlan D.; and Witt, Bernard I. ``Structured Programming: Theory and Practice'' @@ -1393,6 +1429,9 @@ alg\'{e}brique. {\sl Journal de l'Ecole Polytechnique}, 14:124-148, 1833 Joseph Liouville. Second m\'{e}moire sur la d\'{e}termination des int\'{e}grales dont la valeur est alg\'{e}brique. {\sl Journal de l'Ecole Polytechnique}, 14:149-193, 1833 +\bibitem[Lip81]{Lip81} +D.Lipson, ``Elements of Algebra and Algebraic Computing'', +The Benjamin/Cummings Publishing Company, Inc.-Menlo Park, California, 1981. \bibitem[Loe09]{Loe09} Loetzsch, M. ``GTFL - A graphical terminal for Lisp'' \verb|martin-loetzsch.de/gtfl/| @@ -1408,12 +1447,26 @@ 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[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[Mar07]{Mar07} Marshak, U. ``HT-AJAX - AJAX framework for Hunchentoot'' \verb|common-lisp.net/project/ht-ajax/ht-ajax.html| +\bibitem[Maz98]{Maz98} +M. Moreno Maza ``A new algorithm for computing triangular +decomposition of algebraic varieties'' NAG Tech. Rep. 4/98. +\bibitem[MR95]{MR95} +M. Moreno Maza and R. Rioboo +``Computations of gcd over algebraic towers of simple extensions'' +In proceedings of AAECC11 Paris, 1995. +\bibitem[Maz97]{Maz97} +M. MORENO MAZA ``Calculs de pgcd au-dessus des tours +d'extensions simples et resolution des systemes d'equations algebriques'' +These, Universite P.etM. Curie, Paris, 1997. \bibitem[Mie97]{Mie97} Mielenz, Klaus D. ``Computation of Fresnel Integrals'' J. Res. Natl. Inst. Stand. Technol. (NIST) V102 No3 May-June 1997 pp363-365 @@ -1472,6 +1525,16 @@ 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[REF-Rio92]{REF-Rio92} +R. Rioboo +``Real algebraic closure of an ordered field, implementation in Axiom'' +In Wang [Wan92], pp206-215 ISBN 0-89791-489-9 (soft cover) +In proceedings of the ISSAC'92 Conference, Berkeley 1992 pp. 206-215. +0-89791-490-2 (hard cover) LCCN QA76.95.I59 1992 +\bibitem[Rio96]{Rio96} +R. Rioboo ``Generic computation of the real closure of an ordered field'' +In Mathematics and Computers in Simulation Volume 42, Issue 4-6, +November 1996. \bibitem[Ris68]{Ris68} Robert Risch. ``On the integration of elementary functions which are built up using algebraic operations'' Research Report @@ -1488,6 +1551,9 @@ Robert Risch. ``The solution of problem of integration in finite terms'' \bibitem[Ris79]{Ris79} Robert Risch. ``Algebraic properties of the elementary functions of analysis'' {\sl American Journal of Mathematics}, 101:743-759, 1979 +\bibitem[Ritt50]{Ritt50} +Joseph Fels Ritt, ``Differential Algebra'' +AMS Colloquium Publications Volume 33 ISBN 978-0-8218-4638-4 \bibitem[Ro72]{Ro72} Maxwell Rosenlicht. Integration in finite terms. {\sl American Mathematical Monthly}, 79:963-972, 1972 @@ -1495,6 +1561,9 @@ 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[Sch66]{Sch66} +R.D. Schafer ``An Introduction to Nonassociative Algebras'' +Academic Press, New York, 1966 \bibitem[Ste90]{Ste90} Steele, Guy L. ``Common Lisp The Language'' Second Edition ISBN 1-55558-041-6 Digital Press (1990) @@ -1540,5 +1609,8 @@ D.Y.Y. Yun. ``On square-free decomposition algorithms'' {\sl Proceedings of SYMSAC'76} pages 26-35, 1976 \bibitem[Wiki3]{Wiki3} \verb|en.wikipedia.org/wiki/Givens_rotation| +\bibitem[Wis91]{Wis91} +R. Wisbauer, ``Bimodule Structure of Algebra'' +Lecture Notes Univ. Duesseldorf 1991 \end{thebibliography} \end{document} diff --git a/changelog b/changelog index 6e3851d..b8bfaaa 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20130228 tpd src/axiom-website/patches.html 20130228.01.tpd.patch +20130228 tpd books/bookvolbib add references 20130227 tpd src/axiom-website/patches.html 20130227.02.tpd.patch 20130227 tpd src/algebra/Makefile add U32VectorPolynomialOperations 20130227 tpd books/bookvol5 add support for U32VectorPolynomialOperations diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 063d677..96222a4 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -3995,5 +3995,7 @@ books/bookvol10.3 add U16Matrix books/bookvol10.3 add U8Matrix 20130227.02.tpd.patch books/bookvol10.4 add U32VectorPolynomialOperations +20130228.01.tpd.patch +books/bookvolbib add references