@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"}