This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2001.10.2)  25 OCT 2001 14:35
**davenport.tex
(davenport.tex
LaTeX2e <2001/06/01>
Babel <v3.7h> and hyphenation patterns for american, french, german, ngerman, n
ohyphenation, loaded.
(llncs.cls
Document Class: llncs 1998/03/25 v2.3 
LaTeX document class for Lecture Notes in Computer Science
(/z_mnt/kludge/zlocal/md6/tex/teTeX1.0/share/texmf/tex/latex/base/article.cls
Document Class: article 2001/04/21 v1.4e Standard LaTeX document class
(/z_mnt/kludge/zlocal/md6/tex/teTeX1.0/share/texmf/tex/latex/base/size10.clo
File: size10.clo 2001/04/21 v1.4e Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
(/z_mnt/kludge/zlocal/md6/tex/teTeX1.0/share/texmf/tex/latex/tools/multicol.sty
Package: multicol 2000/07/10 v1.5z multicolumn formatting (FMi)
\c@tracingmulticols=\count87
\mult@box=\box26
\multicol@leftmargin=\dimen103
\c@unbalance=\count88
\c@collectmore=\count89
\doublecol@number=\count90
\multicoltolerance=\count91
\multicolpretolerance=\count92
\full@width=\dimen104
\page@free=\dimen105
\premulticols=\dimen106
\postmulticols=\dimen107
\multicolsep=\skip43
\multicolbaselineskip=\skip44
\partial@page=\box27
\last@line=\box28
\mult@rightbox=\box29
\mult@grightbox=\box30
\mult@gfirstbox=\box31
\mult@firstbox=\box32
\@tempa=\box33
\@tempa=\box34
\@tempa=\box35
\@tempa=\box36
\@tempa=\box37
\@tempa=\box38
\@tempa=\box39
\@tempa=\box40
\@tempa=\box41
\@tempa=\box42
\@tempa=\box43
\@tempa=\box44
\@tempa=\box45
\@tempa=\box46
\@tempa=\box47
\@tempa=\box48
\@tempa=\box49
\c@columnbadness=\count93
\c@finalcolumnbadness=\count94
\last@try=\dimen108
\multicolovershoot=\dimen109
\multicolundershoot=\dimen110
\mult@nat@firstbox=\box50
\colbreak@box=\box51
)
\c@chapter=\count95
LaTeX Font Info:    Redeclaring math symbol \Gamma on input line 193.
LaTeX Font Info:    Redeclaring math symbol \Delta on input line 194.
LaTeX Font Info:    Redeclaring math symbol \Theta on input line 195.
LaTeX Font Info:    Redeclaring math symbol \Lambda on input line 196.
LaTeX Font Info:    Redeclaring math symbol \Xi on input line 197.
LaTeX Font Info:    Redeclaring math symbol \Pi on input line 198.
LaTeX Font Info:    Redeclaring math symbol \Sigma on input line 199.
LaTeX Font Info:    Redeclaring math symbol \Upsilon on input line 200.
LaTeX Font Info:    Redeclaring math symbol \Phi on input line 201.
LaTeX Font Info:    Redeclaring math symbol \Psi on input line 202.
LaTeX Font Info:    Redeclaring math symbol \Omega on input line 203.
\tocchpnum=\dimen111
\tocsecnum=\dimen112
\tocsectotal=\dimen113
\tocsubsecnum=\dimen114
\tocsubsectotal=\dimen115
\tocsubsubsecnum=\dimen116
\tocsubsubsectotal=\dimen117
\tocparanum=\dimen118
\tocparatotal=\dimen119
\tocsubparanum=\dimen120
\@tempcntc=\count96
\c@@inst=\count97
\c@@auth=\count98
\c@auco=\count99
\instindent=\dimen121
\authrun=\box52
\authorrunning=\toks14
\tocauthor=\toks15
\titrun=\box53
\titlerunning=\toks16
\toctitle=\toks17
\c@theorem=\count100
\c@case=\count101
\c@conjecture=\count102
\c@corollary=\count103
\c@definition=\count104
\c@example=\count105
\c@exercise=\count106
\c@lemma=\count107
\c@note=\count108
\c@problem=\count109
\c@property=\count110
\c@proposition=\count111
\c@question=\count112
\c@solution=\count113
\c@remark=\count114
\headlineindent=\dimen122
)
(/z_mnt/kludge/zlocal/md6/tex/teTeX1.0/share/texmf/tex/latex/amsmath/amsmath.st
y
Package: amsmath 2000/07/18 v2.13 AMS math features
\@mathmargin=\skip45

For additional information on amsmath, use the `?' option.

(/z_mnt/kludge/zlocal/md6/tex/teTeX1.0/share/texmf/tex/latex/amsmath/amstext.st
y
Package: amstext 2000/06/29 v2.01

(/z_mnt/kludge/zlocal/md6/tex/teTeX1.0/share/texmf/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks18
\ex@=\dimen123
))
(/z_mnt/kludge/zlocal/md6/tex/teTeX1.0/share/texmf/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen124
)
(/z_mnt/kludge/zlocal/md6/tex/teTeX1.0/share/texmf/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count115
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count116
\leftroot@=\count117
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count118
\DOTSCASE@=\count119
LaTeX Info: Redefining \ldots on input line 379.
LaTeX Info: Redefining \dots on input line 382.
LaTeX Info: Redefining \cdots on input line 467.
\Mathstrutbox@=\box54
\strutbox@=\box55
\big@size=\dimen125
LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.


Package amsmath Warning: Unable to redefine math accent \vec.

\macc@depth=\count120
\c@MaxMatrixCols=\count121
\dotsspace@=\muskip10
\c@parentequation=\count122
\dspbrk@lvl=\count123
\tag@help=\toks19
\row@=\count124
\column@=\count125
\maxfields@=\count126
\andhelp@=\toks20
\eqnshift@=\dimen126
\alignsep@=\dimen127
\tagshift@=\dimen128
\tagwidth@=\dimen129
\totwidth@=\dimen130
\lineht@=\dimen131
\@envbody=\toks21
\multlinegap=\skip46
\multlinetaggap=\skip47
\mathdisplay@stack=\toks22
LaTeX Info: Redefining \[ on input line 2666.
LaTeX Info: Redefining \] on input line 2667.
)
\c@Proposition=\count127
\c@Definition=\count128
\c@Theorem=\count129
 (davenport.aux)
\openout1 = `davenport.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 26.
LaTeX Font Info:    ... okay on input line 26.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 26.
LaTeX Font Info:    ... okay on input line 26.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 26.
LaTeX Font Info:    ... okay on input line 26.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 26.
LaTeX Font Info:    ... okay on input line 26.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 26.
LaTeX Font Info:    ... okay on input line 26.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 26.
LaTeX Font Info:    ... okay on input line 26.
 [1

] [2] [3] [4]
Underfull \vbox (badness 1033) has occurred while \output is active []

 [5]
Overfull \hbox (12.20857pt too wide) in paragraph at lines 344--348
\OT1/cmr/m/n/10 un-de-fined choice has to be made, such as []\OT1/cmtt/m/n/10 <
OMS name="int" cd="calculus1"/>
 []

[6]
Underfull \hbox (badness 1688) in paragraph at lines 407--414
[]\OT1/cmr/m/n/9 Corless,R.M., Dav-en-port,J.H., Jef-frey,D.J., Litt,G. & Watt,
S.M., Rea-son-ing
 []


Underfull \hbox (badness 1342) in paragraph at lines 407--414
\OT1/cmr/m/n/9 Springer Lec-ture Notes in Ar-ti-fi-cial In-tel-li-gence Vol. 19
30, Springer-Verlag
 []


Underfull \hbox (badness 2418) in paragraph at lines 407--414
\OT1/cmr/m/n/9 2001, pp. 115--126. []\OT1/cmtt/m/n/9 http://www.apmaths.uwo.ca/
~djeffrey/offprints.html\OT1/cmr/m/n/9 .
 []


Overfull \hbox (7.73636pt too wide) in paragraph at lines 407--414
[]\OT1/cmtt/m/n/9 http://link.springer.de/link/service/series/0558/bibs/1930/19
300115.htm\OT1/cmr/m/n/9 . 
 []


Underfull \hbox (badness 1331) in paragraph at lines 469--481
\OT1/cmr/m/n/9 of the FTA project. Proc. Cal-cule-mus 2001 (ed. S.A. Lin-ton) p
p. 13-29.
 []

[7]
Underfull \hbox (badness 3635) in paragraph at lines 557--586
[]\OT1/cmr/m/n/9 The Open-Math Con-sor-tium. Open-Math. \OT1/cmtt/m/n/9 http://
www.nag.co.uk/projects/
 []

[8] (davenport.aux) ) 
Here is how much of TeX's memory you used:
 1240 strings out of 10886
 13278 string characters out of 71715
 69020 words of memory out of 263001
 4218 multiletter control sequences out of 10000+0
 12749 words of font info for 46 fonts, out of 400000 for 1000
 14 hyphenation exceptions out of 1000
 29i,10n,21p,242b,408s stack positions out of 300i,100n,500p,50000b,4000s

Output written on davenport.dvi (8 pages, 27448 bytes).