Bibliography for MCS Division @article{ColGarMor84:sparse,
author = "T. Coleman and B. Garbow and J. More",
title = "Software for Estimating Sparse Jacobian Matrices",
journal = "ACM TOMS",
volume = "10",
number = "3",
year = "1984",
pages = "329-345"}
@techreport{LusOve84:topics,
author = "E. Lusk and R. Overbeek",
month = "June",
year = "1984",
institution = "Argonne National Laboratory"}
@techreport{SamKam84:cg,
author = "A. Sameh and C. Kamath",
title = "The Preconditioned Conjugate Gradient Algorithm on a Multiprocessor",
number = "MCS-TM-28",
month = "June",
year = "1984",
institution = "Argonne National Laboratory"}
@techreport{Hil84:jakef,
author = "K. E. Hillstrom",
title = "Installation Guide for JAKEF",
number = "MCS-TM-17",
month = "January",
year = "1984",
institution = "Argonne National Laboratory"}
@techreport{Hil84:jakeuser,
author = "K. E. Hillstrom",
title = "User Guide for JAKEF",
number = "MCS-TM-16",
month = "January",
year = "1984",
institution = "Argonne National Laboratory"}
@techrreport{DonCheHsi84:cray,
author = "J. Dongarra and S. Chen and S. Hsiung",
title = "Multiprocessing Linear Algebra Algorithms on the CRAY X-MP2: Experiences with Small Granularity",
number = "MCS-TM-24",
year = "1984",
month = "February",
institution = "Argonne National Laboratory"}
@techreport{DonSam84:banded,
author = "J. Dongarra and A. Sameh",
title = "On Some Parallel Banded System Solvers",
number = "MCS-TM-27",
month = "March",
year = "1984",
institution = "Argonne National Laboratory"}
@techreport{DonLusOveSmiSor84:new,
author = "J. Dongarra and E. Lusk and R. Overbeek and B. Smith and D. Sorensen",
title = "New Directions in Software fo rAdvanced Computer Architectures",
month = "August",
year = "1984",
number = "MCS-TM-32",
institution = "Argonne National Laboratory"}
@techreport{Dor84:pivot,
author = "D. C. Sorensen",
title = "Analysis of Pairwise Pivoting in Gaussian Elimination",
number = "MCS-TM-26",
year = "1984",
month = "February",
institution = "Argonne National Laboratory"}
@techreport{Sor84:buffer,
author = "D. C. Sorensen",
title = "Buffereing for Vector Performance on a Pipelined MIMD Machine",
number = "MCS-TM-29",
year = "1984",
month = "April",
institution = "Argonne National Laboratory"}
@techreport{DonSor84:hep,
author = "J. Dongarra and D. Sorensen",
title = "A Paralle Linear Algebra Library for the Denelcor HEP",
month = "October",
year = "1984",
number = "MCS-TM-33",
institution = "Argonne National Laboratory"}
@techreport{DonDucHamHan84:proposal,
author = "J. Dongarra and J. DuCroz and S. Hammarlling and R. Hanson",
title = "A Proposal for an Extended Set of Fortran Basic Linear Algebra Subprograms",
year = "1984",
number = "MCS-TM-41",
institution = "Argonne National Laboratory"}
@techreport{MesSmiDon84:proc,
author = "P. Messina and B. Smith and J. Dongarra",
title = "Proceedings form the Argonne Workshop on Programing the Next Generation of Supercomputers",
year = "1984",
number = "MCS-TM-34",
institution = "Argonne National Laboratory"}
@techreport{DonKauHam84:squeeze,
author = "J. Dongarra and L. Kaufman and S. Hammarlling",
title = "Squeezing the Most out of Eigenvalue Solvers on High Performance Computers",
year = "1984",
number = "MCS-TM-46",
institution = "Argonne National Laboratory"}
@techreport{DonGro84:email,
author = "J. Dongarra and E. Grosse",
title = "Distribution of Mathematical Software via Electronic Mail",
year = "1984",
number = "MCS-TM-48",
institution = "Argonne National Laboratory"}
@techreport{DonHew85:gigaflop,
author = "J. Dongarra and T. Hewitt",
title = "Implementing Dense Linear Algebra Algorithms Using Multitasking on the CRAY X-MP-4",
month = "August",
year = "1985",
number = "MCS-TM-55",
institution = "Argonne National Laboratory"}
@inproceedings{KapKwoAtkk85:oscillate,
author = "H. G. Kaper and M. K. Kwong and F. V. Atkinson",
title = "An Oscillation Criterion for Linear SEcond-Order Differential Systems",
booktitle = "Proceedings of the American Mathematical Society",
volume = "94",
number = "1",
year = "1985",
month = "May"}
@article{DufGea85:index,
author = "I. S. Duff and C. W. Gear",
title = "Computing the Structural Index",
journal = "SIAM J. Alg. Disc. Meth.",
volume = "7",
issue = "4",
year = "1986"}
@techreport{DufEriGeaRei85:inverses,
author = "I. Duff and A. Erisman and C. Gear and J. Reid",
title = "Some Remarks on Inverses of Sparse Matrices", , CRAY X-MP-4",
year = "1985",
number = "MCS-TM-51",
institution = "Argonne National Laboratory"}
@techreport{Duf85:coments,
author = "I. Duff",
title = "Comments on the Solution of Sparse Linear Equations", CRAY X-MP-4",
month = "September",
year = "1985",
number = "MCS-TM-58",
institution = "Argonne National Laboratory"}
@techreport{Duf86:vector,
author = "I. S. Duff",
title = "Use of Vector and Parallel Computers in the Solution of Large, Sparse Linear Equations", CRAY X-MP-4",
month = "November",
year = "1986",
number = "MCS-TM-84",
institution = "Argonne National Laboratory"}
@article{J. Dongarra and D. Sorensen and A. Sameh",
title = "Implementation of Some Concurrent Algorithms afor Matrix Factorization",
journal = {Parallel Computing",
volume = "3",
year = "1986",
pages = "25-32"}
@techreport{MinHilKinCra86:perform,
author = "M. Minkoff and K. E. Hillstrom and S. D. King and R. Crane",
title = "Performance Modelling of Large-Grained Parallelism",
number = "MCS-TM-63",
month = "March",
year = "1986",
institution = "Argonne National Laboratory"}
@techreport{DonDuff85:aac,
author = "J. Dongarra and I. Duff",
title = "Advanced Architecture Computers", CRAY X-MP-4",
month = "October",
year = "1985",
number = "MCS-TM-57",
institution = "Argonne National Laboratory"}
@techreport{DonSor86:fully,
author = "J. J. Dongarra and D. C. Sorensen",
title = "A Fully Parallel Algorithm for the Symmetric Eigenvalue Problem", CRAY X-MP-4",
month = "January",
year = "1986",
number = "MCS-TM-62",
institution = "Argonne National Laboratory"}
@techreport{Donsor86:schedule,
author = "J. J. Dongarra and D. C. Sorensen",
title = "SCHEDULE: tools for Developing and Analyzing Parallel Fortran Programs", CRAY X-MP-4",
month = "November",
year = "1986",
number = "MCS-TM-86",
institution = "Argonne National Laboratory"}
@techreport{DonJoh86:wbande,
author = "J. J. Dongarra and L. Johnsson",
title = "Solving Banded Systems o n a Parallel Processor", , CRAY X-MP-4",
month = "November",
year = "1986",
number = "MCS-TM-85",
institution = "Argonne National Laboratory"}
@article{KapKwoZet84:nonnegative,
author = "H. Kaper and M. Kwong and A. Zettl",
title = "Singular Sturm-Liouville Problems with Nonnegative and Indefinite Weights",
journal = Monatshefte fur Mathematik",
month = "April",
year = "1984",
volume = "97",
pages = "177-189",
}

@articl{KapKwoZet84:singular,
author = "H. Kaper and M. Kwong and Z. Zettl",
title = "Regularizing Transformations for Certain Singular Sturm-Liouville Value Problems",
journal = "SIAM J. Math. Anal.",
volume = "15",
number = "5",
year = "1984"
}

@article{KapKwoLekZet84:full,
author = "H. Kaper and M. Kwong and C. Lekkeerkerker and A. Zettl",
title = "Full and Partial Range Eigenfunctions Expansions for Sturm-Liouville Problems with Indefinite Weights",
journal = "Proc. Royal Society of Edinburgh",
volume = "98A",
pages = "68-88",
year = "1984",
}





@article{KapLeaMatMat85:plane,
author = "H. Kaper and G. Leaf and B. Matkowsky and M. Matalon",
title = "The Stability of Plane Flames Attached to a Flameholder",
journal = "Journal of Combustion Science and Tech.",
volume = 43",
year = "1985",
pages = "271-286",
}

@techreport{ChiKljSmiWoj:85,draper,
author = "G. Chisholm and J. Kljaich and B. Smith and A. Wojcik"}
title = "Preliminary Report on the Formal Analysis of the Draper FTP Hardware and Software Using FTP",
year = "1985",
month = "September",
institution = "Argonne National Laboratory",
number = "MCS-TM-59"}
@article{FreJonSmi85:synch,
author = "P. Frederickson and R. Jones and B. Smith",
title = "Synchronization and Control of Parallel Algorithms",
journal = "Parallel Computing",
volume = "2",
year = "1985",
pages = "255-264"}
@article{KapLeaMat86:porous,
author = "H. G. Kaper and G. K .leaf and B. J. Matkowsky",
title = "On the Stability of the Porous Plug Burner Flame",
journal = "Combustin Sci. and Tech.",
year = "1986",
volume = "47",
pages = "93-101",
year = "1986",
}

