summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/bibtex/bib/beebe/texbook2.bib
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/bibtex/bib/beebe/texbook2.bib')
-rw-r--r--Master/texmf-dist/bibtex/bib/beebe/texbook2.bib1697
1 files changed, 1464 insertions, 233 deletions
diff --git a/Master/texmf-dist/bibtex/bib/beebe/texbook2.bib b/Master/texmf-dist/bibtex/bib/beebe/texbook2.bib
index 58a4967efaf..f6edbe7fa11 100644
--- a/Master/texmf-dist/bibtex/bib/beebe/texbook2.bib
+++ b/Master/texmf-dist/bibtex/bib/beebe/texbook2.bib
@@ -5,9 +5,9 @@
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
-%%% version = "2.12",
-%%% date = "08 January 2019",
-%%% time = "10:42:14 MST",
+%%% version = "2.13",
+%%% date = "31 January 2019",
+%%% time = "15:43:31 MST",
%%% filename = "texbook2.bib",
%%% address = "University of Utah
%%% Department of Mathematics, 110 LCB
@@ -16,7 +16,7 @@
%%% USA",
%%% telephone = "+1 801 581 5254",
%%% FAX = "+1 801 581 4148",
-%%% checksum = "51612 9860 36992 360656",
+%%% checksum = "14909 11091 43929 427780",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at computer.org (Internet)",
%%% codetable = "ISO/ASCII",
@@ -32,27 +32,27 @@
%%% printed if the is-alpha.bst or is-plain.bst
%%% style files are used.
%%%
-%%% At version 2.12, the year coverage looked
+%%% At version 2.13, the year coverage looked
%%% like this:
%%%
%%% 1985 ( 1) 1996 ( 5) 2007 ( 1)
%%% 1986 ( 1) 1997 ( 3) 2008 ( 0)
%%% 1987 ( 0) 1998 ( 4) 2009 ( 0)
-%%% 1988 ( 1) 1999 ( 3) 2010 ( 1)
-%%% 1989 ( 0) 2000 ( 2) 2011 ( 0)
-%%% 1990 ( 0) 2001 ( 2) 2012 ( 0)
-%%% 1991 ( 1) 2002 ( 1) 2013 ( 0)
-%%% 1992 ( 2) 2003 ( 2) 2014 ( 0)
+%%% 1988 ( 2) 1999 ( 3) 2010 ( 1)
+%%% 1989 ( 2) 2000 ( 2) 2011 ( 0)
+%%% 1990 ( 3) 2001 ( 2) 2012 ( 0)
+%%% 1991 ( 4) 2002 ( 1) 2013 ( 0)
+%%% 1992 ( 5) 2003 ( 2) 2014 ( 0)
%%% 1993 ( 0) 2004 ( 1) 2015 ( 0)
%%% 1994 ( 0) 2005 ( 2) 2016 ( 2)
%%% 1995 ( 4) 2006 ( 2)
%%%
%%% Article: 2
-%%% Book: 408
+%%% Book: 407
%%% Booklet: 1
%%% Misc: 11
%%% Periodical: 93
-%%% Proceedings: 9
+%%% Proceedings: 10
%%% TechReport: 1
%%%
%%% Total entries: 525
@@ -569,68 +569,59 @@
@String{prep-ytex = "Prepared with Daniel Brotsky's {Y\TeX}."}
%%% ====================================================================
-%%% publisher abbreviations
+%%% Publisher abbreviations
+
+@String{pub-A-K-PETERS = "A. K. Peters, Ltd."}
+@String{pub-A-K-PETERS:adr = "Wellesley, MA, USA"}
+
+@String{pub-ACADEMIC = "Academic Press"}
+@String{pub-ACADEMIC:adr = "New York, NY, USA"}
@String{pub-AIAA = "American Institute of Aeronautics and
Astronautics"}
-
@String{pub-AIAA:adr = "370 L'Enfant Promenade SW, Washington, DC
20024--2518"}
@String{pub-AIP = "American Institute of Physics"}
-
@String{pub-AIP:adr = "Woodbury, NY, USA"}
@String{pub-AP = "Academic Press"}
-
@String{pub-AP:adr = "Boston, MA, USA"}
@String{pub-ARACNE = "Aracne Editrice"}
-
@String{pub-ARACNE:adr = "Via Luigi Chiozza, 21b, 00133 Roma, Italy"}
@String{pub-ARE = "A-R Editions, Inc."}
-
@String{pub-ARE:adr = "801 Deming Way, Madison, WI 53717-1903,
USA; Tel: (608) 836-9000"}
@String{pub-AUG = "Acta Universitatis Gothoburgensis"}
-
@String{pub-AUG:adr = "Gothenburg, Sweden"}
@String{pub-AW = "Ad{\-d}i{\-s}on-Wes{\-l}ey"}
-
@String{pub-AW-Can:adr = "Don Mills, Ontario, Canada"}
-
@String{pub-AW:adr = "Reading, MA, USA"}
@String{pub-BENCUM = "Benjamin/Cummings Pub. Co."}
-
@String{pub-BENCUM:adr = "Redwood City, CA, USA"}
@String{pub-BIRKHAUSER = "Birkh{\"{a}}user"}
-
@String{pub-BIRKHAUSER:adr = "Cambridge, MA, USA; Berlin, Germany; Basel,
Switzerland"}
@String{pub-BOOKMAN = "Bookman"}
-
@String{pub-BOOKMAN:adr = "Taipei, Taiwan"}
@String{pub-BRILL = "Brill"}
-
@String{pub-BRILL:adr = "Leiden, The Netherlands"}
@String{pub-BS = "The Bibliographical Society"}
-
@String{pub-BS:adr = "London, UK"}
@String{pub-BSA = "The Bibliographical Society of America"}
-
@String{pub-BSA:adr = "New York, NY, USA"}
@String{pub-CHAPMAN = "Chapman and Hall, Ltd."}
-
@String{pub-CHAPMAN:adr = "London, UK"}
%%% NB: CLUT and Loescher Editore did not provide ISBN's on the books
@@ -638,303 +629,232 @@
@String{pub-CLUT = "Edizioni Cooperativa Libraria Universitaria
Torino"}
-
@String{pub-CLUT:adr = "Corso Duca degli Abruzzi, 24, I 10129
Torino, Italy"}
@String{pub-CP = "Clarendon Press"}
-
@String{pub-CP:adr = "Oxford, UK"}
@String{pub-CRC = "CRC Press"}
-
@String{pub-CRC:adr = "2000 N.W. Corporate Blvd., Boca Raton,
FL 33431-9868, USA"}
@String{pub-CSLI = "CSLI Publications"}
-
@String{pub-CSLI:adr = "Stanford, CA, USA"}
@String{pub-CSP = "Computer Science Press"}
-
@String{pub-CSP:adr = "1803 Research Boulevard, Rockville, MD
20850, USA"}
@String{pub-CUP = "Cambridge University Press"}
-
@String{pub-CUP:adr = "Cambridge, UK"}
@String{pub-CURSCI = "Current Science"}
-
@String{pub-CURSCI:adr = "34--42 Cleveland Street, London, UK"}
@String{pub-DARWIN = "The Darwin Press"}
-
@String{pub-DARWIN:adr = "Princeton, NJ, USA"}
@String{pub-DP = "Digital Press"}
-
@String{pub-DP:adr = "12 Crosby Drive, Bedford, MA 01730, USA"}
@String{pub-DUXBURY = "Duxbury Press"}
-
@String{pub-DUXBURY:adr = "Belmont, CA, USA"}
@String{pub-EF = "Esperantoforlaget AS"}
-
@String{pub-EF:adr = "Oslo, Norway"}
@String{pub-EFFECT = "Effect Publishing"}
-
@String{pub-EFFECT:adr = "501 Fifth Avenue, Suite 1612, New York, NY
10017, USA"}
@String{pub-ELLIS-HORWOOD = "Ellis Horwood"}
-
@String{pub-ELLIS-HORWOOD:adr = "New York, NY, USA"}
@String{pub-ESP = "Elsevier Science Publishers"}
-
@String{pub-ESP:adr = "Amsterdam, The Netherlands"}
@String{pub-ESPNH = "Elsevier Science Publishers
(North-Holland)"}
-
@String{pub-ESPNH:adr = "Amsterdam, The Netherlands"}
@String{pub-ET = "Editorial Trillas"}
-
@String{pub-ET:adr = "M{\'e}xico DF, M{\'e}xico"}
@String{pub-GEO = "Geo Books"}
-
@String{pub-GEO:adr = "Norwich, UK"}
@String{pub-GLAGOL = "Glagol"}
-
@String{pub-GLAGOL:adr = "St. Petersburg, Russia"}
@String{pub-GREENWOOD = "Greenwood Press"}
-
@String{pub-GREENWOOD:adr = "88 Post Road West, Westport, CT 06881, USA"}
@String{pub-HD = "Holden-Day, Inc."}
-
@String{pub-HD:adr = "Oakland, CA 94609, USA"}
@String{pub-HPT = "H{\"o}ld{\-}er-Pichler-Tempsky Verlag"}
-
@String{pub-HPT:adr = "Vienna, Austria"}
@String{pub-HRW = "Holt, Rinehart, and Winston"}
-
@String{pub-HRW:adr = "New York, NY, USA"}
@String{pub-IE = "InterEditions"}
-
@String{pub-IE:adr = "25 rue Leblanc, 75015 Paris, France"}
@String{pub-IOS = "IOS Press"}
-
@String{pub-IOS:adr = "Amsterdam, The Netherlands"}
@String{pub-ISO = "International Organization for
Standardization"}
-
@String{pub-ISO:adr = "Geneva, Switzerland"}
@String{pub-ITCP = "International Thomson Computer Press"}
-
@String{pub-ITCP:adr = "20 Park Plaza Suite 1001, Boston, MA 02116
USA"}
@String{pub-JBENJ = "John Benjamins"}
-
@String{pub-JBENJ:adr = "Amsterdam, The Netherlands"}
@String{pub-JBP = "Jones and Bartlett Publishers, Inc."}
-
@String{pub-JBP:adr = "One Exeter Plaza, Boston, MA 02116, USA"}
-@String{pub-JHUP = "The Johns Hopkins University Press"}
-
-@String{pub-JHUP:adr = "Baltimore, MD, USA"}
+@String{pub-JOHNS-HOPKINS = "The Johns Hopkins University Press"}
+@String{pub-JOHNS-HOPKINS:adr = "Baltimore, MD, USA"}
@String{pub-JW = "John Wiley"}
-
@String{pub-JW:adr = "New York, NY, USA"}
@String{pub-KENKYUSHA = "Kenkyusha"}
-
@String{pub-KENKYUSHA:adr = "Tokyo, Japan"}
@String{pub-KLUWER = "Kluwer Academic Publishers Group"}
-
@String{pub-KLUWER:adr = "Norwell, MA, USA, and Dordrecht, The
Netherlands"}
@String{pub-LEC = "Libreria Editrice Cafoscarina"}
-
@String{pub-LEC:adr = "Venice, Italy"}
@String{pub-LGU = "Leningrad University"}
-
@String{pub-LGU:adr = "St. Petersburg, Russia"}
@String{pub-LINUX-JOURNAL-PRESS = "Linux Journal Press"}
-
@String{pub-LINUX-JOURNAL-PRESS:adr = "San Francisco, CA, USA"}
@String{pub-LOESCHER = "Loescher Editore"}
-
@String{pub-LOESCHER:adr = "Via Vittorio Amedeo II, 18, Torino, Italy"}
@String{pub-MAYFIELD = "Mayfield"}
-
@String{pub-MAYFIELD:adr = "Palo Alto, CA, USA"}
@String{pub-MCGRAW-HILL = "Mc{\-}Graw-Hill"}
-
@String{pub-MCGRAW-HILL:adr = "New York, NY, USA"}
@String{pub-MELLEN = "Mellen Press"}
-
@String{pub-MELLEN:adr = "Lewiston, NY, USA"}
@String{pub-MICROWARE = "Microware Systems Corporation"}
-
@String{pub-MICROWARE:adr = "Des Moines, IA, USA"}
@String{pub-MIS = "MIS:Press"}
-
@String{pub-MIS:adr = "New York, NY, USA"}
@String{pub-MIT = "The MIT Press"}
-
@String{pub-MIT:adr = "Cambridge, MA"}
@String{pub-MORGAN-KAUFMANN = "Morgan Kaufmann Publishers"}
-
@String{pub-MORGAN-KAUFMANN:adr = "Los Altos, CA 94022, USA"}
@String{pub-NAUKA = "Nauka"}
-
@String{pub-NAUKA:adr = "Moscow, Russia"}
@String{pub-NH = "North-Holland Publishing Company"}
-
@String{pub-NH:adr = "Amsterdam, The Netherlands"}
@String{pub-NIJHOFF = "Martinus Nijhoff/Dr W. Junk Publishers"}
-
@String{pub-NIJHOFF:adr = "Dordrecht, The Netherlands"}
@String{pub-NORTON = "W. W. Norton \& Co."}
-
@String{pub-NORTON:adr = "New York, NY, USA"}
-@String{pub-OUP = "Oxford University Press"}
-
-@String{pub-OUP:adr = "Walton Street, Oxford OX2 6DP, UK"}
+@String{pub-OXFORD = "Oxford University Press"}
+@String{pub-OXFORD:adr = "Walton Street, Oxford OX2 6DP, UK"}
@String{pub-PERGAMON = "Pergamon Press"}
-
@String{pub-PERGAMON:adr = "Oxford, UK"}
@String{pub-PH = "Pren{\-}tice-Hall"}
-
@String{pub-PH:adr = "Upper Saddle River, NJ 07458, USA"}
@String{pub-PH-TRAVEL = "Pren{\-}tice-Hall Travel"}
-
@String{pub-PH-TRAVEL:adr = "New York, NY, USA"}
@String{pub-PHI = "Pren{\-}tice-Hall International"}
-
@String{pub-PHI:adr = "Upper Saddle River, NJ 07458, USA"}
@String{pub-PINTER = "Pinter Publishers, Ltd."}
-
@String{pub-PINTER:adr = "25 Floral St., London WC2E 9DS, UK"}
@String{pub-PPB = "Professional Press Books"}
-
@String{pub-PPB:adr = "101 Witmer Road, Horsham, PA 19044, USA"}
@String{pub-PHPTR = "Pren{\-}tice-Hall PTR"}
-
@String{pub-PHPTR:adr = "Upper Saddle River, NJ 07458, USA"}
@String{pub-PUP = "Princeton University Press"}
-
@String{pub-PUP:adr = "Princeton, NJ, USA"}
@String{pub-RAHS = "Russian-American Historical Society"}
-
@String{pub-RAHS:adr = "Washington, DC, USA"}
@String{pub-REED = "Reed Enterprise"}
-
@String{pub-REED:adr = "Reed Business Publishing Group, Room 922,
Quadrant House, The Quadrant, Sutton, Surrey
SM2 5AS, UK"}
@String{pub-RISO = "{Ris\o} National Laboratory"}
-
@String{pub-RISO:adr = "Roskilde, Denmark"}
@String{pub-ROUTLEDGE = "Routledge"}
-
@String{pub-ROUTLEDGE:adr = "London, UK"}
@String{pub-RRD = "R. R. Donnelley and Sons"}
-
@String{pub-RRD:adr = "Harrisburg, VA, USA"}
@String{pub-SB = "Symposion Bokf{\"o}rlag"}
-
@String{pub-SB:adr = "Stockholm/Stehag, Sweden"}
@String{pub-SCARECROW = "Scarecrow Press"}
-
@String{pub-SCARECROW:adr = "Metuchen, NJ, USA"}
@String{pub-SHK = "De sju h{\"a}radernas kulturhistoriska
f{\"o}rening"}
-
@String{pub-SHK:adr = "Gothenburg, Sweden"}
@String{pub-SIAM = "Society for Industrial and Applied
Mathematics"}
-
@String{pub-SIAM:adr = "Philadelphia, PA, USA"}
@String{pub-SINAUER = "Sinauer Associates, Inc."}
-
@String{pub-SINAUER:adr = "Sunderland, MA 01375, USA"}
@String{pub-STATSCI = "StatSci, a Division of MathSoft, Inc."}
-
@String{pub-STATSCI:adr = "Seattle, WA, USA"}
@String{pub-SUCSLI = "Stanford University Center for the Study of
Language and Information"}
-
@String{pub-SUCSLI:adr = "Stanford, CA, USA"}
@String{pub-SV = "Spring{\-}er-Ver{\-}lag"}
-
@String{pub-SV:adr = "Berlin, Germany~/ Heidelberg, Germany~/
London, UK~/ etc."}
@String{pub-TCA = "Technology Community Association"}
-
@String{pub-TCA:adr = "Cambridge, MA, USA"}
@String{pub-TCGPB = "Technical Chamber of Greece (``Ekdosh
Teqniko'u Epimelhthr'iou ths Ell'adas''),
Publications Bureau (``Grafeio Ekdoseon'')"}
-
@String{pub-TCGPB:adr = "c/o Ms. Filippidou, Karageorgi Servias 4,
GR-102 48 Athens, Greece, Telephones: +30 -
1 - 32 54 590 (last digit can vary up to
@@ -942,50 +862,39 @@
+30 - 1 - 32 21 772"}
@String{pub-TELOS = "TELOS division of Springer-Verlag"}
-
@String{pub-TELOS:adr = "Santa Clara, CA, USA and New York, NY, USA"}
@String{pub-TEUBNER = "B. G. Teubner"}
-
@String{pub-TEUBNER:adr = "Stuttgart, Germany"}
@String{pub-UGP = "University of Gothenburg Press"}
-
@String{pub-UGP:adr = "Gothenburg, Sweden"}
@String{pub-UNAM = "Universidad Autonoma de M{\'e}xico"}
-
@String{pub-UNAM:adr = "M{\'e}xico DF, M{\'e}xico"}
@String{pub-UNK = "publisher unknown"}
-
@String{pub-UNK:adr = "address unknown"}
@String{pub-WILEY = "John Wiley and Sons, Inc."}
-
@String{pub-WILEY:adr = "New York, NY, USA"}
@String{pub-WADSWORTH = "Wadsworth and Brooks/Cole Publishing
Company"}
-
@String{pub-WADSWORTH:adr = "Pacific Grove, CA, USA"}
@String{pub-WESTVIEW = "Westview Press"}
-
@String{pub-WESTVIEW:adr = "5500 Central Ave., Boulder, CO 80301-2847,
USA"}
@String{pub-WIHM = "Wellcome Institute for the History of
Medicine"}
-
@String{pub-WIHM:adr = "London, UK"}
@String{pub-WORLD-SCI = "World Scientific Publishing Co. Pte. Ltd."}
-
@String{pub-WORLD-SCI:adr = "P. O. Box 128, Farrer Road, Singapore 9128"}
@String{pub-ZT = "Zanichelli-Telettra"}
-
@String{pub-ZT:adr = "Bologna, Italy"}
%%% ====================================================================
@@ -1096,9 +1005,8 @@
acknowledgement = ack-lmp,
}
-@Book{Adams:SCA93,
+@Book{Adams:1993:SCA,
author = "E. Adams and U. Kulisch",
- editor = "William F. Ames",
title = "Scientific Computing with Automatic Result
Verification",
volume = "189",
@@ -1111,6 +1019,7 @@
LCCN = "QA76 .S368 1993",
bibdate = "Tue Dec 14 22:57:19 1993",
bibsource = "http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
+ note = "Edited by William F. Ames.",
series = "Mathematics in Science and Engineering",
acknowledgement = ack-nhfb,
}
@@ -1900,9 +1809,9 @@
@Book{Biggs:ICP89,
author = "Norman L. Biggs",
- title = "Introduction to Computing with Pascal",
- publisher = pub-OUP,
- address = pub-OUP:adr,
+ title = "Introduction to Computing with {Pascal}",
+ publisher = pub-OXFORD,
+ address = pub-OXFORD:adr,
pages = "x + 219",
year = "1989",
ISBN = "0-19-853755-7 (hardcover), 0-19-853756-5 (paperback)",
@@ -2025,8 +1934,8 @@
@Book{Bracewell:HT86,
author = "Ronald N. Bracewell",
title = "The {Hartley} Transform",
- publisher = pub-OUP,
- address = pub-OUP:adr,
+ publisher = pub-OXFORD,
+ address = pub-OXFORD:adr,
pages = "vii + 160",
year = "1986",
ISBN = "0-19-503969-6",
@@ -2253,53 +2162,388 @@
acknowledgement = ack-te,
}
-@Book{Char:FLT92,
+@Book{Char:1992:FLT,
author = "Bruce W. Char and Keith O. Geddes and Gaston H. Gonnet
and Benton Leong and Michael B. Monagan and Stephen M.
Watt",
- title = "First Leaves: {A} Tutorial Introduction to Maple {V}",
+ title = "First Leaves: a Tutorial Introduction to {Maple V}",
publisher = pub-SV,
address = pub-SV:adr,
pages = "xvii + 253",
year = "1992",
- ISBN = "0-387-97621-3",
- ISBN-13 = "978-0-387-97621-1",
+ DOI = "https://doi.org/10.1007/978-1-4615-6996-1",
+ ISBN = "0-387-97621-3, 3-540-97621-3",
+ ISBN-13 = "978-0-387-97621-1, 978-3-540-97621-9",
LCCN = "QA155.7.E4 F56 1992",
- bibdate = "Tue Dec 14 22:59:50 1993",
- bibsource = "http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
-}
-
-@Book{Char:MLR91,
+ bibdate = "Tue Nov 2 12:30:08 1993",
+ bibsource = "http://www.math.utah.edu/pub/tex/bib/maple-extract.bib;
+ http://www.math.utah.edu/pub/tex/bib/master.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
+ acknowledgement = ack-nhfb,
+ libnote = "Not yet in my library.",
+ note = "Also available in Japanese, ISBN 4-431-70651-8",
+ tableofcontents = "One: Interactive Use of Maple \\
+ 1.1: The user interface and the computational engine
+ \\
+ 1.2: Getting started \\
+ 1.3: Starting a Maple session: how Maple behaves
+ interactively \\
+ 1.4: Simple arithmetic in Maple \\
+ 1.5: Fixing mistakes \\
+ 1.6: help yourself to more of Maple \\
+ 1.7: Parentheses and the priority of arithmetic
+ operations \\
+ 1.8: Ending a Maple session \\
+ 1.9: Maple variables \\
+ 1.10: Built-in commands for mathematical computation
+ \\
+ 1.11: Introducing Maple's mathematical commands \\
+ 1.12: Using Maple as a numerical calculator \\
+ 1.13: Graphing and plotting functions on screen and on
+ paper \\
+ 1.14: More about syntax errors \\
+ 1.15: You ask too much! (Run-time errors) \\
+ 1.16: Interrupting a Maple computation \\
+ 1.17: Printing values: print and lprint \\
+ 1.18: Defining simple functions in Maple \\
+ 1.19: Automatic simplification \\
+ 1.20: Simplifying expressions with simplify \\
+ 1.21: Maple's commands for calculus \\
+ 1.22: Computing sums \\
+ 1.23: Solving recurrence relations with rsolve \\
+ 1.24: Other commands for solving, and other
+ mathematical functions \\
+ Two: Less Simple Maple \\
+ 2.1: A few words to experienced programmers \\
+ 2.2: Programming variables and mathematical symbols \\
+ 2.3: More on simplification: specialized simplification
+ commands \\
+ 2.4: Full and delayed evaluation \\
+ 2.5: Quotation and unevaluation \\
+ 2.6: Using quoted variables as function arguments \\
+ 2.7: Concatenation \\
+ forming new names from old \\
+ 2.8: Looking at parts of expressions \\
+ op, nops, coeff \\
+ 2.9: Expression sequences, sets, and lists \\
+ 2.10: Tables and arrays \\
+ indexed collections of data \\
+ 2.11: Converting from one structure to another \\
+ 2.12: The map function: performing the same operation
+ on all elements of a data structure \\
+ 2.13: Linear algebra in Maple \\
+ 2.14: alias for changing the names of built-in
+ functions and mathematical symbols \\
+ 2.15: Saving the state of your Maple session \\
+ 2.16: Recording results in files in human-readable
+ format \\
+ 2.17: Access to additional library procedures \\
+ 2.18: Other formats for output: fortran, latex, and eqn
+ \\
+ Three: The Maple Programming Language \\
+ 3.1: Repetition while you wait \\
+ 3.2: Repetition for each one \\
+ 3.3: Conditional execution with if-then-else-fi \\
+ 3.4: break and next: control within for-while loops \\
+ 3.5: Simple Maple procedures \\
+ 3.6: Maple procedures \\
+ multiple statements, local variables, RETURN \\
+ 3.7: Using error \\
+ exiting several procedures at once \\
+ 3.8: Checking types: writing safer programs \\
+ 3.9: Nested types and structured types \\
+ 3.10: Remembering function values \\
+ 3.11: Functional operators \\
+ 3.12: Packages in Maple \\
+ 3.13: Your Maple initialization file \\
+ 3.14: Creating help for your procedures \\
+ 3.15: Creating your own library \\
+ 3.16: Creating and debugging Maple programs \\
+ 3.17: Viewing Maple library source code \\
+ 3.18: Calling Maple from programs written in other
+ languages \\
+ Four: Advanced Graphics \\
+ 4.1: More on plot \\
+ 4.2: Plotting in three dimensions: graphing surfaces
+ \\
+ 4.3: Plotting functional expressions with plot and
+ plot3d \\
+ Five: Measuring and improving performance \\
+ 5.1: Monitoring time and space consumed during a
+ computation \\
+ 5.2: Garbage collection and gc \\
+ 5.3: Querying the state of the system through status
+ \\
+ 5.4: Profiling the performance of Maple programs \\
+ 5.5: Using option remember to improve performance \\
+ 5.6: Faster floating-point computation \\
+ Six: Advanced Examples \\
+ 6.1: Introduction \\
+ 6.2: Balancing chemical reactions \\
+ 6.3: Maxwell's formula for the velocity of a gas sample
+ \\
+ 6.4: Critical length of a rod \\
+ 6.5: Zeros of Bessel functions \\
+ 6.6: Stock market analysis through linear algebra \\
+ 6.7: Primitive trinomials \\
+ 6.8: Computations on the 3n +1 conjecture \\
+ 6.9: A numerical approximation problem \\
+ 6.10: Reading more about Maple problem-solving
+ techniques \\
+ Seven: Global access to Maple information \\
+ 7.1: New users' problems \\
+ 7.2: The community of Maple users \\
+ 7.3: What to do when the answer seems wrong \\
+ 7.4: Electronic access to user-contributed Maple
+ software \\
+ 7.5: Maple publications \\
+ Conclusion \\
+ A: Bibliography \\
+ B: Books and articles for Maple users \\
+ B.1: Some books for Maple users \\
+ B.2: Some research articles on Maple and its usage",
+}
+
+@Book{Char:1991:MLVb,
author = "Bruce W. Char and Keith O. Geddes and Gaston H. Gonnet
and Benton Leong and Michael B. Monagan and Stephen M.
Watt",
- title = "Maple Library {V} Reference Manual",
+ title = "{Maple Library V} Reference Manual",
publisher = pub-SV,
address = pub-SV:adr,
pages = "xxv + 698",
year = "1991",
+ DOI = "https://doi.org/10.1007/978-1-4757-2133-1",
ISBN = "0-387-97592-6, 3-540-97592-6",
ISBN-13 = "978-0-387-97592-4, 978-3-540-97592-2",
- LCCN = "QA155.7.E4 M37 1991",
- bibdate = "Fri Jul 22 09:48:41 1994",
- bibsource = "http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
- price = "US\$39.00",
+ LCCN = "QA155.7.E4 M353 1991",
+ bibdate = "Fri Jul 08 19:01:01 1994",
+ bibsource = "http://www.math.utah.edu/pub/tex/bib/maple-extract.bib;
+ http://www.math.utah.edu/pub/tex/bib/master.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
+ abstract = "The design and implementation of the Maple system is
+ an on-going project of the Symbolic Computation Group
+ at the University of Waterloo in Ontario, Canada. This
+ manual corresponds with version V (roman numeral five)
+ of the Maple system. The on-line help subsystem can be
+ invoked from within a Maple session to view
+ documentation on specific topics. In particular, the
+ command ``?updates'' points the user to documentation
+ updates for each new version of Maple. The Maple
+ project was first conceived in the autumn of 1980,
+ growing out of discussions on the state of symbolic
+ computation at the University of Waterloo. The authors
+ wish to acknowledge many fruitful discussions with
+ colleagues at the University of Waterloo, particularly
+ Morven Gentleman, Michael Malcolm, and Frank Tompa. It
+ was recognized in these discussions that none of the
+ locally-available systems for symbolic computation
+ provided the facilities that should be expected for
+ symbolic computation in modern computing environments.
+ We concluded that since the basic design decisions for
+ the then-current symbolic systems such as ALTRAN,
+ CAMAL, REDUCE, and MACSYMA were based on 1960's
+ computing technology, it would be wise to design a new
+ system ``from scratch''. Thus we could take advantage
+ of the software engineering technology which had become
+ available in recent years, as well as drawing from the
+ lessons of experience. Maple's basic features
+ (elementary data structures, Input\slash output,
+ arithmetic with numbers, and elementary simplification)
+ are coded in a systems programming language for
+ efficiency.",
+ acknowledgement = ack-nhfb,
+ tableofcontents = "The Maple Library \\
+ Main routines \\
+ Packages \\
+ Packages for discrete mathematics \\
+ Packages for applied mathematics \\
+ Packages for geometry \\
+ Miscellaneous packages",
}
-@Book{Char:MVL91,
+@Book{Char:1991:MVLa,
author = "Bruce W. Char and Keith O. Geddes and Gaston H. Gonnet
and Benton Leong and Michael B. Monagan and Stephen M.
Watt",
- title = "Maple {V} Language Reference Manual",
+ title = "{Maple V}: Language Reference Manual",
publisher = pub-SV,
address = pub-SV:adr,
pages = "xv + 267",
year = "1991",
- ISBN = "0-387-97622-1, 3-540-97622-1",
- ISBN-13 = "978-0-387-97622-8, 978-3-540-97622-6",
+ DOI = "https://doi.org/10.1007/978-1-4615-7386-9",
+ ISBN = "0-387-97622-1 (New York), 3-540-97622-1 (Berlin)",
+ ISBN-13 = "978-0-387-97622-8 (New York), 978-3-540-97622-6
+ (Berlin)",
LCCN = "QA155.7.E4 M36 1991",
- bibdate = "Tue Dec 14 22:59:57 1993",
- bibsource = "http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
+ bibdate = "Wed Dec 1 12:17:05 1993",
+ bibsource = "http://www.math.utah.edu/pub/tex/bib/maple-extract.bib;
+ http://www.math.utah.edu/pub/tex/bib/master.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
+ price = "US\$24.95, FF 193,00",
+ abstract = "This book describes the Maple Symbolic Computation
+ System and the Maple V language. It describes the
+ numeric and symbolic expressions that can be used in
+ Maple V. All the basic data types, such as names,
+ polynomials, and functions, as well as structured data
+ types, are covered. The book also gives a complete
+ description of the programming language statements that
+ are provided in the Maple V system and shows how a user
+ can extend the functionality of the Maple V system by
+ adding user-defined routines. The manual also provides
+ a complete description of the Maple V system, including
+ its 2D and 3D graphics. Maple V features a newly
+ designed user interface on many systems. Separate
+ appendices describe how to use Maple V on systems using
+ the X Window System, DOS, and the Macintosh.",
+ acknowledgement = ack-nhfb,
+ shorttableofcontents = "Language elements \\
+ Statements and expressions \\
+ Data types \\
+ Type testing \\
+ Arrays and tables \\
+ Procedures \\
+ Operators \\
+ Internal representation and manipulation \\
+ Plotting \\
+ Miscellaneous facilities \\
+ Overview of the Maple Library \\
+ A. Maple under UNIX \\
+ B. Using Maple with X \\
+ C. Maple under DOS",
+ tableofcontents = "1 Introduction \\
+ 1.1 Some General Examples \\
+ 1.2 Numbers \\
+ 1.3 Examples from Calculus \\
+ 1.4 Data Structures \\
+ 1.5 Examples from Linear Algebra \\
+ 1.6 Equation Solving \\
+ 1.7 Output and Programming \\
+ 2 Language Elements \\
+ 2.1 Character Set \\
+ 2.2 Tokens \\
+ 2.3 Escape Characters \\
+ 2.4 Blanks, Lines, Comments, and Continuation \\
+ 2.5 Files \\
+ 3 Statements and Expressions \\
+ 3.1 Types of Statements \\
+ 3.2 Expressions \\
+ 3.3 Formal Syntax \\
+ 4 Data Types \\
+ 4.1 Basic Data Types \\
+ 4.2 Map, Subs, and Subsop \\
+ 5 Type Testing \\
+ 5.1 Definition of a Type in Maple \\
+ 5.2 Simple Types \\
+ 5.3 Structured Types \\
+ 5.4 Surface and Nested Types \\
+ 5.5 Simplification of Types \\
+ 5.6 Parameter Type Testing \\
+ 5.7 Undesirable Simplifications and Evaluations of
+ Types \\
+ 5.8 Type Testing Versus Pattern Matching \\
+ 6 Arrays and Tables \\
+ 6.1 Overview \\
+ 6.2 Creating Tables \\
+ 6.3 Evaluation Rules for Tables and Table Components
+ \\
+ 6.4 Tables as Objects \\
+ 6.5 Indexing Functions \\
+ 7 Procedures \\
+ 7.1 Procedure Definitions \\
+ 7.2 Parameter Passing \\
+ 7.3 Local Variables \\
+ 7.4 Options \\
+ 7.5 Remember Tables \\
+ 7.6 Assigning Values to Parameters \\
+ 7.7 Error Returns and Explicit Returns \\
+ 7.8 Simplification and Returning Unevaluated \\
+ 7.9 Boolean Procedures \\
+ 7.10 Reading and Saving Procedures \\
+ 8 Operators \\
+ 8.1 Operator Definition \\
+ 8.2 Syntactic Definition \\
+ 8.3 Semantic Definition \\
+ 8.3.1 Application Versus Composition \\
+ 8.4 Partial Definition of Operators \\
+ 8.5 Example: The Differentiation Operator D \\
+ 9 Internal Representation and Manipulation \\
+ 9.1 Internal Organization \\
+ 9.2 Internal Representation of Data Types \\
+ 9.3 The Use of Hashing in Maple \\
+ 9.4 Portability of the Maple System \\
+ 10 Plotting \\
+ 10.1 Introduction \\
+ 10.2 Plots in 2D \\
+ 10.3 Plots in 3D \\
+ 10.4 Saving Plots \\
+ 10.5 Plots Package \\
+ 10.6 Examples \\
+ 11 Miscellaneous Facilities \\
+ 11.1 Debugging Facilities: Detecting Syntax Errors \\
+ 11.2 Debugging Facilities: Monitoring Run-Time
+ Execution \\
+ 11.3 Alias and Macro \\
+ 11.4 Monitoring Space and Time \\
+ 11.5 Global Variables \\
+ 11.6 User Interface Variables \\
+ 11.7 Maple Command Line Options \\
+ 11.8 Other Facilities \\
+ 12 Overview of the Maple Library \\
+ 12.1 Introduction \\
+ 12.2 Description of the Maple Library \\
+ 12.3 Format of Library Function Descriptions \\
+ 12.4 Printing Maple Help Files \\
+ 12.5 Library Index \\
+ A Maple under UNIX \\
+ A.1 Introduction \\
+ A.2 Maple Initialization Files \\
+ A.3 Quit and Interrupt Characters \\
+ A.4 Temporarily Escaping from Maple \\
+ A.5 Redirection of Input and Output \\
+ A.6 Maple Command Line Options for UNIX \\
+ A.6.1 Overview of Maple command line options \\
+ A.6.2 Library Specification Option: -b \\
+ A.6.3 Suppress Initialization Option: -s \\
+ A.6.4 Quiet Option: -q \\
+ A.7 Mint \\
+ A.8 Summary of Site- and UNIX- Dependent Aspects of
+ Maple \\
+ B Using Maple with X \\
+ B.1 Introduction \\
+ B.2 Getting Started \\
+ B.3 Entering Commands in Maple \\
+ B.4 Editing \\
+ B.5 Maple Input and Output Cells \\
+ B.6 Including and Saving Text \\
+ B.7 Searching \\
+ B.8 Resource Usage \\
+ B.9 Interrupt, Pause and Quit Buttons \\
+ B.10 Resizing Windows \\
+ B.11 Help Windows \\
+ B.12 2D Plot Windows \\
+ B.13 3D Plot Windows \\
+ B.14 Customizing Maple Under X \\
+ B.15 Tips \\
+ B.16 Troubleshooting \\
+ B.17 Information for Xperts \\
+ C Maple under DOS \\
+ C.1 Introduction \\
+ C.2 Using Maple V \\
+ C.2.1 Exiting Maple \\
+ C.2.2 The Status Line \\
+ C.2.3 The Command Line Editor \\
+ C.2.4 Expression Editing \\
+ C.2.5 File Editing \\
+ C.2.6 Accessing Maple Help \\
+ C.2.7 Session Review Mode \\
+ C.2.8 Using the Menu \\
+ C.2.9 Input/Output Capture Mode \\
+ C.3 Manipulating Graphical Output \\
+ C.3.1 Three Dimensional Graphics Display Driver \\
+ C.3.2 Two Dimensional Graphics Display Driver \\
+ C.3.3 Printing and Saving Graphic Output \\
+ C.3.4 Using Maple Plots in Other Programs",
}
@Book{Cheswick:2003:FIS,
@@ -3768,9 +4012,9 @@
acknowledgement = ack-mz,
}
-@Book{Dongarra:SLS91,
+@Book{Dongarra:1991:SLS,
author = "Jack J. Dongarra and Iain S. Duff and Danny C.
- Sorensen and Henk A. van der Vorst",
+ Sorensen and Henk A. {van der Vorst}",
title = "Solving Linear Systems on Vector and Shared Memory
Computers",
publisher = pub-SIAM,
@@ -3780,8 +4024,182 @@
ISBN = "0-89871-270-X",
ISBN-13 = "978-0-89871-270-4",
LCCN = "QA184 .S65 1991",
- bibdate = "Tue Dec 14 23:00:33 1993",
- bibsource = "http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
+ bibdate = "Mon Oct 26 07:30:53 1998",
+ bibsource = "http://www.math.utah.edu/pub/bibnet/authors/d/dongarra-jack-j.bib;
+ http://www.math.utah.edu/pub/bibnet/authors/d/duff-iain-s.bib;
+ http://www.math.utah.edu/pub/bibnet/authors/v/vandervorst-henk-a.bib;
+ http://www.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib;
+ http://www.math.utah.edu/pub/tex/bib/master.bib;
+ http://www.math.utah.edu/pub/tex/bib/numana1990.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook2.bib;
+ MathSciNet database",
+ acknowledgement = ack-nhfb,
+ tableofcontents = "Introduction / 1 \\
+ 1 Vector and Parallel Processing / 3 \\
+ 1.1 Traditional Computers and Their Limitations / 3 \\
+ 1.2 Parallelism within a Single Processor / 4 \\
+ 1.2.1 Multiple Functional Units / 4 \\
+ 1.2.2 Pipelining / 4 \\
+ 1.2.3 Overlapping / 6 \\
+ 1.2.4 RISC / 7 \\
+ 1.2.5 VLIW / 8 \\
+ 1.2.6 Vector Instructions / 8 \\
+ 1.2.7 Chaining / 9 \\
+ 1.2.8 Memory-to-Memory and Register-to-Register
+ Organizations / 10 \\
+ 1.2.9 Register Set / 10 \\
+ 1.2.10 Stripmining / 11 \\
+ 1.2.11 Reconfigurable Vector Registers / 11 \\
+ 1.2.12 Memory Organization / 12 \\
+ 1.3 Data Organization / 14 \\
+ 1.3.1 Main Memory / 14 \\
+ 1.3.2 Cache / 16 \\
+ 1.3.3 Local Memory / 18 \\
+ 1.4 Memory Management / 18 \\
+ 1.5 Parallelism through Multiple Pipes or Multiple
+ Processors / 21 \\
+ 1.6 Interconnection Topology / 22 \\
+ 1.6.1 Crossbar Switch / 23 \\
+ 1.6.2 Timeshared Bus / 24 \\
+ 1.6.3 Ring Connection / 25 \\
+ 1.6.4 Mesh Connection / 25 \\
+ 1.6.5 Hypercube / 26 \\
+ 1.6.6 Multistaged Network / 27 \\
+ 1.7 Programming Techniques / 29 \\
+ 2 Overview of Current High-Performance Computers / 33
+ \\
+ 2.1 Supercomputers / 33 \\
+ 2.2 Mini-Supercomputers / 36 \\
+ 2.3 Vector Mainframes / 37 \\
+ 2.4 Novel Parallel Processors / 37 \\
+ 3 Implementation Details and Overhead / 43 \\
+ 3.1 Parallel Decomposition and Data Dependency Graphs /
+ 43 \\
+ 3.2 Synchronization / 46 \\
+ 3.3 Load Balancing / 48 \\
+ 3.4 Recurrence / 49 \\
+ 3.5 Indirect Addressing / 51 \\
+ 4 Performance: Analysis, Modeling, and Measurements /
+ 53 \\
+ 4.1 Amdahl's Law / 54 \\
+ 4.1.1 Simple Case of Amdahl's Law / 54 \\
+ 4.1.2 General Form of Amdahl's Law / 55 \\
+ 4.2 Vector Speed and Vector Length / 56 \\
+ 4.3 Amdahl's Law-Parallel Processing / 57 \\
+ 4.3.1 A Simple Model / 60 \\
+ 4.3.2 Gustafson's Model / 60 \\
+ 4.4 Examples of $(r_\infty, n_{1/2})$-values for
+ Various Computers / 60 \\
+ 4.4.1 CRAY-1 and CRAY-2 (one processor) / 62 \\
+ 4.4.2 CRAY X-MP (one processor; clock cycle time 8.5
+ nsec) / 63 \\
+ 4.4.3 CYBER 205 (2-pipe) and ETA-10P (single processor)
+ / 63 \\
+ 4.4.4 IBM 3090/VF (1 processor; clock cycle time 18.5
+ nsec) / 64 \\
+ 4.4.5 NEC SX/2 / 65 \\
+ 4.4.6 Convex C-1 and Convex C-210 / 66 \\
+ 4.4.7 Alliant FX/80 / 66 \\
+ 4.4.8 General Observations / 68 \\
+ 4.5 LINPACK Benchmark / 68 \\
+ 4.5.1 Description of the Benchmark / 69 \\
+ 4.5.2 Calls to the BLAS / 69 \\
+ 4.5.3 Asymptotic Performance / 75 \\
+ 5 Building Blocks in Linear Algebra / 75 \\
+ 5.1 Basic Linear Algebra Subprograms / 75 \\
+ 5.1.1 Level 1 BLAS / 76 \\
+ 5.1.2 Level 2 BLAS / 77 \\
+ 5.1.3 Level 3 BLAS / 78 \\
+ 5.2 Levels of Parallelism / 81 \\
+ 5.2.1 Vector Computers / 81 \\
+ 5.2.2 Parallel Processors with Shared Memory / 82 \\
+ 5.2.3 Parallel-Vector Computers / 83 \\
+ 5.2.4 Clusters of Parallel Vector Processors / 84 \\
+ 5.3 Basic Factorizations of Linear Algebra / 84 \\
+ 5.3.1 Point Algorithm: Gaussian Elimination with
+ Partial Pivoting / 84 \\
+ 5.3.2 Special Matrices / 86 \\
+ 5.4 Blocked Algorithms: Matrix-Vector and Matrix-Matrix
+ Versions / 89 \\
+ 5.4.1 Right-Looking Algorithm / 90 \\
+ 5.4.2 Left-Looking Algorithm / 92 \\
+ 5.4.3 Crout Algorithm / 98 \\
+ 5.4.4 Typical Performance of Blocked LU Decomposition /
+ 94 \\
+ 5.4.5 Blocked Symmetric Indefinite Factorization / 95
+ \\
+ 5.4.6 Typical Performance of Blocked Symmetric
+ Indefinite Factorization. / 98 \\
+ 5.5 Linear Least Squares / 98 \\
+ 5.5.1 Householder Method / 99 \\
+ 5.5.2 Blocked Householder Method / 100 \\
+ 5.5.3 Typical Performance of the Blocked Householder
+ Factorization / 101 \\
+ 5.6 Organization of the Modules / 102 \\
+ 5.6.1 Matrix--Vector Product / 102 \\
+ 5.6.2 Matrix--Matrix Product / 103 \\
+ 5.6.3 Typical Performance for Parallel Processing / 104
+ \\
+ 5.6.4 Benefits / 105 \\
+ 5.7 LAPACK / 106 \\
+ 6 Direct Solution of Sparse Linear Systems / 109 \\
+ 6.1 Introduction to Direct Methods for Sparse Linear
+ Systems / 111 \\
+ 6.1.1 Three Approaches / 111 \\
+ 6.1.2 Description of Sparse Data Structure / 112 \\
+ 6.1.3 Manipulation of Sparse Data Structure / 114 \\
+ 6.2 General Sparse Matrix Methods / 116 \\
+ 6.3 Methods for Symmetric Matrices and Band Systems /
+ 124 \\
+ 6.3.1 The Clique Concept in Gaussian Elimination / 125
+ \\
+ 6.3.2 Code Performance and Symmetry / 128 \\
+ 6.4 Frontal Methods / 130 \\
+ 6.4.1 Organization / 130 \\
+ 6.4.2 Vector Performance / 132 \\
+ 6.5 Multifrontal Methods / 135 \\
+ 6.5.1 Performance on Vector Machines / 139 \\
+ 6.5.2 Performance on Parallel Machines / 139 \\
+ 6.6 Other Approaches for Exploitation of Parallelism /
+ 141 \\
+ 6.7 Software / 141 \\
+ 6.8 Brief Summary / 142 \\
+ 7 Iterative Solution of Sparse Linear Systems / 143 \\
+ 7.1 Iterative Methods / 145 \\
+ 7.1.1 Conjugate Gradient / 145 \\
+ 7.1.2 Least Squares Conjugate Gradients / 148 \\
+ 7.1.3 Biconjugate Gradients / 150 \\
+ 7.1.4 Conjugate Gradient Squared / 152 \\
+ 7.1.5 GMRES and GMRES(m) / 154 \\
+ 7.1.6 Adaptive Chebychev / 156 \\
+ 7.2 Vector and Parallel Aspects / 158 \\
+ 7.2.1 General Remarks / 158 \\
+ 7.2.2 Sparse Matrix-Vector Multiplication / 160 \\
+ 7.2.3 Performance of the Unpreconditioned Methods / 164
+ \\
+ 7.3 Preconditioning / 165 \\
+ 7.3.1 General Aspects / 165 \\
+ 7.3.2 Efficient Implementations / 168 \\
+ 7.3.3 Partial Vectorization / 170 \\
+ 7.3.4 Reordering the Unknowns / 172 \\
+ 7.3.5 Changing the Order of Computation / 174 \\
+ 7.3.6 Some Other Vectorizable Preconditioners / 180 \\
+ 7.3.7 Parallel Aspects / 183 \\
+ 7.4 Experiences with Parallelism / 186 \\
+ 7.4.1 General Remarks / 186 \\
+ 7.4.2 Overlapping Local Preconditioners / 186 \\
+ 7.4.3 Repeated Twisted Factorization / 188 \\
+ 7.4.4 Twisted and Nested Twisted Factorization / 189
+ \\
+ 7.4.5 Hyperplane Ordering / 189 \\
+ A Acquiring Mathematical Software / 191 \\
+ B Glossary / 197 \\
+ C Information on Various High-Performance Computers /
+ 213 \\
+ D Level 1, 2, and 3 BLAS Quick Reference / 221 \\
+ E Operation Counts for Various BLAS and Decompositions
+ / 227 \\
+ Index / 247",
}
@Book{Doolen:LGM90,
@@ -3917,8 +4335,8 @@
Jean van Heijenoort",
title = "Kurt {\"G}odel: Collected Works. Vol. 1: Publications
1929-1936",
- publisher = pub-OUP,
- address = pub-OUP:adr,
+ publisher = pub-OXFORD,
+ address = pub-OXFORD:adr,
pages = "459",
year = "1986",
ISBN = "0-19-503964-5",
@@ -3970,9 +4388,10 @@
acknowledgement = ack-mz,
}
-@Book{Flynn:1995:WH,
+@Book{Flynn:1995:WHH,
author = "Peter Flynn",
- title = "The {WorldWideWeb} Handbook",
+ title = "The {WorldWideWeb} Handbook: An {HTML} Guide for
+ Users, Authors and Publishers",
publisher = pub-ITCP,
address = pub-ITCP:adr,
pages = "xix + 351",
@@ -3981,12 +4400,46 @@
ISBN-13 = "978-1-85032-205-4",
LCCN = "TK5105.888 .F56 1995",
bibdate = "Wed Nov 15 08:24:30 1995",
- bibsource = "http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
- note = "Includes HTML quick reference guide. The book was
- written with the O'Reilly/Davenport DocBook SGML DTD,
- then translated with SGML2{\TeX} to plain {\TeX}, and
- typeset with Karl Berry's Eplain macros.",
+ bibsource = "http://www.math.utah.edu/pub/tex/bib/internet.bib;
+ http://www.math.utah.edu/pub/tex/bib/master.bib;
+ http://www.math.utah.edu/pub/tex/bib/sgml.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
+ note = "Foreword by Tim Berners-Lee. Three sections deal with
+ (1) Getting connected to the Internet and using
+ Internet software; (2) Writing HTML (2.0) files for the
+ WorldWideWeb; (3) Running a HTTP server and providing a
+ Web service. Author is a member of the IETF Working
+ Group on HTML. Text includes additional material on
+ SGML; choice of editors, browsers and servers;
+ copyright and intellectual property; and advance
+ details of HTML3.",
acknowledgement = ack-nhfb,
+ remark = "The book was written with the O'Reilly/Davenport
+ DocBook SGML DTD, then translated with SGML2{\TeX} to
+ plain {\TeX}, and typeset with Karl Berry's Eplain
+ macros.",
+ tableofcontents = "1: Introduction \\
+ 2: WorldWideWhat? \\
+ 3: For beginners \\
+ 4: Getting used to the Internet \\
+ 5: Using a WorldWideWeb browser \\
+ 6: How it works \\
+ 7: Introduction to HTML \\
+ 8: Simple document markup \\
+ 9: Hypertext links and graphics \\
+ 10: Tables, mathematics, and forms \\
+ 11: Controlling appearances \\
+ 12: Server software \\
+ 13: 'Searchable' URLs \\
+ 14: Keeping things straight \\
+ 15: Rights and responsibilities \\
+ 16: Copyright and intellectual property \\
+ 17: Authentication, encryption, and charging \\
+ 18: Future developments \\
+ Appendix A: Converting existing text \\
+ Appendix B: HTML3 \\
+ Appendix C: Resources \\
+ Appendix D: ISO and other sets of code tables",
}
@Book{Fortier:HLT89,
@@ -4087,7 +4540,10 @@
ISBN-13 = "978-0-8053-1670-4",
LCCN = "QA76.73.C15F75 1995",
bibdate = "Wed Feb 08 10:55:34 1995",
- bibsource = "http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
+ bibsource = "http://www.math.utah.edu/pub/tex/bib/lcc.bib;
+ http://www.math.utah.edu/pub/tex/bib/litprog.bib;
+ http://www.math.utah.edu/pub/tex/bib/master.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
note = "From the authors' announcement: ``\ldots this book is
an example of a `literate program.' Like {\em {\TeX}:
The Program\/} by D. E. Knuth (Addison-Wesley, 1986),
@@ -4104,7 +4560,175 @@
on the WWW at URL
\path=http://www.cs.princeton.edu/software/lcc=.''",
price = "US\$55.95",
+ URL = "https://www.pearson.com/us/higher-education/program/Hanson-Retargetable-C-Compiler-A-Design-and-Implementation/PGM166351.html",
+ abstract = "This new text examines the design and implementation
+ of Icc, a production-quality, retargetable compiler,
+ designed at AT\&T Bell Laboratories and Princeton
+ University for the ANSI C programming language. The
+ authors' innovative approach --- a ``literate program''
+ that intermingles the text with the source code ---
+ gives a detailed tour of the code that explains the
+ implementation and design decisions reflected in the
+ software. And while most books describe toy compilers
+ or focus on isolated pieces of code, the authors have
+ made available the entire source code for a real
+ compiler. Structured as a self-study guide that
+ describes the real-world tradeoffs encountered in
+ building a production-quality compiler, A Retargetable
+ C Compiler is also useful to individuals who work in
+ application areas using or creating language-based
+ tools and techniques. Features: discusses the
+ implementation and design tradeoffs made while
+ constructing a real ANSI C compiler, illustrating the
+ interaction between theory and practice; covers
+ compiler theory only as needed to understand the
+ implementation of Icc, focusing instead on practical,
+ applied issues; encourages a deeper understanding of
+ programming in C, by providing C programmers with a
+ tour of the language from the perspective of compiler
+ authors; includes coverage of code generators for the
+ MIPS R3000, SPARC, and Intel 386 and its successors;
+ and provides access to the full source code for the Icc
+ compiler, the three back ends, and the code-generator
+ generator, either on disk or via FTP.",
acknowledgement = ack-nhfb,
+ tableofcontents = "1. Introduction: Literate Programs \\
+ How to Read This Book \\
+ Overview \\
+ Design \\
+ Common Declarations \\
+ Syntax Specifications \\
+ Errors \\
+ 2. Storage Management: Memory Management Interface \\
+ Arena Representation \\
+ Allocating Space \\
+ Deallocating Space \\
+ Strings \\
+ 3. Types: Representing Symbols \\
+ Representing Symbol Tables \\
+ Changing Scope \\
+ Finding and Installing Identifiers \\
+ Labels \\
+ Constants \\
+ Generated Variables \\
+ 4. Code Generation Interface: Representing Types \\
+ Type Management \\
+ Type Predicates \\
+ Type Constructors \\
+ Function Types \\
+ Structure and Enumeration Types \\
+ Type-Checking Functions \\
+ Type Mapping \\
+ 5. Lexical Analysis: Type Metrics \\
+ Interface Records \\
+ Symbols \\
+ Types \\
+ Dag Operators \\
+ Interface Flags \\
+ Initialization \\
+ Definitions \\
+ Constants \\
+ Functions \\
+ Interface Binding \\
+ Upcalls \\
+ 6. Parsing: Input \\
+ Recognizing Tokens \\
+ Recognizing Keywords \\
+ Recognizing Identifiers \\
+ Recognizing Numbers \\
+ Recognizing Character Constants and Strings \\
+ 7. Expressions \\
+ Languages and Grammars \\
+ Ambiguity and Parse Trees \\
+ Top-Down Parsing \\
+ FIRST and FOLLOW Sets \\
+ Writing Parsing Functions \\
+ Handling Syntax Errors \\
+ 8. Expressions: Representing Expressions \\
+ Parsing Expressions \\
+ Parsing C Expressions \\
+ Assignment Expressions \\
+ Conditional Expressions \\
+ Binary Expressions \\
+ Unary and Postfix Expressions \\
+ Primary Expressions \\
+ 9. Expression Semantics: Conversions \\
+ Unary and Postfix Operators \\
+ Function Calls \\
+ Binary Operators \\
+ Assignments \\
+ Conditionals \\
+ Constant Folding \\
+ 10. Statements: Representing Code \\
+ Execution Points \\
+ Recognizing Statements \\
+ If Statements \\
+ Labels and Gotos \\
+ Loops \\
+ Switch Statements \\
+ Return Statements \\
+ Managing Labels and Jumps \\
+ 11. Declarations: Translation Units \\
+ Declarations \\
+ Declarators \\
+ Function Declarators \\
+ Structure Specifiers \\
+ Function Definitions \\
+ Compound Statements \\
+ Finalization \\
+ The Main Program \\
+ 12. Generating Immediate Code: Eliminating Common
+ Subexpressions \\
+ Building Nodes \\
+ Flow of Control \\
+ Assignments \\
+ Function Calls \\
+ Enforcing Evaluation Order \\
+ Driving Code Generation \\
+ Eliminating Multiply Referenced Nodes \\
+ 13. Structuring the Code Generator: Organization of the
+ Code Generator \\
+ Interface Extensions \\
+ Upcalls \\
+ Node Extensions \\
+ Symbol Extensions \\
+ Frame Layout \\
+ Generating Code to Copy Blocks \\
+ Initialization \\
+ 14. Selecting and Emitting instructions: Specifications
+ \\
+ Labelling the Tree \\
+ Reducing the Tree \\
+ Cost Functions \\
+ Debugging \\
+ The Emitter \\
+ Register Targeting \\
+ Coordinating Instruction Selection \\
+ Shared Rules \\
+ Writing Specifications \\
+ 15. Register Allocation: Organization \\
+ Tracking the Register State \\
+ Allocating Registers \\
+ Spilling \\
+ 16. Generating MIPS R3000 Code: Registers \\
+ Selecting Instructions \\
+ Implementing Functions \\
+ Defining Data \\
+ Segments \\
+ Copying Blocks \\
+ 17. Generating SPARC Code: Registers \\
+ Selecting Instructions \\
+ Implementing Functions \\
+ Defining Data \\
+ Copying Blocks, 18. Generating X86 Code: Registers \\
+ Selecting Instructions \\
+ Implementing Functions \\
+ Defining Data \\
+ 19. Retrospective: Data Structures \\
+ Interface \\
+ Syntactic and Semantic Analyses \\
+ Code Generation and Optimization \\
+ Testing and Validation",
}
@Book{Freeman:NN91,
@@ -4218,8 +4842,8 @@
@Book{Gibson:PNA90,
author = "Rosalind S. Gibson",
title = "Principles of Nutritional Assessment",
- publisher = pub-OUP,
- address = pub-OUP:adr,
+ publisher = pub-OXFORD,
+ address = pub-OXFORD:adr,
pages = "xvi + 691",
year = "1990",
ISBN = "0-19-505838-0",
@@ -4288,38 +4912,199 @@
acknowledgement = ack-mz,
}
-@Book{Golub:MC89,
- author = "Gene H. Golub and Charles F. van Loan",
+@Book{Golub:1989:MC,
+ author = "Gene H. Golub and Charles F. {Van Loan}",
title = "Matrix Computations",
- publisher = pub-JHUP,
- address = pub-JHUP:adr,
+ volume = "3",
+ publisher = pub-JOHNS-HOPKINS,
+ address = pub-JOHNS-HOPKINS:adr,
edition = "Second",
- pages = "xvi + 476",
+ pages = "xix + 642",
year = "1989",
- ISBN = "0-8018-3010-9 (hardcover), 0-8018-3011-7 (paperback)",
- ISBN-13 = "978-0-8018-3010-5 (hardcover), 978-0-8018-3011-2
+ ISBN = "0-8018-3772-3 (hardcover), 0-8018-3739-1 (paperback)",
+ ISBN-13 = "978-0-8018-3772-2 (hardcover), 978-0-8018-3739-5
(paperback)",
- LCCN = "QA188 .G65 1983",
- bibdate = "Tue Dec 14 23:00:46 1993",
- bibsource = "http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
+ LCCN = "QA188 .G65 1989",
+ MRclass = "65Fxx (65-02)",
+ MRnumber = "90d:65055",
+ MRreviewer = "Perry Smith",
+ bibdate = "Mon Oct 26 07:31:01 1998",
+ bibsource = "http://www.math.utah.edu/pub/bibnet/authors/g/golub-gene-h.bib;
+ http://www.math.utah.edu/pub/bibnet/authors/l/lanczos-cornelius.bib;
+ http://www.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib;
+ http://www.math.utah.edu/pub/bibnet/subjects/domain-decomp.bib;
+ http://www.math.utah.edu/pub/tex/bib/master.bib;
+ http://www.math.utah.edu/pub/tex/bib/matlab.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
+ price = "US\$14.50",
series = "Johns Hopkins Series in the Mathematical Sciences",
+ ZMnumber = "0733.65016",
+ abstract = "Thoroughly revised, updated, and expanded by more than
+ one third, this new edition of Golub and Van Loan's
+ landmark book in scientific computing provides the
+ vital mathematical background and algorithmic skills
+ required for the production of numerical software. New
+ chapters on high performance computing use matrix
+ multiplication to show how to organize a calculation
+ for vector processors as well as for computers with
+ shared or distributed memories. Also new are
+ discussions of parallel vector methods for linear
+ equations, least squares, and eigenvalue problems.",
acknowledgement = ack-nhfb,
-}
-
-@Book{Golub:SCD92,
+ author-dates = "Gene Howard Golub (February 29, 1932--November 16,
+ 2007)",
+ keywords = "book; math; matrices --- data processing; matrices ---
+ informatique; na; nla",
+ libnote = "Not yet in my library.",
+ remark = "See review by G. W. Steward in Mathematics of
+ Computation, Vol. 56, No. 193 (Jan., 1991),
+ pp. 380--381.",
+ shorttableofcontents = "Preface to the Third Edition \\
+ Software \\
+ Selected References \\
+ Matrix Multiplication Problems / 1 \\
+ Matrix Analysis / 48 \\
+ General Linear Systems / 87 \\
+ Special Linear Systems / 133 \\
+ Orthogonalization and Least Squares / 206 \\
+ Parallel Matrix Computations / 275 \\
+ The Unsymmetric Eigenvalue Problem / 308 \\
+ The Symmetric Eigenvalue Problem / 391 \\
+ Lanczos Methods / 470 \\
+ Iterative Methods for Linear Systems / 508 \\
+ Functions of Matrices / 555 \\
+ Special Topics / 579 \\
+ Bibliography / 637 \\
+ Index / 687",
+ tableofcontents = "Preface to the First Edition / xi \\
+ Preface to the Second Edition / xv \\
+ Using the Book / xvii \\
+ 1: Matrix Multiplication Problems / 1 \\
+ 1.1 Basic Algorithms and Notations / 2 \\
+ 1.2 Exploiting Structure / 16 \\
+ 1.3 Block Matrices and Algorithms / 25 \\
+ 1.4 Aspects of Vector Pipeline Computing / 35 \\
+ 2: Matrix Analysis / 49 \\
+ 2.1 Basic Ideas from Linear Algebra / 49 \\
+ 2.2 Vector Norms / 53 \\
+ 2.3 Matrix Norms / 55 \\
+ 2.4 Finite Precision Matrix Computations / 60 \\
+ 2.5 Orthogonality and the SVD / 70 \\
+ 2.6 Projections and the CS Decomposition / 75 \\
+ 2.7 The Sensitivity of Square Linear Systems / 79 \\
+ 3: General Linear Systems / 86 \\
+ 3.1 Triangular Systems / 86 \\
+ 3.2 Computing the LU Factorization / 92 \\
+ 3.3 Roundoff Analysis of Gaussian Elimination / 104 \\
+ 3.4 Pivoting / 108 \\
+ 3.5 Improving and Estimating Accuracy / 123 \\
+ 4: Special Linear Systems / 133 \\
+ 4.1 The $LDM^T$ and $LDL^T$ Factorizations / 134 \\
+ 4.2 Positive Definite Systems / 139 \\
+ 4.3 Banded Systems / 149 \\
+ 4.4 Symmetric Indefinite Systems / 159 \\
+ 4.5 Block Tridiagonal Systems / 170 \\
+ 4.6 Vandermonde Systems / 178 \\
+ 4.7 Toeplitz Systems / 183 \\
+ 5: Orthogonalization and Least Squares / 193 \\
+ 5.1 Householder and Givens Transformations / 194 \\
+ 5.2 The $Q R$ Factorization / 211 \\
+ 5.3 The Full Rank Least Squares Problem / 221 \\
+ 5.4 Other Orthogonal Factorizations / 233 \\
+ 5.5 The Rank Deficient Least Squares Problem / 241 \\
+ 5.6 Weighting and Iterative Improvement / 250 \\
+ 5.7 A Note on Square and Underdetermined Systems / 256
+ \\
+ 6: Parallel Matrix Computations / 260 \\
+ 6.1 Distributed Memory Gaxpy / 261 \\
+ 6.2 Shared Memory Gaxpy / 276 \\
+ 6.3 Parallel Matrix Multiplication / 288 \\
+ 6.4 Ring Factorization Procedures / 301 \\
+ 6.5 Mesh Factorization Procedures / 310 \\
+ 6.6 Shared Memory Factorization Methods / 321 \\
+ 7: The Unsymmetric Eigenvalue Problem / 331 \\
+ 7.1 Properties and Decompositions / 332 \\
+ 7.2 Perturbation Theory / 341 \\
+ 7.3 Power Iterations / 351 \\
+ 7.4 Hessenberg and Real Schur Forms / 361 \\
+ 7.5 The Practical $Q R$ Algorithm / 373 \\
+ 7.6 Invariant Subspace Computations / 382 \\
+ 7.7 The $QZ$ Method for $A x = \lambda B x$ / 394 \\
+ 8: The Symmetric Eigenvalue Problem / 409 \\
+ 8.1 Properties, Decompositions, Perturbation Theory /
+ 410 \\
+ 8.2 The Symmetric $Q R$ Algorithm / 418 \\
+ 8.3 Computing the SVD / 427 \\
+ 8.4 Some Special Methods / 437 \\
+ 8.5 Jacobi Methods / 444 \\
+ 8.6 A Divide and Conquer Method / 459 \\
+ 8.7 More Generalized Eigenvalue Problems / 466 \\
+ 9: Lanczos Methods / 475 \\
+ 9.1 Derivation and Convergence Properties / 476 \\
+ 9.2 Practical Lanczos Procedures / 484 \\
+ 9.3 Applications and Extensions / 494 \\
+ 10: Iterative Methods for Linear Systems / 505 \\
+ 10.1 The Standard Iterations / 506 \\
+ 10.2 The Conjugate Gradient Method / 516 \\
+ 10.3 Preconditioned Conjugate Gradient Methods / 527
+ \\
+ 11: Functions of Matrices / 539 \\
+ 11.1 Eigenvalue Methods / 540 \\
+ 11.2 Approximation Methods / 546 \\
+ 11.3 The Matrix Exponential / 555 \\
+ 12: Special Topics / 561 \\
+ 12.1 Some Constrained Least Squares Problems / 561 \\
+ 12.2 Subset Selection Using the SVD / 571 \\
+ 12.3 Total Least Squares / 576 \\
+ 12.4 Comparing Subspaces Using the SVD / 581 \\
+ 12.5 Some Modified Eigenvalue Problems / 587 \\
+ 12.6 Updating the $Q R$ Factorization / 592 \\
+ Bibliography / 601 \\
+ Index / 635",
+}
+
+@Book{Golub:1992:SCD,
author = "Gene H. Golub and James M. Ortega",
- title = "Scientific Computing and Differential Equations",
- publisher = pub-AP,
- address = pub-AP:adr,
+ title = "Scientific Computing and Differential Equations: An
+ Introduction to Numerical Methods",
+ publisher = pub-ACADEMIC,
+ address = pub-ACADEMIC:adr,
+ edition = "Second",
pages = "xi + 337",
year = "1992",
ISBN = "0-12-289255-0",
ISBN-13 = "978-0-12-289255-4",
LCCN = "QA371 .G62 1992",
+ MRclass = "65Lxx, 00A06, 65-01, 65Fxx, 65Hxx, 65Mxx, 65Nxx",
+ MRnumber = "92f:65002",
bibdate = "Tue Dec 14 23:00:48 1993",
- bibsource = "http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
+ bibsource = "http://www.math.utah.edu/pub/bibnet/authors/g/golub-gene-h.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
note = prep-latex,
+ ZMnumber = "0749.65041",
acknowledgement = ack-gg,
+ author-dates = "Gene Howard Golub (February 29, 1932--November 16,
+ 2007)",
+ keywords = "na, book",
+ remark = "Several library catalogs identify this entry and entry
+ Golub:1996:SCD as `editions': however, the ISBN remains
+ unchanged, and no trace of first or third editions has
+ been found in library catalogs, so it may be that these
+ are just printings, possibly with corrections.",
+ tableofcontents = "The World of Scientific Computing \\
+ Letting It Fly \\
+ Initial Value Problems \\
+ Pinning It Down: Boundary Value Problems \\
+ More on Linear Systems of Equations \\
+ Life Is Really Nonlinear \\
+ Is There More Than Finite Differences? N Important
+ Numbers \\
+ Space and Time \\
+ The Curse of Dimensionality \\
+ Appendixes: Analysis of Differential Equations \\
+ Linear Algebra \\
+ Bibliography \\
+ Index",
}
@Book{Goodheart:MGE94,
@@ -4394,18 +5179,77 @@
acknowledgement = ack-mz,
}
-@Book{Grandine:NMP90,
+@Book{Grandine:1990:NMP,
author = "Thomas A. Grandine",
title = "The Numerical Methods Programming Projects Book",
- publisher = pub-OUP,
- address = pub-OUP:adr,
+ publisher = pub-OXFORD,
+ address = pub-OXFORD:adr,
pages = "viii + 146",
year = "1990",
- ISBN = "0-19-853387-X",
- ISBN-13 = "978-0-19-853387-0",
+ ISBN = "0-19-853385-3 (hardcover), 0-19-853387-X (paperback)",
+ ISBN-13 = "978-0-19-853385-6 (hardcover), 978-0-19-853387-0
+ (paperback)",
LCCN = "QA76.6 .G718 1990",
- bibdate = "Tue Dec 14 23:01:17 1993",
- bibsource = "http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
+ bibdate = "Tue Dec 14 22:54:20 1993",
+ bibsource = "http://www.math.utah.edu/pub/tex/bib/master.bib;
+ http://www.math.utah.edu/pub/tex/bib/numana1990.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
+ ZMnumber = "0687.65002",
+ acknowledgement = ack-nhfb,
+ shorttableofcontents = "Introduction \\
+ 1. The Set Up \\
+ 2. Project 1 Through Project 22 \\
+ 3. Documentation \\
+ 4. Co5adf \\
+ 5. Do1ajf \\
+ 6. Do2hbf \\
+ 7. Eo2baf \\
+ 8. Eo2bcf \\
+ 9. Eo2bdf \\
+ 10. Eo4vdf \\
+ 11. Fo1btf \\
+ 12. Fo2waf \\
+ 13. Fo4ayf \\
+ 14. FO4JGf",
+ tableofcontents = "Introduction / 1 \\
+ The setup / 6 \\
+ Project 1 / 8 \\
+ Project 2 / 10 \\
+ Project 3 / 12 \\
+ Project 4 / 14 \\
+ Project 5 / 16 \\
+ Project 6 / 18 \\
+ Project 7 / 20 \\
+ Project 8 / 22 \\
+ Project 9 / 25 \\
+ Project 10 / 27 \\
+ Project 11 / 30 \\
+ Project 12 / 32 \\
+ Project 13 / 36 \\
+ Project 14 / 38 \\
+ Project 15 / 40 \\
+ Project 16 / 42 \\
+ Project 17 / 44 \\
+ Project 18 / 46 \\
+ Project 19 / 48 \\
+ Project 20 / 51 \\
+ Project 21 / 53 \\
+ Project 22 / 56 \\
+ Documentation / 59 \\
+ C0SADF / 60 \\
+ D01AJF / 63 \\
+ D02BBF / 67 \\
+ D02HBF / 73 \\
+ E02BAF / 82 \\
+ E02BCF / 88 \\
+ E02BDF / 92 \\
+ E04VDF / 95 \\
+ F01BTF / 106 \\
+ F02WAF / 109 \\
+ F04AYF / 113 \\
+ F04JGF / 116 \\
+ Answers to exercises / 121 \\
+ NAG Graphical Library examples / 135 Index / 144",
}
@Book{Granshaw:HAO88,
@@ -4885,11 +5729,71 @@
ISBN = "0-89871-355-2 (paperback)",
ISBN-13 = "978-0-89871-355-8 (paperback)",
LCCN = "QA297.H53 1996",
+ MRclass = "65Fxx, 15-04, 65-02, 65G50",
bibdate = "Tue Jan 30 11:01:35 1996",
- bibsource = "http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
- note = "Typeset with \LaTeX2e",
+ bibsource = "http://www.math.utah.edu/pub/bibnet/authors/h/higham-nicholas-john.bib;
+ http://www.math.utah.edu/pub/tex/bib/fparith.bib;
+ http://www.math.utah.edu/pub/tex/bib/master.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
price = "US\$39.00",
- acknowledgement = ack-nhfb,
+ URL = "http://www.ma.man.ac.uk/~higham/asna.html",
+ acknowledgement = ack-njh # " and " # ack-nhfb,
+ remark = "Typeset with \LaTeX2e.",
+ tableofcontents = "Principles of Finite Precision Computation \\
+ Relative Error and Significant Digits \\
+ Sources of Errors \\
+ Precision Versus Accuracy \\
+ Backward and Forward Errors \\
+ Conditioning \\
+ Cancellation \\
+ Solving a Quadratic Equation \\
+ Computing the Sample Variance \\
+ Solving Linear Equations \\
+ Accumulation of Rounding Errors \\
+ Instability Without Cancellation \\
+ Increasing the Precision \\
+ Cancellation of Rounding Errors \\
+ Rounding Errors Can Be Beneficial \\
+ Stability of an Algorithm Depends on the Problem \\
+ Rounding Errors Are Not Random \\
+ Designing Stable Algorithms \\
+ Misconceptions \\
+ Rounding Errors in Numerical Analysis \\
+ Floating Point Arithmetic \\
+ Floating Point Number System \\
+ Model of Arithmetic \\
+ IEEE Arithmetic \\
+ Aberrant Arithmetics \\
+ Exact Subtraction \\
+ Fused Multiply-Add Operation \\
+ Choice of Base and Distribution of Numbers \\
+ Statistical Distribution of Rounding Errors \\
+ Alternative Number Systems \\
+ Elementary Functions \\
+ Accuracy Tests \\
+ Inner and Outer Products \\
+ The Purpose of Rounding Error Analysis \\
+ Running Error Analysis \\
+ Notation for Error Analysis \\
+ Matrix Multiplication \\
+ Complex Arithmetic \\
+ Miscellany \\
+ Error Analysis Demystified \\
+ Other Approaches \\
+ Summation \\
+ Summation Methods \\
+ Error Analysis \\
+ Compensated Summation \\
+ Other Summation Methods \\
+ Statistical Estimates of Accuracy \\
+ Choice of Method \\
+ Polynomials \\
+ Horner's Method \\
+ Evaluating Derivatives \\
+ The Newton Form and Polynomial Interpolation \\
+ Matrix Polynomials \\
+ Norms \\
+ Vector Norms",
}
@Book{Hildreth:MVM84,
@@ -5900,20 +6804,28 @@
acknowledgement = ack-fl,
}
-@Book{Lyche:MMC89,
- author = "Tom Lyche and Larry L. Schumaker",
+@Proceedings{Lyche:1989:MMC,
+ editor = "Tom Lyche and Larry L. Schumaker",
+ booktitle = "Mathematical Methods in Computer Aided Geometric
+ Design",
title = "Mathematical Methods in Computer Aided Geometric
Design",
- publisher = pub-AP,
- address = pub-AP:adr,
+ publisher = pub-ACADEMIC,
+ address = pub-ACADEMIC:adr,
pages = "xv + 611",
year = "1989",
ISBN = "0-12-460515-X",
ISBN-13 = "978-0-12-460515-2",
LCCN = "QA448.D38 M381 1989",
- bibdate = "Tue Dec 14 23:03:54 1993",
- bibsource = "http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
- acknowledgement = ack-bnb,
+ MRclass = "00Bxx, 41-06",
+ bibdate = "Wed Dec 15 10:38:41 1993",
+ bibsource = "http://www.math.utah.edu/pub/tex/bib/master.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
+ ZMnumber = "0669.00011",
+ acknowledgement = ack-nhfb,
+ remark = "Papers originally presented at an international
+ conference held June 16--22, 1988, at the University of
+ Oslo, Norway.",
}
@Book{Lynch:1996:DA,
@@ -7313,10 +8225,41 @@
ISBN-13 = "978-0-387-00311-5",
LCCN = "QA76.9.A25 S265 2003",
bibdate = "Mon Jun 16 18:35:35 2003",
- bibsource = "http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
+ bibsource = "http://www.math.utah.edu/pub/tex/bib/cryptography2000.bib;
+ http://www.math.utah.edu/pub/tex/bib/datacompression.bib;
+ http://www.math.utah.edu/pub/tex/bib/master.bib;
+ http://www.math.utah.edu/pub/tex/bib/sigact.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
price = "US\$59.95",
URL = "http://www.booksbydavidsalomon.com/",
+ abstract = "This integrated volume focuses on keeping data secure
+ and private and covers classical cryptography, modern
+ cryptography, and steganography. Each topic is
+ presented and explained by describing various methods,
+ techniques, and algorithms. Moreover, there are
+ numerous helpful examples to reinforce the reader's
+ understanding and expertise with these techniques and
+ methodologies.",
acknowledgement = ack-nhfb,
+ tableofcontents = "Part I: Data Encryption \\
+ 1: Monoalphabetic Substitution Ciphers \\
+ 2: Transposition Ciphers \\
+ 3: Polyalphabetic Substitution Ciphers \\
+ 4: Random Numbers \\
+ 5: The Enigma \\
+ 6: Stream Ciphers \\
+ 7: Block Ciphers \\
+ 8: Public-Key Cryptography \\
+ 9: Quantum Cryptography \\
+ Part II: Data Hiding \\
+ 10: Data Hiding in Text \\
+ 11: Data Hiding in Images \\
+ 12: Data Hiding: Other Methods \\
+ Part III: Essential Resources \\
+ Appendix A: Convolution \\
+ Appendix B: Hashing \\
+ Appendix C: Cyclic Redundancy Codes \\
+ Appendix D: Galois Fields",
}
@Book{Salomon:2004:DCC,
@@ -7679,7 +8622,7 @@
acknowledgement = ack-nhfb,
}
-@Book{Sedgewick:A88,
+@Book{Sedgewick:1988:A,
author = "Robert Sedgewick",
title = "Algorithms",
publisher = pub-AW,
@@ -7690,10 +8633,18 @@
ISBN = "0-201-06673-4",
ISBN-13 = "978-0-201-06673-9",
LCCN = "QA76.6 .S435 1988",
- bibdate = "Tue Dec 14 23:07:56 1993",
- bibsource = "http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
- note = prep-tex,
- acknowledgement = ack-nhfb # " and " # ack-mz,
+ MRclass = "68-01, 68N01, 68P05, 68P10, 68Q25, 68W10, 68W99",
+ bibdate = "Wed Dec 15 10:41:37 1993",
+ bibsource = "http://www.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg-2ed.bib;
+ http://www.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib;
+ http://www.math.utah.edu/pub/tex/bib/hash.bib;
+ http://www.math.utah.edu/pub/tex/bib/master.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
+ price = "US\$34.95",
+ ZMnumber = "0717.68005",
+ acknowledgement = ack-nhfb,
+ libnote = "Not yet in my library.",
+ remark = prep-tex,
}
@Book{Sedgewick:AC90,
@@ -7956,24 +8907,36 @@
acknowledgement = ack-te,
}
-@Book{Steele:common-lisp-2,
+@Book{Steele:1990:CLL,
author = "Guy L. {Steele Jr.}",
- title = "Common Lisp\emdash The Language",
- publisher = pub-DP # " and " # pub-PH,
- address = pub-DP:adr # " and " # pub-PH:adr,
+ title = "{Common Lisp}: The Language",
+ publisher = pub-DP,
+ address = pub-DP:adr,
edition = "Second",
pages = "xxiii + 1029",
year = "1990",
- ISBN = "1-55558-041-6 (paperback) and 1-55558-042-4
- (hardcover) (Digital Press), 0-13-152414-3
- (Prentice-Hall)",
- ISBN-13 = "978-1-55558-041-4 (paperback) and 978-1-55558-042-1
- (hardcover) (Digital Press), 978-0-13-152414-9
- (Prentice-Hall)",
+ ISBN = "1-55558-041-6 (paperback), 1-55558-042-4 (hardcover),
+ 0-08-050226-1 (e-book), 0-13-152414-3 (Prentice-Hall)",
+ ISBN-13 = "978-1-55558-041-4 (paperback), 978-1-55558-042-1
+ (hardcover), 978-0-08-050226-7 (e-book),
+ 978-0-13-152414-9 (Prentice-Hall)",
LCCN = "QA76.73.L23 S73 1990",
- bibdate = "Fri Jul 22 10:26:10 1994",
- bibsource = "http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
- note = "Camera-ready copy for this book was created by the
+ bibdate = "Thu May 16 16:38:35 2002",
+ bibsource = "http://www.math.utah.edu/pub/bibnet/subjects/case-based-reasoning.bib;
+ http://www.math.utah.edu/pub/tex/bib/common-lisp.bib;
+ http://www.math.utah.edu/pub/tex/bib/master.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
+ note = "With contributions by Scott E. Fahlman and others, and
+ with contributions to the second edition by Daniel G.
+ Bobrow and others. See also
+ \cite{Steele:CLL84,Tatar:PGC87}.",
+ abstract = "In this greatly expanded edition of the defacto
+ standard, you'll learn about the nearly 200 changes
+ already made since original publication --- and find
+ out about gray areas likely to be revised later.",
+ acknowledgement = ack-nhfb,
+ libnote = "Not yet in my library.",
+ remark = "Camera-ready copy for this book was created by the
author (using {\TeX}, {\LaTeX}, and {\TeX} macros
written by the author), proofed on an Apple LaserWriter
II, and printed on a Linotron 300 at Advanced Computer
@@ -8004,8 +8967,113 @@
book were digitized by Adobe Systems Incorporated,
except for Computer Modern Math, which was designed by
Donald E. Knuth.",
- price = "US\$38.95 (paperback), US\$44.95 (hardcover)",
- acknowledgement = ack-gs,
+ tableofcontents = "Preface (Second Edition) \\
+ Acknowledgments (Second Edition) \\
+ Acknowledgments (First Edition) \\
+ 1: Introduction \\
+ 1.1. Purpose \\
+ 1.2. Notational Conventions \\
+ 2: Data Types \\
+ 2.1. Numbers \\
+ 2.2. Characters \\
+ 2.3. Symbols \\
+ 2.4. Lists and Conses \\
+ 2.5. Arrays \\
+ 2.6. Hash Tables \\
+ 2.7. Readtables \\
+ 2.8. Packages \\
+ 2.9. Pathnames \\
+ 2.10. Streams \\
+ 2.11. Random-States \\
+ 2.12. Structures \\
+ 2.13. Functions \\
+ 2.14. Unreadable Data Objects \\
+ 2.15. Overlap, Inclusion, and Disjointness of Types \\
+ 3: Scope and Extent \\
+ 4: Type Specifiers \\
+ 4.1. Type Specifier Symbols \\
+ 4.2. Type Specifier Lists \\
+ 4.3. Predicating Type Specifiers \\
+ 4.4. Type Specifiers That Combine \\
+ 4.5. Type Specifiers That Specialize \\
+ 4.6. Type Specifiers That Abbreviate \\
+ 4.7. Defining New Type Specifiers \\
+ 4.8. Type Conversion Function \\
+ 4.9. Determining the Type of an Object \\
+ 4.10. Type Upgrading \\
+ 5: Program Structure \\
+ 5.1. Forms \\
+ 5.2. Functions \\
+ 5.3. Top-Level Forms \\
+ 6: Predicates \\
+ 6.1. Logical Values \\
+ 6.2. Data Type Predicates \\
+ 6.3. Equality Predicates \\
+ 6.4. Logical Operators \\
+ 7: Control Structure \\
+ 7.1. Constants and Variables \\
+ 7.2. Generalized Variables \\
+ 7.3. Function Invocation \\
+ 7.4. Simple Sequencing \\
+ 7.5. Establishing New Variable Bindings \\
+ 7.6. Conditionals \\
+ 7.7. Blocks and Exits \\
+ 7.8. Iteration \\
+ 7.9. Structure Traversal and Side Effects \\
+ 7.10. Multiple Values \\
+ 7.11. Dynamic Non-Local Exits \\
+ 8: Macros \\
+ 8.1. Macro Definition \\
+ 8.2. Macro Expansion \\
+ 8.3. Destructuring \\
+ 8.4. Compiler Macros \\
+ 8.5. Environments \\
+ 9: Declarations \\
+ 9.1. Declaration Syntax \\
+ 9.2. Declaration Specifiers \\
+ 9.3. Type Declaration for Forms \\
+ 10: Symbols \\
+ 10.1. The Property List \\
+ 10.2. The Print Name \\
+ 10.3. Creating Symbols \\
+ 11: Packages \\
+ 11.1. Consistency Rules \\
+ 11.2. Package Names \\
+ 11.3. Translating Strings to Symbols \\
+ 11.4. Exporting and Importing Symbols \\
+ 11.5. Name Conflicts \\
+ 11.6. Built-in Packages \\
+ 11.7. Package System Functions and Variables \\
+ 11.8. Modules \\
+ 11.9. An Example \\
+ 12: Numbers \\
+ 12.1. Precision, Contagion, and Coercion \\
+ 12.2. Predicates on Numbers \\
+ 12.3. Comparisons on Numbers \\
+ 12.4. Arithmetic Operations \\
+ 12.5. Irrational and Transcendental Functions \\
+ 12.6. Type Conversions and Component Extractions on
+ Numbers \\
+ 12.7. Logical Operations on Numbers \\
+ 12.8. Byte Manipulation Functions \\
+ 12.9. Random Numbers \\
+ 12.10. Implementation Parameters \\
+ 13: Characters \\
+ 13.1. Character Attributes \\
+ 13.2. Predicates on Characters \\
+ 13.3. Character Construction and Selection \\
+ 13.4. Character Conversions \\
+ 13.5. Character Control-Bit Functions \\
+ 14: Sequences \\
+ 14.1. Simple Sequence Functions \\
+ 14.2. Concatenating, Mapping, and Reducing Sequences
+ \\
+ 14.3. Modifying Sequences \\
+ 14.4. Searching Sequences for Items \\
+ 14.5. Sorting and Merging \\
+ 15: Lists \\
+ 15.1. Conses \\
+ 15.2. Lists",
}
@Book{Stephen:NND90,
@@ -8656,21 +9724,86 @@
acknowledgement = ack-mz,
}
-@Book{vanHerwijnen:PS90,
- author = "Eric van Herwijnen",
+@Book{vanHerwijnen:1990:PS,
+ author = "Eric {van Herwijnen}",
title = "Practical {SGML}",
publisher = pub-KLUWER,
address = pub-KLUWER:adr,
pages = "xviii + 307",
year = "1990",
- ISBN = "0-7923-0635-X",
- ISBN-13 = "978-0-7923-0635-1",
+ DOI = "https://doi.org/10.1007/978-1-4613-0687-0",
+ ISBN = "0-7923-0635-X, 0-7923-9434-8",
+ ISBN-13 = "978-0-7923-0635-1, 978-0-7923-9434-1",
LCCN = "QA76.73.S44 V36 1990",
- bibdate = "Fri Jul 22 10:37:37 1994",
- bibsource = "http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
- note = "I have not yet seen the final version; it might not be
- in {\TeX/\LaTeX}.",
- acknowledgement = ack-mc,
+ bibdate = "Mon Oct 26 07:31:07 1998",
+ bibsource = "http://www.math.utah.edu/pub/tex/bib/master.bib;
+ http://www.math.utah.edu/pub/tex/bib/sgml.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook2.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook3.bib",
+ price = "UK\pounds24.90, US\$49.00",
+ abstract = "Many times there are subjects which demand further
+ explanations and guidance written about them. Such is
+ the case with SGML, the Standard Generalized Markup
+ Language; and ISO Standard published in October, 1986
+ under the number 8879. There have been many conferences
+ given on this topic, world-wide, as the interest in
+ SGML exists in Europe, the US, Australia and Japan.
+ This book is the first which contains information not
+ only on ISO 8879 itself, but many helpful hints and
+ ideas on developing SGML, applications and discussions
+ of the current software written to be conforming to the
+ ISO standard. 'Ibis book is critical for any end-user
+ and application developer to understand the many issues
+ necessary to develop SGML implementations (software
+ selection is one of the topics discussed) and SGML
+ applications. A number of examples of the applications
+ of SGML in various situations are discussed and one can
+ expect that the book will stimulate further discussion
+ of these. This book is a practical guide to various
+ components of the language and the author's experience
+ in development and working with SGML in his position as
+ leader of the text processing section at CERN ensures
+ that the guidance is based on practical first-hand
+ experience at an installation with a large number of
+ end-users of very varied experience.",
+ acknowledgement = ack-nhfb,
+ tableofcontents = "I Getting Started with SGML 1 \\
+ 1: Introduction \\
+ 2: An SGML application \\
+ document type components \\
+ 3: Creating an SGML application: method and basics \\
+ 4: Creating an SGML application: examples and summary
+ \\
+ 5: Managing SGML \\
+ II: Advanced SGML 97 \\
+ 6: Creating an SGML application: advanced concepts \\
+ 7: Advanced SGML constructs \\
+ 8: Mathematics and Graphics \\
+ III: SGML implementations 165 \\
+ 9: SGML implementations \\
+ 10: Creating SGML documents \\
+ 11: SGML and databases \\
+ 12: The CALS initiative \\
+ 13: SGML and EDI \\
+ Appendix A: Answers to the problems \\
+ A.1 Answers for Chapter 1 \\
+ A.2 Answers for Chapter 2 \\
+ A.3 Answers for Chapter 3 \\
+ A.4 Answers for Chapter 4 \\
+ A.5 Answers for Chapter 6 \\
+ A.6 Answers for Chapter 7 \\
+ A.7 Answers for Chapter 10 \\
+ Appendix B: Writing a book on SGML using SGML \\
+ B.1 Statistics \\
+ B.2 Document exchange \\
+ B.3 Bibliography for Appendix B \\
+ Appendix C: The Ericbook DTD \\
+ Appendix D: Some TeX entity definitions \\
+ Appendix E: How to read ISO 8879 \\
+ E.1 Structure of the SGML standard \\
+ E.2 Notation used in the SGML standard \\
+ E.3 Bibliography for Appendix E \\
+ Bibliography for Glossary",
}
@Book{vanHerwijnen:PS94,
@@ -8841,8 +9974,8 @@
@Book{Vitter:DAC87,
author = "Jeffrey Scott Vitter",
title = "Design and Analysis of Coalesced Hashing",
- publisher = pub-OUP,
- address = pub-OUP:adr,
+ publisher = pub-OXFORD,
+ address = pub-OXFORD:adr,
pages = "xii + 160",
year = "1987",
ISBN = "0-19-504182-8",
@@ -9134,8 +10267,8 @@
author = "Arthur G. Werschulz",
title = "The Computational Complexity of Differential and
Integral Equations: An Information-Based Approach",
- publisher = pub-OUP,
- address = pub-OUP:adr,
+ publisher = pub-OXFORD,
+ address = pub-OXFORD:adr,
pages = "ix + 331",
month = oct,
year = "1991",
@@ -9484,20 +10617,118 @@
acknowledgement = ack-bnb,
}
-@Book{Zwillinger:HI92,
+@Book{Zwillinger:1992:HI,
author = "Daniel Zwillinger",
title = "Handbook of Integration",
- publisher = pub-JBP,
- address = pub-JBP:adr,
+ publisher = pub-A-K-PETERS,
+ address = pub-A-K-PETERS:adr,
pages = "xv + 367",
year = "1992",
- ISBN = "0-86720-293-9",
- ISBN-13 = "978-0-86720-293-9",
+ ISBN = "0-86720-293-9, 1-4398-6584-1 (e-book)",
+ ISBN-13 = "978-0-86720-293-9, 978-1-4398-6584-2 (e-book)",
LCCN = "QA299.3 .Z85 1992",
- bibdate = "Tue Mar 30 16:11:44 1993",
- bibsource = "http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
+ MRclass = "65D32, 26A42, 65-00, 65D30, 68W30, 28-01, 26-01",
+ bibdate = "Sat Dec 24 15:53:15 MST 2005",
+ bibsource = "http://www.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib;
+ http://www.math.utah.edu/pub/tex/bib/master.bib;
+ http://www.math.utah.edu/pub/tex/bib/numana1990.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook2.bib",
note = prep-tex,
- acknowledgement = ack-ys,
+ abstract = "This book is a compilation of the most important and
+ widely applicable methods for evaluating and
+ approximating integrals. It is an indispensable time
+ saver for engineers and scientists needing to evaluate
+ integrals in their work.",
+ acknowledgement = ack-nhfb,
+ bookformat = "Hardcover",
+ category = "Professional \& Technical; Professional Science;
+ Mathematics; Pure Mathematics; Calculus",
+ DEWEY = "515.43 20",
+ idnumber = "541",
+ keywords = "Numerical integration",
+ libnote = "Not in my library.",
+ subject = "Numerical integration",
+ tableofcontents = "Preface \\
+ Introduction \\
+ How to Use This Book \\
+ Part I: Applications of Integration \\
+ 1: Differential Equations: Integral Representations \\
+ 2: Differential Equations: Integral Transforms \\
+ 3: Extremal Problems \\
+ 4: Function Representation \\
+ 5: Geometric Applications \\
+ 6: MIT Integration Bee \\
+ 7: Probability \\
+ 8: Summations: Combinatorial \\
+ 9: Summations: Other \\
+ 10: Zeros of Functions \\
+ 11: Miscellaneous Applications \\
+ Part II: Concepts and Definitions \\
+ 12: Definitions \\
+ 13: Integral Definitions \\
+ 14: Caveats \\
+ 15: Changing Order of Integration \\
+ 16: Convergence of Integrals \\
+ 17: Exterior Calculus \\
+ 18: Feynman Diagrams \\
+ 19: Finite Part of Integrals \\
+ 20: Fractional Integration \\
+ 21: Liouville Theory \\
+ 22: Mean Value Theorems \\
+ 23: Path Integrals \\
+ 24: Principal Value Integrals \\
+ 25: Transforms: To a Finite Interval \\
+ 26: Transforms: Multidimensional Integrals \\
+ 27: Transforms: Miscellaneous \\
+ Part III: Exact Analytical Methods \\
+ 28: Change of Variable \\
+ 29: Computer Aided Solution \\
+ 30: Contour Integration \\
+ 31: Convolution Techniques \\
+ 32: Differentiation and Integration \\
+ 33: Dilogarithms \\
+ 34: Elliptic Integrals \\
+ 35: Frullanian Integrals . \\
+ 36: Functional Equations \\
+ 37: Integration by Parts \\
+ 38: Line and Surface Integrals \\
+ 39: Look Up Technique \\
+ 40: Special Integration Techniques \\
+ 41: Stochastic Integration \\
+ 42: Tables of Integrals \\
+ Part IV: Approximate Analytical Methods \\
+ 43: Asymptotic Expansions \\
+ 44: Asymptotic Expansions: Multiple Integrals \\
+ 45: Continued Fractions \\
+ 46: Integral Inequalities \\
+ 47: Integration by Parts \\
+ 48: Interval Analysis \\
+ 49: Laplace's Method \\
+ 50: Stationary Phase \\
+ 51: Steepest Descent \\
+ 52: Approximations: Miscellaneous \\
+ Part V: Numerical Methods: Concepts \\
+ 53: Introduction to Numerical Methods \\
+ 54: Numerical Definitions \\
+ 55: Error Analysis \\
+ 56: Romberg Integration / Richardson Extrapolation \\
+ 57: Software Libraries: Introduction \\
+ 58: Software Libraries: Taxonomy \\
+ 59: Software Libraries: Excerpts from GAMS \\
+ 60: Testing Quadrature Rules \\
+ 61: Truncating an Infinite Interval \\
+ Part VI: Numerical Methods: Techniques \\
+ 62: Adaptive Quadrature \\
+ 63: Clenshaw--Curtis Rules \\
+ 64: Compound Rules \\
+ 65: Cubic Splines \\
+ 66: Using Derivative Information \\
+ 67: Gaussian Quadrature \\
+ 68: Gaussian Quadrature: Generalized \\
+ 69: Gaussian Quadrature: Kronrod's Extension \\
+ 70: Lattice Rules \\
+ 71: Monte Carlo Method \\
+ 72: Number Theoretic Methods",
}
@Proceedings{Brachman:KR91,