
Some of these chapters in books were fully refereed, while some
received no refereeing at all.
Corliss1976b:
George F. Corliss and Y. F. Chang,
Three and FiveTerm Convergence Tests,
in Proceedings of the Sixth Conference on Numerical Mathematics
and Computing (Winnipeg),
University of Manitoba, 1976, pp. 135153.
[ BibTex
]
Corliss1977c:
George F. Corliss,
Integrating ODE's along Paths on Riemann Surfaces,
in Proceedings of the Seventh Conference on Numerical Mathematics
and Computing (Winnipeg),
University of Manitoba, 1977, pp. 279296.
[ BibTex
]
Corliss1978a:
George F. Corliss, Y. F. Chang, John Fauss, and Manuel Prieto,
Convergence Analysis of Compound Taylor Series,
in Proceedings of the Eighth Manitoba Conference on Numerical Mathematics
and Computing (Winnipeg),
University of Manitoba, 1978, pp. 129152.
[ BibTex
]
Corliss1983b:
George F. Corliss,
Using ADA as a Design Language  Classroom Experience,
in Proceedings of the ACM 1983 Annual Conference,
ACM, New York, 1983, pp. 6671
[ BibTex
]
Corliss1984b:
George F. Corliss and Louis B. Rall,
Automatic Generation of Taylor Series in PascalSC: Basic Operations
and Applications to Differential Equations,
in Trans. of the First Army Conference on Applied Mathematics
and Computing (Washington, D.C., 1983),
ARO Rep. 841, U. S. Army Res. Office, Research Triangle Park, N.C.,
1984, PP. 177209.
Also appeared as MRC Technical Summary Report No.2497,
Mathematics Research Center, University of WisconsinMadison, 1983.
[ BibTex
]
Corliss1987d:
George F. Corliss,
Computing Narrow Inclusions for Definite Integrals,
in Computer Arithmetic: Scientific Computation and Programming Languages,
Edgar W. Kaucher, Ulrich Kulisch, and Christian Ullrich (eds.),
Teubner, Stuttgart, 1987, pp. 150169
[ BibTex
]
Corliss1987c:
George F. Corliss,
Performance of SelfValidating Adaptive Quadrature,
in Proceedings of the NATO Advanced Workshop on Numerical Integration:
Recent Developments, Software and Applications,
Patrick Keast and Graeme Fairweather (eds.),
Reidel, Boston, 1987, pp. 239259
[ BibTex
]
Brown1987e:
Ron Brown and George F. Corliss,
Optimal Acceleration of the Bifilar Hybrid Step Motor with a Chopper
Drive,
in Proceedings of the Sixteenth Annual Symposium on Incremental
Motion Control Systems and Devices (Champaign),
Incremental Motion Control Society, 1987, pp. 205209.
[ BibTex
]
Corliss1988a:
George F. Corliss,
Applications of Differentiation Arithmetic,
in Proceedings of the International Workshop on Reliability in Computing
 The Role of Interval Methods in Scientific Computing (Columbus, 1987),