@techreport{Cow86:toolpack,
author = "W. R. Cowell",
title = "The Toolpack Tools ISTUD, ISTCD, and ISTSB: Guide for Users and Installers",
year = "1986",
month = "June",
institution = "Argonne National LAbortory",
number = "MCS-TM-74"}
@article{SorHea86:pipeline,
author = "D. Sorensen and M. Heath",
title = "A Pipelined Givens Method for Computing the QR Factorizatin of a Sparse Matrix",
journal = "Linear Algebra and Its Applications",
volume = :77",
pages = "189-203",
year = "1986"}
@article{GabLyn86:euler,
author = "B. Gabutti and J. Lyness",
title = "Some Generalizations of the Euler-Knopp Transformation",
journal = "Numerische Mathematik",
volume = "48",
year = "1986",
pages = "199-220"}
@article{LynGiu86:weeks,
author = "J. N. Lyness and G Giunta",
title = "A Modification of the Weeks Method for Numerical Inversion of the Laplace Transform",
volume = "47",
journal = "Mathematics of Computation",
year = "1986",
volume = "47",
number = "175",
pages = "313-322"}
@article{KapLek86:multi,
author = "H. Kpaer and C. Lekkerkerker",
title = "Spectral Analysis of the Multigroup Transport Operator",
journal = "Tansport Theory and Statistical Physics",
volume = "15",
number = :4",
pages = "411-447",
year = "1986",
}


@inproceedings{KapKwo86:titch,
author = "H. Kaper and M. K. Kwong",
title = "Asympototics of the Titchmarsh-Weyl m-coefficient for Integrable Potentials",
year = "1986",
pages = "347-358",
volume = "103A",
}


