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