Ramon E. Moore (ed.), Academic Press, New York, 1988, pp. 127148
[ BibTex
]
Corliss1990a:
George F. Corliss,
Industrial Applications of Interval Techniques,
in Computer Arithmetic and SelfValidating Numerical Methods,
Christian Ullrich (ed.),
Academic Press, New York, Notes and Reports in Mathematics in Science
and Engineering, No. 7, 1990, pp. 91113.
[ BibTex
]
Corliss1991a:
George F. Corliss and Louis B. Rall,
Computing the Range of Derivatives,
in Computer Arithmetic, Scientific Computation, and Mathematical
Modelling,
Edgar W. Kaucher, Svetoslav M. Markov, and Guenter Mayer (eds.),
Baltzer, Basel, IMACS Annals on Computing and Applied Mathematics,
No. 12, 1991, pp. 195212.
[ BibTex
]
Corliss1991b:
George F. Corliss,
Overloading Point and Interval Taylor Operators,
in Automatic Differentiation of Algorithms: Theory, Implementation,
and Application,
Andreas Griewank and George F. Corliss (eds.), SIAM, Philadelphia,
1991, pp. 139146.
[ BibTex
]
Corliss1991c:
George F. Corliss,
Automatic Differentiation Bibliography,
in Automatic Differentiation of Algorithms: Theory, Implementation,
and Application,
Andreas Griewank and George F. Corliss (eds.), SIAM, Philadelphia,
1991, pp. 331353.
[ autodiff.bib (Text, 278K)
 BibTex
]
^^^^^^^^
Automatic differentiation BibTex source file
Corliss1991d:
George F. Corliss,
Validated AntiDerivatives,
in Computer Aided Proofs in Analysis (Cincinnati, 1989),
Kenneth R. Meyer and Dieter S. Schmidt (eds.),
SpringerVerlag, New York, IMA Volumes in Mathematics and its Applications,
No. 28, 1991, pp. 9096.
[ BibTex
]
Corless1992c:
Robert M. Corless and George F. Corliss,
Rationale for Guaranteed ODE Defect Control,
in Computer Arithmetic and Enclosure Methods,
Lidiya Atanassova and Juergen Herzberger (ed.),
NorthHolland, Amsterdam, 1992, pp. 312.
Proceedings of SCAN 1991: International Symposium on Computer
Arithmetic and Scientific Computing (Oldenburg).
[ BibTex
 1992c.ps.gz (Preprint, 43K)
]
Corliss1992d:
George F. Corliss and Y. F. Chang,
GStop Facility in ATOMFT, a Taylor Series Ordinary Differential Equation
Solver,
in Computational Ordinary Differential Equations,
Simeon Ola Fatunla (ed.), University Press, Champaign, Ill.,
1992, pp. 3777.
[ BibTex
 1992d.ps.gz (Preprint, 56K)
]
Corliss1992e:
George F. Corliss, Christian Bischof, Andreas Griewank, Steven J. Wright,
and Thomas Robey,
Automatic Differentiation for PDEs  Unsaturated Flow Case Study,
in Advances in Computer Methods for Partial Differential Equations
 VII,
