Artifact e1c85b7f65ccda76e0b692e3380f0914665eca5d6f489b17b9cd72d97576885c:
- Executable file
r36/doc/SCOPE.BIB
— part of check-in
[f2fda60abd]
at
2011-09-02 18:13:33
on branch master
— Some historical releases purely for archival purposes
git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 11058) [annotate] [blame] [check-ins using] [more...]
@BOOK{Gates:91, AUTHOR = "B.L. Gates", TITLE = "{GENTRAN} User's Manual, {REDUCE} Version", ADDRESS = "{Santa Monica, Cal.}", PUBLISHER = "Rand Corporation", YEAR = 1991} @BOOK{Hearn:95, AUTHOR = "A.C. Hearn", TITLE = "{REDUCE} User's Manual, Version 3.6", ADDRESS = "{Santa Monica, Cal.}", PUBLISHER = "{Rand Corporation, Publication CP78(Rev. 7/95)}", YEAR = 1995} @BOOK{Molenkamp:94, AUTHOR = "J.H.J. Molenkamp and J.A. van Hulzen and V.V. Goldman", TITLE = "An arbitrary precision real interval arithmetic package in {REDUCE}, {Memorandum INF-94-14}", ADDRESS = "{Enschede, The Netherlands}", PUBLISHER = "{University of Twente}", YEAR = 1994} @ARTICLE{Gates:85, AUTHOR = "B. L. Gates", TITLE = "{GENTRAN}: An automatic code generation facility for {REDUCE}", JOURNAL = "{ACM SIGSAM} Bulletin", VOLUME = 19, NUMBER = 3, PAGES = "24-42", YEAR = 1985} @INPROCEEDINGS{Gates:84, AUTHOR = "B. L. Gates and P. S. Wang", TITLE = "{LISP}-based {RATFOR} code generator", EDITOR = "V. E. Golden", PAGES = "319-329", BOOKTITLE = "1984 MACSYMA User's Conference", ADDRESS = "Schenectady, N.Y.", ORGANIZATION = "Gen. El.", YEAR = 1984} @INPROCEEDINGS{Gates:86, AUTHOR = "B. L. Gates", TITLE = "A Numerical Code Generation Facility for {REDUCE}", EDITOR = "B.W. Char", PAGES = "94-99", BOOKTITLE = "Proceedings {SYMSAC} '86", ADDRESS = "New York", PUBLISHER = "{ACM} Press", YEAR = 1986} @INPROCEEDINGS{Bradford:86, AUTHOR = "R.J. Bradford and A.C. Hearn and J.A. Padget and E. Schr{\"{u}}fer", TITLE = "Enlarging the {REDUCE} Domain of Computation", EDITOR = "B.W. Char", PAGES = "100-106", BOOKTITLE = "Proceedings {SYMSAC} '86", ADDRESS = "New York", PUBLISHER = "{ACM} Press", YEAR = 1986} @INPROCEEDINGS{vanHulzen:89, AUTHOR = "J.A. van Hulzen and B.J.A. Hulshof and B. L. Gates and M.C. van Heerwaarden", TITLE = "A Code Optimization package for {REDUCE}", EDITOR = "G.H. Gonnet", PAGES = "163-170", BOOKTITLE = "Proceedings {ISSAC} '89", ADDRESS = "New York", PUBLISHER = "{ACM} Press", YEAR = 1989} @INPROCEEDINGS{Borst:94, AUTHOR = "W.N. Borst and V.V. Goldman and J.A. van Hulzen", TITLE = "{GENTRAN90}: A {REDUCE} package for the generation of {FORTRAN} 90 code", EDITOR = "J. von zur Gathen and M. Giesbrecht", PAGES ="45-51", BOOKTITLE = "Proceedings {ISSAC} '94", ADDRESS = "New York", PUBLISHER = "{ACM} Press", YEAR = 1994} @INPROCEEDINGS{Dyer:94, AUTHOR = "Ch. C. Dyer", TITLE = "An application of symbolic computation in the physical sciences", EDITOR = "J. von zur Gathen and M. Giesbrecht", PAGES ="181-186", BOOKTITLE = "Proceedings {ISSAC} '94", ADDRESS = "New York", PUBLISHER = "{ACM} Press", YEAR = 1994} @INPROCEEDINGS{Ganzha:94, AUTHOR = "V.G. Ganzha and E.V. Vorozhtsov and J. Boers and J.A. van Hulzen", TITLE = "Symbolic-Numeric Stability Investigations of {Jameson}'s Schemes for Thin-layer {Navier-Stokes} Equations", EDITOR = "J. von zur Gathen and M. Giesbrecht", PAGES = "242-249", BOOKTITLE = "Proceedings {ISSAC} '94", ADDRESS = "New York", PUBLISHER = "{ACM} Press", YEAR = 1994} @INPROCEEDINGS{Ganzha:92, AUTHOR = "V.G. Ganzha and E.V. Vorozhtsov and J.A. van Hulzen", TITLE = "A New Symbolic-Numeric Approach to Stability Analysis of Difference Schemes", EDITOR = "P.S. Wang", PAGES = "9-15", BOOKTITLE = "Proceedings {ISSAC} '92", ADDRESS = "New York", PUBLISHER = "{ACM} Press", YEAR = 1992} @INPROCEEDINGS{Goldman:95, AUTHOR = "V.V. Goldman and J.A. van Hulzen and A.E. Mynett and A.S. Posthuma and H.J. van Zuylen", TITLE = "The application of computer algebra for the discretization and coding of the {Navier-Stokes} equations", EDITOR = "A.M. Cohen and S.M. Verduyn Lunel", BOOKTITLE = "{Computer Algebra in Industry, Problem Solving in Practice, Proceedings of the 1992 SCAFI Seminar}", ADDRESS = "Chichester", PUBLISHER = "John Wiley \& Sons", YEAR = "1995 (to appear)"} @INPROCEEDINGS{vanHulzen:95, AUTHOR = "J.A. van Hulzen", TITLE = "Towards Automated Program Generation in Computer Algebra Environments", EDITOR = "A.M. Cohen and S.M. Verduyn Lunel", BOOKTITLE = "{Computer Algebra in Industry, Problem Solving in Practice, Proceedings of the 1992 SCAFI Seminar}", ADDRESS = "Chichester", PUBLISHER = "John Wiley \& Sons", YEAR = "1995 (to appear)"} @INPROCEEDINGS{Berger:92, AUTHOR = "F.C. Berger and V.V. Goldman and M.C. van Heerwaarden and J.A. van Hulzen", TITLE = "Automatic generation of numerical code for {Jacobians and Hessians}", EDITOR = "P.W. Gaffney and E.N. Houstis", PAGES = "309-320", BOOKTITLE = "Programming Environments for High-Level Scientific Problem Solving", ADDRESS = "Amsterdam", PUBLISHER = "North-Holland", YEAR = 1992} @INPROCEEDINGS{Goldman:91, AUTHOR = "V.V. Goldman and J.H.J. Molenkamp and J.A. van Hulzen", TITLE = "Efficient Numerical Program Generation and Computer Algebra Environments", EDITOR = "A. Griewank and G.E. Corliss", PAGES = "74-84", BOOKTITLE = "{Automatic Differentiation of Algorithms: Theory, Implementation, and Application}", ADDRESS = "Philadelphia", PUBLISHER = "{SIAM}", YEAR = 1991} @INPROCEEDINGS{Hearn:85, AUTHOR = "Anthony C. Hearn", TITLE = "Structure: The Key to Improved Algebraic Computation", EDITOR = "N. Inada and T. Soma", YEAR = 1985, BOOKTITLE = "Proc. of the Second {RIKEN} International Symposium on Symbolic and Algebraic Computation by Computers", PUBLISHER = "World Scientific", ADDRESS = "Singapore", PAGES = "215-230"} @INPROCEEDINGS{Hearn:86, AUTHOR = "Anthony C. Hearn", TITLE = "Optimal Evaluation of Algebraic Expressions", EDITOR = "J. Calmet", BOOKTITLE = "Proc. of {AAECC}-3, LNCS", PUBLISHER = "Springer Verlag", SERIES = "Springer {LNCS}", ADDRESS = "Heidelberg", YEAR = 1986, VOLUME = 229, PAGES = "392-403"} @ARTICLE{Knuth:71, AUTHOR = "D. E. Knuth", TITLE = "An empirical study of Fortran programs", JOURNAL = "Software Practice and Experience", VOLUME = 1, PAGES = "105-133", YEAR = 1971} @BOOK{Aho:86, AUTHOR = "A. V. Aho and R. Sethi and J. D. Ullman", TITLE = "Compiler Principles, Techniques and Tools", ADDRESS = "Reading, Mass", PUBLISHER = "Addison-Wesley", YEAR = 1986} @ARTICLE{Gonzales, AUTHOR = "T. Gonzales and J. Ja' Ja'", TITLE = "Evaluation of arithmetic expressions with algebraic identities", JOURNAL = "{SIAM} J. Comp", YEAR = 1982, VOLUME = 11, NUMBER = 4, PAGES = "633-662"} @ARTICLE{Johnson:79, AUTHOR = "B. B. Johnson and W. Miller and B. Minnihan and C. Wrathall", TITLE = "Reducibility among floating-point graphs", JOURNAL = "Journal of the {ACM}", VOLUME = 26, NUMBER = 4, PAGES = "739-760", YEAR = 1979} @ARTICLE{Smit:81, AUTHOR = "J. Smit and J.A. van Hulzen and B.J.A. Hulshof", TITLE = "{NETFORM} and code optimizer manual", JOURNAL = "{ACM SIGSAM} Bulletin", VOLUME =15, NUMBER = 4, PAGES = "23-32", YEAR = 1981} @INPROCEEDINGS{Smit:82, AUTHOR = "J. Smit and J.A. van Hulzen", TITLE = "Symbolic-numeric methods in microwave technology", BOOKTITLE = "Proceedings {EUROCAM} '82", EDITOR = "J. Calmet", PUBLISHER = "Springer Verlag", SERIES = "Springer {LNCS}", VOLUME = 144, PAGES = "281-288", ADDRESS = "Heidelberg", YEAR = 1982} @INPROCEEDINGS{vanHulzen:83, AUTHOR = "J.A. van Hulzen", TITLE = "Code optimization of multivariate polynomial schemes: A pragmatic approach", BOOKTITLE = "Proceedings {EUROCAL} '83", EDITOR = "J.A. van Hulzen", SERIES = "Springer {LNCS}", VOLUME = 162, PAGES = "286-300", ADDRESS = "Heidelberg", PUBLISHER = "Springer Verlag", YEAR = 1983} @INPROCEEDINGS{Wang:84, AUTHOR = "P.S. Wang and T.Y.P. Chang and J.A. van Hulzen", TITLE = "Code generation and optimization for finite element analysis", BOOKTITLE = "Proceedings {EUROSAM} '84", EDITOR = "J.P. Fitch", SERIES = "Springer {LNCS}", VOLUME = 174, PAGES = "237-247", ADDRESS = "Heidelberg", PUBLISHER = "Springer Verlag", YEAR = 1984} @INPROCEEDINGS{Hulshof, AUTHOR = "B.J.A. Hulshof and J.A. van Hulzen", TITLE = "Automatic error cumulation control", BOOKTITLE = "Proceedings {EUROSAM} '84", EDITOR = "J.P. Fitch", SERIES = "Springer {LNCS}", VOLUME = 174, PAGES = "260-271", ADDRESS = "Heidelberg", PUBLISHER = "Springer Verlag", YEAR = 1984} @INPROCEEDINGS{Heuvel:89, AUTHOR = "P. van den Heuvel and J.A. van Hulzen and V.V. Goldman", TITLE = "Automatic generation of {FORTRAN}-coded {Jacobians and Hessians}", BOOKTITLE = "Proceedings {EUROCAL} '87", EDITOR = "J.H. Davenport", SERIES = "Springer {LNCS}", VOLUME = 378, PAGES = "120-131", ADDRESS = "Heidelberg", PUBLISHER = "Springer Verlag", YEAR = 1989} @INPROCEEDINGS{Goldman:89, AUTHOR = "V.V. Goldman and J.A. van Hulzen", TITLE = "Automatic code vectorization of arithmetic expressions by bottom-up structure recognition", BOOKTITLE = "Computer Algebra and Parallelism", EDITOR = "J. Della Dora and J.P. Fitch", PAGES = "119-132", ADDRESS = "London", PUBLISHER = "Academic Press", YEAR = 1989} @INPROCEEDINGS{vanHulzen:81, AUTHOR = "J.A. van Hulzen", TITLE = "Breuer's grow factor algorithm in computer algebra", BOOKTITLE = "Proceedings {SYMSAC} '81", EDITOR = "P.S. Wang", PAGES = "100-104", ADDRESS = "New York", PUBLISHER = "{ACM} Press", YEAR = 1981} @INPROCEEDINGS{Molenkamp:91, AUTHOR = "J.H.J. Molenkamp and V.V. Goldman and J.A. van Hulzen", TITLE = "An improved approach to automatic error cumulation control", BOOKTITLE = "Proceedings {ISSAC} '91", EDITOR = "S.M. Watt", PAGES = "414-418", ADDRESS = "New York", PUBLISHER = "{ACM} Press", YEAR = 1991} @ARTICLE{Breuer:69, AUTHOR = "M.A. Breuer", TITLE = "Generation of optimal code for expressions via factorization", JOURNAL = "Communications of the {ACM}", VOLUME = 12, NUMBER = 6, PAGES = "330-340", YEAR = 1969} @BOOK{Knuth:80, AUTHOR = "D.E. Knuth", TITLE = "The art of computer programming", VOLUME = 2, EDITION = "Second", ADDRESS = "Reading, Mass", PUBLISHER = "Addison-Wesley", YEAR = 1980} @INPROCEEDINGS{vanHulzen:90, AUTHOR = "J.A. van Hulzen", TITLE = "Current trends in source-code optimization", EDITOR = "D.V. Shirkov and V.A. Rostovtsev and V.P. Gerdt", BOOKTITLE = "Proceedings {JINR IV} Conference on Computer Algebra and its Applications in Theoretical Physics", ADDRESS = "Dubna", MONTH = "May", YEAR = 1990, NOTE = "Also available as Memorandum {\bf INF-90-41}, Department of Computer Science, University Twente"}