@article{AtkMin:asymptotics87,
author = "F. V. Atkinson and A. B. Mingarelli",
title = "Asymptotics of the Number of Zeros and the Eigenvalues of General Weighted Sturm-Liouville Problems",
journal = "J. fuer Reine und Angewandte Mathematik",
volume = "375/376",
year = "1987",
pages = "380-393"}
@article{ClaHagLusOve85:lemur,
author = J. Clausing and R. hagstrom and E. Lusk and R. overbeek",
title = "A Technique for Achieving Portability among Multiprocessors: Implementation on the Lemur",
journal = "Parallel Computing",
volume = "2",
year = "1985",
pages = "137-162"}
@techreport{Jor:good87,
author = "K. E. Jordan",
title = "The Good, the Bad, and the Ugly: Comparing High-Speed Computer Systems",
number = "MCS-TM-196",
month = "December",
year = "1987"}
@article{AtkPel:elliptic87,
author = "F. V. Atkinson and L. A. Peletier",
title = "Elliptic Equations with Nearly Critical Growth",
journal = "J. Diff. Eq.",
volume = "70",
issue = "3",
year = "1987",
pages = "349-365"}
@incollection{AtkPel:critical87,
author = "F. V. Atkinson and L. A. Peletier",
title = "Elliptic Equations with Critical Exponents",
booktitle = "Nonlinear Parabolic equations: Qualitative Properties of Solutions, Pitman Res. Notes in Math. 149",
editor = "L. Boccardo and A. Tesei",
publisher = "Longman and Wiley",
year = "1987",
pages = "13-21"}
@incollection{AtkPel:radial87,
author = "F. V. Atkinson and L. A. Peletier",
title = "Radial Similarity Solutions of a Parabolic Equation",
booktitle = "Nonlinear Parabolic Equations: Qualitative Properties of Solutions, Pitman Res. Notes in Math. 149",
editor = " L. Boccardo and A. Tesei",
publisher = "Longman and Wiley",
year = "1987",
pages = "9-12"}
@article{AtkShu:delay87,
author = "F. V. Atkinson and Zhang Shunian",
title = "Asymptotic Behavior of Solutions of Linear Delay Equations",
journal = "Acta Mathematica Sinica",
volume = "n.s. 3",
issue = " 4",
year = "1987",
pages = "289-300"}
@article{BayMatMin:cellular88,
author = "A. Bayliss and B. J. Matkowsky and M. Minkoff",
title = "Adaptive Pseudo-Spectral Computation of Cellular Flames Stabilized by a Point Source",
journal = "App. Math. Lett.",
volume = "1",
issue = "1",
year = "1988",
pages = "19-24"}
@inproceedings{BoyDriMurTay:deriving87,
author = "J. M. Boyle and K. W. Dritz and M. N. Muralidharan and R. J. Taylor",
title = "Deriving Sequential and Parallel Programs from Pure LISP Specifications by Program Transformation",
booktitle = "Program Specification and Transformation (Proc. of the IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation, Bad Tolz, Germany, April 15-17, 1986)",
editor = " L. G. L. T. Meertens",
publisher = "North-Holland",
address = "New York",
year = "1987"}
@book{BoyButDisGliLusOvePatSte:p487,
author = "J. Boyle and R. Butler and T. Disz and B. Glickfeld and E. Lusk and R. Overbeek and J. Patterson and R. Stevens",
title = "Portable Programs for Parallel Processing",
publisher = "Holt, Rinehart, and Winston",
address = "New York",
year = "1987"}
@article{BoyMur:reusable84,
author = "J. M. Boyle and M. N. Muralidharan",
title = "Program Reusability through Program Transformation",
journal = "IEEE Transactions on Software Engineering",
volume = "SE-10",
issue = "5",
year = "1984",
pages = "574-588",
note = "Reprinted in: Tutorial: Software Reusability, ed. Peter Freeman, IEEE Computer Society, Washington, D.C., 1987"}
@techreport{Cod84:special,
author = "W. J. Cody",
title = "Software for Special Functions",
number = "MCS-TM-37",
month = "October",
year = "1984",
institution = "Argonne National Laboratory"}
@inproceedings{BoyDriMurTay:lisp88,
author = "J. M. Boyle and K. W. Dritz and M. N. Muralidharan and R. Taylor",
title = "Deriving Sequential and Parallel Programs from Pure LISP Specifications by Program Transformation",
booktitle = "Program Specification and Transformation (Proceedings of the IFIP TC2/WG2.1 Working Conference on Program Specification and Transformation, Bad-Tolz, FRG, 15-17 April 1986)",
editor = "L. G. L. T. Meertens",
publisher = "North-Holland",
address = "Amsterdam",
year = "1988"}
@article{CalMor:bounds87,
author = "P. H. Calamai and J. J. More'",
title = "Quasi-Newton Updates with Bounds",
journal = "SIAM J. Num. Anal.",
volume = "24",
year = "1987",
pages = "1434-1441"}
@article{CalMor:gradients87,
author = "P. H. Calamai and J. J. More'",
title = "Projected Gradient Methods for Linearly Constrained Problems",
journal = "Math. Programming",
volume = "39 ",
year = "1987",
pages = "93-116"}
@article{ChiHedScrSor:domain87,
author = "R. C. Y. Chin and G. W. Hedstrom and J. S. Scroggs and D. C. Sorensen",
title = "Parallel Computation of a Domain Decomposition Method",
booktitle = "Advances in Computer Methods for Partial Differential Equations VI",
editor = "R. Vichnevetsky and R. S. Stepleman",
organization = "IMACS",
address = "New Brunswick, NJ",
year = "1987"}
@incollection{Cod:specfun87,
author = "W. J. Cody",
title = "{SPECFUN}---A Portable Special Function Package",
booktitle = "Microcomputers in Large-Scale Scientific Computing",
editor = " A. Wouk",
publisher = "SIAM",
addrress = "Philadelphia",
year = "1987"}
@inproceedings{ColSeeSmiGabLusOve:entity86,
author = "R. W. Colley and S. E. Seeman and D. E. Smith and J. R. Gabriel and E. L. Lusk and R. A. Overbeek",
title = "An Entity-Relationship Model for Nuclear Power Plants",
booktitle = "Proceedings of the 1985 International Topical Meeting on Computer Applications for Nuclear Power Plant Operation and Control",
publisher = "Tri-Cities",
address = "Washington, D.C.",
year = "1986",
pages = "765-770"}
@article{CowTho:doloops86,
author = "W. R. Cowell and C. P. Thompson",
title = "Transforming Fortran DO Loops to Improve Performance on Vector Architectures",
journal = "ACM Trans. on Math. Soft.",
volume = "12",
issue = "4",
year = "1986",
pages = "324-353"}
@book{Don:experimental87,
author = "J. J. Dongarra",
title = "Experimental Parallel Computing Architectures",
publisher = "North-Holland",
year = "1987"}
@article{DonJoh:banded87,
author = "J. J. Dongarra and L. Johnssonu",
title = "Solving Banded Systems on a Parallel Processor",
journal = "Parallel Computing",
volume = "5",
year = "1987",
pages = "219-246"}
@article{DonMarWor:pitfalls87,
iauthor = "J. J. Dongarra and J. Martin and J. Worlton",
title = "Evaluating Computers and Their Performance: Perspectives, Pitfalls, and Paths",
journal = "IEEE Spectrum",
year = "1987"}
@article{DonSor:symmetric87,
author = "J. J. Dongarra and D. C. Sorensen",
title = "A Fully Parallel Algorithm for the Symmetric Eigenvalue Problem",
journal = "SIAM J. of Sci. and Stat. Comp.",
volume = "8",
issue = "2",
year = "1987",
year = "139-154"}
@article{DonSor:implementation86,
author = "J. J. Dongarra and D. C. Sorensen",
title = "On the Implementation of a Fully Parallel Algorithm for the Symmetric Eigenvalue Problem",
Journal = "SPIE, Advanced Algorithms and Architectures for Signal Processing",
volumer = "696",
year = "1986",
pages = "45-53"}
@article{DonSor:fortran87,
author = "J. J. Dongarra and D. C. Sorensen",
title = "A Portable Environment for Developing Parallel FORTRAN Programs",
journal = "Parallel Computing",
volume = "5",
year = "1987",
pages = "175-186"}
@article{HanWaz:resonance88,
author = "F. B. Hanson and A.-M. Wazwaz",
title = "Singular and Turning Point Resonance: Small Perturbations - Big Effects",
journal = "Applied Mathematics Letters",
year = "1988"}
@article{Cod88:machar,
author = "W. J. Cody",
title = "Algorithm 665 - MACHAR: A Subroutine to Dynamically Determine Machine parameters",
journal = "ACM TOME:",
volume = "14",
issue = "4",
year = "1988",
pages = "303-311"}
@inproceedings{KapKwo:mcoeff86,
author = "H. G. Kaper and Man Kam Kwong",
title = "Asymptotics of the Titchmarsh-Weyl m-coefficient for Integrable Potentials",
booktitle = "Proc. of the Royal Soc. of Edinburgh",
volume = "103A",
year = "1986",
pages = "347-358"}
@inproceedings{KapKwo:oscillation87,
author = "H. G. Kaper and Man Kam Kwong",
title = "Oscillation Theory for Linear Second-Order Differential Systems",
booktitle = "Canadian Mathematical Society Conf. Proc.",
volume = "8",
year = "1987",
pages = "187-197"}
@article{KapKwoZet:friedrichs86,
author = "H. G. Kaper and Man Kam Kwong and A. Zettl",
title = "Characterization of the Friedrichs Extensions of Singular Sturm-Liouville Expressions",
journal = "SIAM J. Math. Anal.",
volume = "17",
issue = "4",
year = "1986",
pages = "772-777"}
@article{KapLeaMarMat:nonadiabatic87,
author = "H. G. Kaper and G. K. Leaf and S. B. Margolis and B. J. Matkowsky",
title = "On Nonadiabatic Condensed Phase Combustion",
journal = "Combust. Sci. and Tech.",
volume = "53",
year = "1987",
pages = "289-314"}
@article{KapLeaMatOlm:dyna87,
author = "H. G. Kaper and G. K. Leaf and B. J. Matkowsky and W. E. Olmstead",
title = "Dynamics of Nonadiabatic Premixed Flames in a Gravitational Field",
journal = "SIAM J. Appl. Math.",
volume = "47",
issue = "3",
month = "June",
year = "1987",
pages = "544-555"
}