Robert Vichnevetshi, Doyle Knight, and Gerard Richter (eds.),
IMACS, New Brunswick, NJ, 1992, pp. 150156.
[ BibTex
]
Bischof1992f:
Christian H. Bischof, Alan Carle, George F. Corliss, and Andreas Griewank,
ADIFOR: Automatic Differentiation in a Source Translation Environment,
in Proceedings of the International Symposium on Symbolic and
Algebraic Computation,
Paul S. Wang (ed.), ACM Press, New York, 1992, pp. 294302.
Also appeared as Preprint MCSP2880192,
Mathematics and Computer Science Division,
Argonne National Laboratory, Argonne, Ill.,
January, 1992.
[ BibTex
]
Kirlinger1992g:
Gabriella Kirlinger and George F. Corliss,
On Implicit Taylor Series Methods for Stiff ODEs,
in Proceedings of SCAN 1991: International Symposium on Computer
Arithmetic and Scientific Computing (Oldenburg),
Juergen Herzberger (ed.), 1991.
[ BibTex
]
Corliss1995a:
George F. Corliss,
Guaranteed Error Bounds for Ordinary Differential Equations,
in Theory of Numerics in Ordinary and Partial Differential Equations,
M. Ainsworth, J. Levesley, W. A. Light, and M. Marletta (eds.),
Oxford University Press, 1995, pp. 175.
Lecture notes for a sequence of five lectures at the VIth SERC Analysis
Summer School, Leicester University, 2529 July, 1994.
[ BibTex
 1995a.ps.gz (Preprint, 225K)
 surv_ode.bib (Text, 47K)
 1995a.tar.gz (Materials, 992K)
]
Corliss1996b:
George F. Corliss and Robert Rihm,
Validating an A Priori Enclosure Using HighOrder Taylor Series,
in Scientific Computing and Validated Numerics: Proceedings of the
International Symposium on Scientific Computing, Computer Arithmetic
and Validated Numerics  SCAN '95,
Goetz Alefeld, Andreas Frommer, and Bruno Lang (eds.),
Akademie Verlag, Berlin, 1996, pp. 228238.
[ BibTex
 1996b.ps.gz (Preprint, 52K)
]
Rall1996d:
Louis B. Rall and George F. Corliss,
Introduction to Automatic Differentiation,
in Computational Differentiation: Techniques, Applications, and
Tools,
Martin Berz, Christian Bischof, George Corliss,
and Andreas Griewank, (eds.),
SIAM, Philadelphia, 1996, pp. 118.
Also Marquette University Department of Mathematics,
Statistics, and Computer Science Technical Report no. 434,
Milwaukee, Wisc., July, 1996.
[ BibTex
 1996d.ps.gz (Preprint, 73K)
]
Yang1996e:
Wenhong Yang and George F. Corliss,
Bibliography for Automatic Differentiation,
in Computational Differentiation: Techniques, Applications, and
Tools,
Martin Berz, Christian Bischof, George Corliss,
and Andreas Griewank (eds.),
SIAM, Philadelphia, 1996, pp. 393418.
Also Marquette University Department of Mathematics,
Statistics, and Computer Science Technical Report no. 435,
Milwaukee, Wisc., July, 1996.
[ compdif1.bib (Text, 298K)
 BibTex
 1996e.ps.gz (Preprint, 80K)
 compdif2.bib (Text, 213K)
]
^^^^^^^^
Automatic differentiation BibTex source file
Corliss1996f:
George F. Corliss,
Where Is Validated ODE Solving Going?
in Proceedings of the IMACSGAMM International Symposium on Numerical
Methods and Error Bounds,
Juergen Herzberger (ed.), Akademie Verlag, Berlin, 1996, pp. 4857.
[ BibTex
 1996f.ps.gz (Preprint, 36K)
]
Corliss1997a:
George F. Corliss,
Which Root Does the Bisection Algorithm Find?,
in Mathematical Modeling: Classroom Notes in Applied Mathematics,
Murray S. Klamkin (ed.), SIAM, Philadelphia, 1997, pp. 186188.
[ BibTex
]
Griewank1997b:
Andreas Griewank, George F. Corliss, Petra Henneberger, Gabriella Kirlinger,
Florian A. Potra, and Hans J. Stetter,
HighOrder Stiff ODE Solvers via Automatic Differentiation and
Rational Prediction
in Numerical Analysis and Its Applications,
Lecture Notes in Computer Science, No. 1196,
Springer, Berlin, 1997, pp. 114125.
[ BibTex
]
Chin1998a:
Paulina Chin, Robert M. Corless, and George F. Corliss,
Optimization Strategies for the FloatingPoint GCD,
in Proceedings of the 1998 International Symposium on Symbolic and
Algebraic Computation (ISAAC '98),
Oliver Gloor (ed.), ACM Press, New York, 1998, pp. 228235.
[ BibTex
 1998a.ps.gz (Preprint, 52K)
]
Corliss1999a:
George F. Corliss and R. Baker Kearfott,
Rigorous Global Search: Industrial Applications,
in Developments in Reliable Computing,
Tibor Csendes (ed.), Kluwer, Dordrecht, Netherlands, 1999, pp. 116.
[ BibTex
 1999a.ps.gz (36K)
]
Corliss1999b:
George F. Corliss,
SCAN '98 Collected Bibliography,
in Developments in Reliable Computing,
Tibor Csendes (ed.), Kluwer, Dordrecht, Netherlands, 1999, pp. 383402.
[ scan98.bib (Text, 188K)
 BibTex
 1999b.ps.gz (Reprint 53K)
]
^^^^^^^^
SCAN 98 BibTex source file
Corliss1999c:
George F. Corliss and Louis B. Rall,
Bounding Derivative Ranges,
in Encyclopedia of Optimization,
Panos M. Pardalos and C. A. Floudas (eds.), Kluwer, Dordrecht, to appear.
[ BibTex
 1999c.ps.gz (Preprint, 42K)
]
Rall1999d:
Louis B. Rall and George F. Corliss,
Automatic Differentiation: Point and Interval,
in Encyclopedia of Optimization,
Panos M. Pardalos and C. A. Floudas (eds.), Kluwer, Dordrecht, to appear.
[ BibTex
 1999d.ps.gz (Preprint, 59K)
]
Walters1999e:
James B. Walters and George F. Corliss,
Automatic Differentiation: Point and Interval Taylor Operators,
in Encyclopedia of Optimization,
Panos M. Pardalos and C. A. Floudas (eds.), Kluwer, Dordrecht, to appear.
[ BibTex
 1999e.ps.gz (Preprint, 41K)
]
Feng1999g:
Xin Feng, Richard Kelnhofer, and George F. Corliss,
A New Interval Bounding Algorithm for Parameter Estimation
from Bounded Error Data,
in Proceedings of IFAC '99: 14th World Congress of International
Federation of Automatic Control (Beijing, China, July 1999).
[ BibTex
]
Corliss2001a:
George F. Corliss,
Automatic Differentiation Bibliography,
in Automatic Differentiation 2000: From Simulation to Optimization,
George Corliss, Christèle Faure, Andreas Griewank, Laurent Hascoët,
and Uwe Naumann (eds.),
Springer, New York, 2001.
Copyright © 19952007 Dr. George F. Corliss,
Marquette University, EECE  All rights reserved. Send comments
to
(George.Corliss {at} Marquette.edu)
Last
modified:
January 12, 2008