@article{KapSpell87:diffop,
author = "H. G. Kaper and B. E. Spellman",
title = "Best Constants in Norm Inequalities for the Difference Operator",
journal = "Trans. Amer. Math. Soc. ",
volume = "299",
month = " January",
year = "1987",
pages = " 351-372"
}

@article{KwoBap87:general,
author = "Man Kam Kwong and R. Bapat",
title = "A Generalization of $A . A ^{-1}$ >= I",
journal = "Linear Alg. Appl.",
volume = "93",
year = "1987",
pages = "107-112"
}

@article{KwoHooPat87:osc,
author = "Man Kam Kwong and J. W. Hooker and W. T. Patula",
title = "Oscillatory Second-order Linear Difference Equations and Riccati Equations",
journal = "SIAM J. Math. Anal.",
volume = "18",
year = "1987",
pages = "54-63"
}

@article{KwoPat87:delay,
author = "Man Kam Kwong and W. T. Patula",
title = "Comparison Theorems for First-Order Linear Delay Equations",
journal = "J. Diff. Eq.",
volume = "70",
year = "1987",
pages = "275-292"
}

@article{KwoWong88:efs,
author = "Man Kam Kwong and James S.W. Wong",
title = "Oscillation of Emden-Fowler Systems",
journal = "Differential and Integral Equations",
volume = "1",
number = "2",
month = "April",
year = "1988",
pages = "133-141"
}

@article{KwoZet87:extrema,
author = "Man Kam Kwong and A. Zettl",
title = "Extremals in Landau's Inequality for the Difference Operator",
journal = "Proc. Royal Soc. Edinburgh",
volume = "107A",
year = "1987",
pages = " 299-311"
}

@inproceedings{KwoZet87:ineq5,
author = "Man Kam Kwong and A. Zettl",
title = "Landau's Inequality for the Differential and Difference Operators, General Inequalities V",
booktitle = "Proc. of the Conf. on Inequalities at Oberwolfach 1986",
publisher = "Birkhaeuser-Verlag",
address = "Basel",
year = "1987",
pages = "367-379"
}

@inproceedings{LeaMinDiaz87:iterative,
author = "G. K. Leaf and M. Minkoff and J. C. Diaz",
title = "Preconditioned Iterative Methods for Partial Differential Equations",
booktitle = "Advances in Computer Methods for Partial Differential Equations VI",
editor = "R. Vichnevetsky and R. Stepleman",
publisher = "IMACS",
year = "1987",
pages = "551-555"
}

@article{LekKap86:multigroup,
author = "C. G. Lekkerkerker and H. G. Kaper",
title = "Spectral Analysis of the Multigroup Transport Operator",
journal = "Transport Theory and Stat. Physics",
volume = "15",
number = "4",
year = "1986",
pages = "411-447"
}

@article{LucOve87:conslaws,
author = "B. Lucier and R. Overbeek",
title = "A Parallel Adaptive Numerical Scheme for Hyperbolic Systems of Conservation Laws",
journal = "SIAM J. on Sci. and Stat. Comp.",
volume = " 8",
month = "March",
year = "1987",
pages = "203-219"
}

@inproceedings{LusOve86:nuke,
author = "E. L. Lusk and R. A. Overbeek",
title = "The Role of Multiprocessors in the Nuclear Power Industry: Comments on Determining Factors",
booktitle = "ANS",
address = "La Grange Park, Illinois",
year = "1986",
pages = "771-775"
}

@article{Lus87:review,
author = "E. Lusk",
title = "Review of The Computer Modelling of Mathematical Reasoning, by Allen Bundy",
journal = "SIAM Review",
volume = "29",
number = "3",
year = "1987"
}

@inproceedings{Lyn87:trig,
author = "J. N. Lyness",
title = "Some Quadrature Rules for Finite Trigonometric and Related Integrals",
booktitle = "Numerical Integration",
editor = "P. Keast and G. Fairweather",
publisher = "D. Reidel Publishing Company",
address = "North-Holland",
year = "1987",
pages = "17-33"
}

@article{LyndeD87:quad1,
author = "J. N. Lyness and E. de Doncker-Kapenga",
title = "On Quadrature Error Expansions: Part I",
journal = "J. Comp. and Appl. Math.",
volume = "17",
year = "1987",
pages = "131-149"
}

@article{LynKap87:longtail,
author = "J. N. Lyness and T. J. Kaper",
title = "Calculating Fourier Transforms of Long-Tailed Functions",
journal = "SIAM J. Sci. Stat. Comput.",
volume = "8",
number = " 6",
month = "November",
year = "1987",
pages = "1005-1011"
}

@article{MccWos87:sage,
author = "W. McCune and L. Wos",
title = "A Case Study in Automated Theorem Proving: Finding Sages in Combinatory Logic",
journal = "J. Automated Reasoning",
volume = "3",
number = "1",
year = "1987",
pages = "91-107"
}

@article{Min87:opsim,
author = "M. Minkoff",
title = "Approaches to Optimization/Simulation Problems",
journal = "Applied Numerical Mathematics",
volume = "3",
year = "1987",
pages = "453-466"
}


@article{NagLanMinLea87:potential,
author = "Z. Nagy and R. H. Land and M. Minkoff and G. K. Leaf",
title = "Applicability of the Potential Step Relaxation Technique in the Nonlinear Current Density-Overpotential Range",
journal = "Electrochimica ACTA",
volume = "32",
year = "1987",
pages = "1777-1782"
}

@article{Ste87:jar,
author = "R. Stevens",
title = "Some Experiments in Nonassociative Ring Theory with an Automated Theorem Prover",
journal = "J. Automated REasoning",
volume = "3",
number = "2",
month = "June",
year = "1987",
pages = " 211-221"
}

@book{Wos87:33,
author = "L. Wos",
title = "Automated Reasoning: 33 Basic Research Problems",
publisher = "Prentice-Hall",
address = "Englewood Cliffs, N.J.",
year = "1987"
}

@article{Wos87:sos,
author = "L. Wos",
title = "The Problem of Extending the Set of Support Strategy",
journal = "J. Automated Reasoning",
volume = "3",
year = "1987",
pages = "319-328"
}

@article{Wos87:infrule,
author = "L. Wos",
title = "The Problem of Choosing the Inference Rule to Employ",
journal = "J. Automated Reasoning",
volume = "3",
number = "2",
month = "June",
year = "1987",
pages = "201-209"
}

@article{Wos87:redundant,
author = "L. Wos",
title = "Some Obstacles to the Automation of Reasoning, and the Problem of Redundant Information",
journal = "J. Automated Reasoning",
volume = "3",
issue = "1",
year = "1987",
pages = "81-90"
}

@inproceedings{Wos87:abacussel,
author = "L. Wos",
title = "Automated Reasoning",
booktitle = "A Computer Science Reader: Selections from Abacus",
editor = "E. A. Weiss",
publisher = "Springer-Verlag",
address = "New York",
year = "1987",
pages = "110-137"
}

@inproceedings{WosMcc86:lncs,
author = "L. Wos and W. McCune",
title = "Negative Paramodulation",
booktitle = "Proc. of the 8th Conference on Automated Deduction, Lecture Notes in Computer Science 230",
editor = "J. H. Siekmann",
publisher = "Springer-Verlag",
address = "New York",
year = "1986",
pages = "229-239"
}

@incollection{WosVer87:ency,
author = "L. Wos and R. Veroff",
title = "Resolution, Binary: Its Nature, History, and Impact on the Use of Computers",
booktitle = "Encyclopedia of Artificial Intelligence",
publisher = "John Wiley and Sons",
year = "1987",
pages = "892-902",
}

@techreport{CarDanOv88:orparallel,
author = "M. Carlsson and K. Danhof and R. Overbeek",
title = "Practical Issues Relating to the Internal Database Predicates in an OR-Paralell Prolog: Extensions and Useful Hacks",
institution = "Argonne National Laboratory",
number = "ANL-88-11",
month = "February",
year = "1988"
}

@techreport{CowHagIle87:toolpack,
author = "W. R. Cowell and S. J. Hague and R. M. Iles",
title = "Toolpack/1 Release 2: Introductory Guide",
number = "ANL-86-43",
month = "March",
year = "1987"
}

@techreport{CowGar87:toolpack1,
author = "W. R. Cowell and Burton S. Garbow",
title = "Users' Guide to Toolpack/1 (Release 2) in a Unix Environment",
number = "ANL-87-12",
month = "March",
year = "1987"
}

@techreport{DriBoy:beyond,
author = "K. W. Dritz and J. M. Boyle",
title = "Beyond `Speedup': Performance Analysis of Parallel Programs",
number = "ANL-87-7",
month = "February",
year = "1987"
}

@techreport{Gab87:progspec,
author = "J. R. Gabriel",
title = "An Algebraic Theory of Program Specification and Correctness Using Symmetry Operations",
number = "ANL-87-10",
month = "March",
year = "1987"
}

@techreport{GabCha86:deriving,
author = "J. R. Gabriel and R. O. Chapman",
title = "Deriving Properties of Systems from Properties of Parts and Lists of Connections",
number = "ANL-86-51",
month = "December",
year = "1986"
}

@techreport{GabChaKlj87:theory,
author = "J. R. Gabriel and R. O. Chapman and J. L. Kljaich",
title = "A Theory of Program Correctness, and Algorithms for Proofs",
number = "ANL-87-4",
month = "January",
year = "1987"
}

@techreport{GliOve87:state,
author = "B. Glickfeld and R. Overbeek",
title = "An Approach to Implementing State Space Searches on Heterogeneous Systems of Multiprocessors",
number = "ANL-88-36",
month = "September",
year = "1987"
}

@techreport{HeaDalMin86:stirling,
author = "T. J. Heames and J. G. Daley and M. Minkoff",
title = "SEAMOPT: A Stirling Engine Performance Optimization Code",
number = "ANL-CT-86-2",
month = "May",
year = "1986"
}

@techreport{MCS86:fiveyr,
title = "Mathematics and Computer Science Division Five-Year Plan",
number = "ANL-86-47",
month = "November",
year = "1986"
}

@techreport{Hem87:sup,
author = "R. Hempel",
title = "The SUPRENUM Communications Subroutine Library for Grid-oriented Problems",
number = "ANL-87-23",
month = "June",
year = "1987"
}

@techreport{Kal86:itp,
author = "J. A. Kalman",
title = "An ITP Workbook",
number = "ANL-86-56",
month = "December",
year = "1986"
}

@techreport{Kwo87:hermit,
author = "Man Kam Kwong",
title = "REDUCE-aided Study of a Problem in Hermitian Matrix Theory",
number = "ANL-87-31",
month = "July",
year = " 1987"
}

@techreport{Pie86:research,
author = "G. W. Pieper",
title = "Research in Mathematics and Computer Science",
number = "ANL-86-35",
month = "July",
year = "1986"
}

@techreport{Tan88:generic,
author = "P. T. P. Tang",
title = "Portable Implementation of a Generic Exponential Function",
number = "ANL-88-3",
year = "1988"
}

@inproceedings{ThoLeaVan87:buoy,
author = "C. P. Thompson and G. K. Leaf and S. P. Vanka",
title = "Application of a Multigrid Method to a Buoyancy-induced Flow Problem",
book = "Multigrid Methods - Theory, Applications, and Supercomputing",
editor = "S. F. McCormick",
publisher = "Marcel Dekker, Inc.",
address = "New York",
pages = "605-629",
note = "also ANL-87-46",
year = "1988",
}

@article{BayGotMatMin87:pseudospec,
author = "A. Bayliss and D. Gottlieb and B. J. Matkowsky and M. Minkoff",
title = "An Adaptive Pseudo-Spectral Method for Reaction Diffusion Problems",
journal = "J. Comp. Phys."
volume = "81",
issue = "2",
year = "1989",
note = "also MCS-TM-100",
}

@techreprt{MayRad:lapack1289,
author = "P. Mayes and G. Radicati",
title = "LAPACK Working Note No. 12 -- Banded Cholesky Factorization Using Level 3 BLAS",
number = "ANL/MCS-TM-134",
month = "August",
year = "1989"}
@techreport{DeiDemLiTom89:bidiag,
author = "P. Deift and J. Demmel and L.-C. Li and C. Tomei",
title = "LAPACK Working Note No. 11 - The Bidiagonal Singular Value Decomposition and Hamiltonian Mechanics",
number = "MCS-TM-133",
institution = "Argonne National Laboratory",
year = "1989"}
@techreport{ByrNoc87:quasi,
author = "R. H. Byrd and J. Nocedal",
title = "A Tool for the Analysis of quasi-Newton Methods with Application to Unconstrained Minimization",
number = "MCS-TM-103",
month = "December",
year = "1987",
}

@inproceedings{Mor:numsol87,
title = "Numerical Solution of Bound Constrained Problems",
author = "J. J. More",
note = "also MCS-TM-96",
book = "Proc. 1987 International Conf. on Computational Techniques and Applications",
editor = "J. Noye and C. Fletcher",
year = "1987"}
@techreport{Bur87:exact,
author = "J. V. Burke",
title = "An Exact Penalization Viewpoint of Constrained Optimization",
number = "MCS-TM-95",
month = "August",
year = "1987",
}

@techreport{ButLusMccOve86:logic,
author = "R. Butler and E. Lusk and W. McCune and R. Overbeek",
title = "Parallel Logic Programming for Numeric Applications",
number = "MCS-TM-72",
month = "April",
year = "1986",
}

@techreport{Wos86:basic,
author = "L. wos",
title = "Automated Reasoning: Basic Research Problems",
number = "MCS-TM-67",
year = "1986"}
@techreport{ButLusMccOve86:paths,
author = "R. Butler and E. Lusk and W. McCune and R. Overbeek",
title = "Paths to High-Performance Automated Theorem Proving",
number = "MCS-TM-71",
year = "1986",
}

@techreport{ChiHedScrSor87:domain,
author = "R. Chin and G. Hedstrom and J. Scroggs and D. Sorensen",
title = "Parallel Computation of a Domain Decomposition Method",
number = "MCS-TM-91",
month = "April",
year = "1987",
}

@techreport{Cod86:elefunt,
author = "W. J. Cody",
title = "ELEFUNT Test Results under FX/FORTRAN Version 1.0 on the Alliant FX/8",
number = "MCS-TM-78",
month = "July",
year = "1986",
}

@techreport{Cod86:eleftest,
author = "W. J. Cody",
title = "ELEFUNT Test Results under NS320000 FORTRAN V2.5.3 on the Sequent Balance",
number = "MCS-TM-80",
month = "September",
yeaer = "1986",
}

@techreport{Cow86:shell,
author = "W. R. Cowell",
title = "UNIX Shell Scripts to Invoke a Set of Toolpack/1 Tools",
number = "MCS-TM-77",
month = "July",
year = "1986",
}

@techreport{DemDonDucGreeHammSor87:prosp,
author = "J. Demmel and J. Dongarra and J. DuCroz and A. Greenbaum and S. Hammarling and D. Sorensen",
title = "Prospectus for the Development of a Linear Algebra Library for High-Performance Computers",
number = "MCS-TM-97",
month = "September",
year = "1987",
}

@techreport{DonHamSor87:lapack2,
author = "J. J. Dongarra and S. Hammarling and D. C. Sorensen",
title = "LAPACK Working Note No. 2: Block Reduction of Matrices to Condesned Forms for Eigenvalue Computations", , CRAY X-MP-4",
month = "September",
year = "1987",
number = "MCS-TM-99",
institution = "Argonne National Laboratory"}
@techreport{DemDucHamSor88:svd,
author = "J. Demmel and J. Du Croz and S. Hammarling and D. Sorensen",
title = "LAPACK Working Note \#4: Guidelines for the Design of Symmetric Eigenroutines, SVD, and Iterative Refinement and Condition Estimation for Linear Systems",
number = "MCS-TM-111",
month = "February ",
year = "1988",
}

@techreport{DemKah88:relative,
author = "J. Demmel and W. Kahan",
title = "LAPACK Working Note \#3: Computing Small Singular Values of Bidiagonal Matrices with Guaranteed High Relative Accuracy",
number = "MCS-TM-110",
month = "February",
year = "1988",
}

@inproceedings{DisLusOve86:experor,
author = "T. Disz and E. Lusk and R. Overbeek",
title = "Experiments with OR-Parallel Logic Programs",
book = "Proc. 4th International Conf. on Logic Programming",
note = "also "MCS-TM-87",
year = "1987",
}

@techreport{Don88:performcomputer,
author = "J. J. Dongarra",
title = "Performance of Various Computers Using Standard Linear Equations Software in a Fortran Environment",
number = "MCS-TM-23",
month = "January",
year = "1988",
}

@techreport{Don89:level3,
author = "J. J. Dongarra",
title = "Workshop on the Level 3 BLAS",
number = "MCS-TM-89",
month = "March",
year = "1987",
}

@techreport{DonDucDufHam87:set,
author = "J. J. Dongarra and J. Du Croz and I. Duff and S. Hammarling",
title = "A Proposal for a Set of Level 3 Basic Linear Algebra Subprograms",
number = "MCS-TM-88",
month = "April",
year = "1987",
}

@techreport{DonDucHamHan87:blasmod,
author = "J. J. Dongarra and J. Du Croz and S. Hammarling and R. J. Hanson",
title = "An Extended Set of Fortran Basic Linear Algebra Subprograms: Model Implementation and Test Programs",
number = "MCS-TM-81",
month = "January",
year = "1987",
}

@article{DonHamSor87:note2,
author = "J. J. Dongarra and S. Hammarling and D. Sorensen",
title = "Block Reduction of Matrices to Condensed Forms for Eigenvalue Computations",
journal = "Journal of Computational and Applied Mathematics",
volume = "27",
pages = "215-227",
year = "1989",
}

@article{Gri88:converge,
author = "A. Griewank",
title = "The Global Convergence of Partitioned BFGS on Problems with Convex Decompositions and Lipschitzian Gradients",
journal = "Math. Programming",
volume = "50",
pages = "141-175",
note = "also MCS-TM-105",
year = "1991",
}

@techreport{Mic:workload91,
author = "J. Michalakes",
title = "Analysis of Workload and Load Balancing Issues in the NCAR Community Climate Model",
number = "ANL/MCS-TM-144",
month = "January",
year = "1991"}
@techreport{Kap:ed91,
author = "H. G. Kaper",
number = "ANL/MCS-TM-151",
month = "June",
year = "1991",
title = "Educational Opportunities in Computational Science at Argonne National Laboratory"}
@techreport{Kap:mathmodels91,
author = "H. G. Kaper",
number = "ANL/MCS-TM-146",
month = "March",
year = "1991",
title = "Mathematical Models of Superconductivity"}
@techreport{BaeHagJoeOve91:155,
author = "A. Baehr and R. Hagstrom and D. Joerg and R. Overbeek",
title = "Querying Genomic Databases",
number = "ANL/MCS-TM-155",
year = "1991"}
@techreport{JesSor87:svd,
author = "E. R. Jessup and D. C. Sorensen",
title = "A Parallel Algorithm for Computing the Singular Value Decomposition of a Matrix",
number = "MCS-TM-102",
month = "December",
year = "1987",
}

@techreport{JorBay87:2d,
author = "K. E. Jordan and A. Bayliss",
title = "A Multigrid Preconditioner Applied to a Two-Dimensional Convection-Diffusion Problem",
number = "MCS-TM-101",
month = "November",
year = "1987",
}

@techreport{LiuNoc87:conic,
author = "D. C. Liu and J. Nocedal",
title = "Algorithms for Conic Termination for Linear Optimization",
number = "MCS-TM-104",
month = "December",
year = "1987"
}

@article{Mcc88:unskol,
author = "W. W. McCune",
title = "Un-Skolemizing Clause Sets",
journal = "Information Processing Letters",
volume = "29",
year = "1988",
pages = :257-263"}
@article{MccHen89:data,
author = "W. W. McCune and L .J. Henschen",
title = "Maintaining State Constraints in Relational Databases: A Proof Theoretic Basis",
journal = "JACM",
year = "1989",
volume = "36",
number = "1",
pages = "46-68"}
@techreport{ButButFosKarOlsPflPriTue89:align,
author = "R. Butler and T. Butler and I. Foster and N. Karonis and R. Olson and N. Pfluger and M. Price and S. Tuecke",
title = "Generating Alignments of Genetic Sequences",
numer = "ANL/MCS-TM-132",
year = "1989"}
@article{Mor89:constrained,
author = "J. J. More'",
title = "Numerical Solution of Bound Constrained Problems",
journal = "SIAM J. Optimization",
volume = "1",
issue = "1",
pages = "93-111,
year = "1989",
}

@techreport{Mor88:projgrad,
author = "J. J. More'",
title = "Trust Regions and Projected Gradients",
number = "MCS-TM-107",
month = "January",
year = "1988",
}

@techreport{ScoBoyBag87:distrib,
author = "L. R. Scott and J. M. Boyle and B. Bagheri",
title = "Distributed Data Structures for Scientific Computation",
number = "291",
institution = "Institute for Mathematics and Its Applications",
address = "Minneapolis",
month = "January",
year = "1987",
}

@article{Atk88,
author = "F. V. Atkinson",
title = "On the Order of Magnitude of Titchmarsh-Weyl Functions",
journal = "Diff. and Integral Equations",
volume = "1",
issue = "1",
year = "1988",
pages = "79-96"}
@article{AtkEveZet88,
author = "F. V. Atkinson and W. N. Everitt and A. Zettl",
title = "Regularization of a Sturm-Liouville Problem with an Interior Singularity Using Quasi-Derivatives",
journal = "Diff. and Integral Equations",
volume = "1",
year = "1988",
pages = "213-221"}
@article{BayGotMatMin89,
autohr = "A. Bayliss and D. Gottlieb and B. J. Matkowsky and M. Minkoff",
title = "An Adaptive Pseudo-Spectral Method for Reaction Diffusion Problems",
journal = "J. Comp. Physics",
volume = "81",
issue = "2",
year = "1989",
pages = "421-443"}
@article{BayMatMin88,
author = "A. Bayliss and B. J. Matkowsky and M. Minkoff",
title = "Adaptive Pseudo-Spectral Computation of Cellular Flames Stabilized by a Point Source",
journal = "Applied Mathematics Letters",
volume = "1",
year = "1988",
pages = "19-24"}
@article{BayMatMin,
author = "A. Bayliss and B. Matkowsky and M. Minkoff",
title = "Cascading Cellular Flames",
journal = "SIAM J. on Applied Math.",
year = "1989"
volume = "49",
issue = "5",
pages = "1421-1432"}
@article{BayMatMinperiod89,
author = "A. Bayliss and B. J. Matkowsky and M. Minkoff",
title = "Period Doubling Gained, Period Doubling Lost",
journal = "SIAM J. on Applied Math.",
volume = "49",
year = "1989",
pages = "1047-1063"}
@article{Bisadap89,
author = "C. H. Bischof",
title = "Adaptive Blocking in the QR Factorization",
journal = "The Journal of Supercomputing",
volume = "3",
issue = "3",
year = "1989",
pages = "193-208"}
@inproceedings{Boyapproach89,
author = "J. M. Boyle",
title = "Abstract Programming and Program Transformation--An Approach to Reusing Programs",
booktitle = "Software Reusability",
eidtor = "T. J. Biggerstaff and A. Perlis",
publisher = "Addison-Wesley",
year = "1989",
pages = "361--413"}
@article{BreDonSor6,
author = "O. Brewer and J. Dongarra and D. Sorensen",
title = "LAPACK Working Note No. 6: Tools to Aid in the Analysis of Memory Access Patterns for Fortran Programs",
journal = "Parallel Computing",
volume = "9",
year = "1989",
pages = "25-35"}
@article{BurMor88,
autohr = "J. V. Burke and J. J. More",
title = "On the Identification of Active Constraints",
journal = {SIAM J. Numer. Anal.},
volume = "25",
issue = "5",
month = "October",
year = "1988",
pages = "1197-1211"}
@inproceedings{ButlButFosKarOlsPflPriTue89,
author = "R. Butler and T. Butler and I. Foster and N. Karonis and R. Olson and N. Pfluger and M. Price and S. Tuecke",
title = "Aligning Genetic Sequences",
booktitle = "Strand: New Concepts in Parallel Programming",
editor = "I. Foster and S. Taylor",
publisher = "Prentice-Hall",
address = " Englewood Cliffs",
year = "1989",
pages = "253-271"
}

@article{BayLeamat92:pusating,
author = "A. Bayliss and