# User:Prime.mover/Source Work Progress

## Progress

I reckon it's about time I started on another item of displacement activity, that is: documenting how far I have got with the task of transferring the contents of the works on my bookshelf into pages on $\mathsf{Pr} \infty \mathsf{fWiki}$.

This will of course be an ongoing task.

In chronological order of works:

Redo from start

### 1933

Most of the examples are to be missed, as they are minimally instructive.

Building up common material, so starting from Next:

Revisit

### 1944

Starting on : Chapter $\text {II}$: Integration of Elementary Functions: $\S 7$ with Next:

### 1947

Note that there is considerable refactoring needed around the Combination Theorem for Limits of Functions.

### 1955

Going around again. Closer look needed at the axioms underlying the definition of Ordering.

Redo from start

### 1959

Second pass
Plenty of discursive and historical material omitted from here on in

### 1960

Discussion of how Parallelogram Law is equivalent to Euclidean nature of space into which it is embedded.
Starting from Next

### 1961

Revisit from $\S 2.2$: confusion over definition of piecewise differentiable.
Exercises for Chapter $1$ section $\S 2$ have been ignored because they are tedious and repetitive.

To be revisited

### 1964

Redo from start
Some gaps to fill just before here
From here on in there is much work to do on Axiom:Axiom of Choice.
Starting on Chapter $\text I$ with Next:
$1$-based exposition of Peano structure to be embarked upon.

### 1965

Missing result just before this:
Don't forget this:
Revisit this section:

Filling out exercises and examples (the worthwhile ones -- plenty are just makework):

### 1966

Exercises not done. Redoing from start.
Go through it again because the examples are not all done.

### 1967

Revisiting from start:
Exercises after this point not all done
Starting from Next:

### 1968

Complete but for some improved solutions.

Redoing from start:
Discussion on difference between disjunction and exclusive-or to be analysed
Redoing from start:
• Then by chapters (work in progress):

### 1971

Table of Integrals, starting with Next:

Exercises not all done

### 1972

Integrals:

Revisiting this book
redo from start

### 1973

Much of Chapter $3$ has been skipped.

### 1974

Working through the derivatives:

Working through the integrals:

### 1975

Chapter $2$ complete up to here. Section $7$ exercises have not been done, and Section $8$ has been completely missed out.
Chapter $2$ exercises still needing to be completed:
Redoing from start:
Chapter $5$ in progress -- exercises to do:

### 1976

(Chapters consisting of nothing but detailed calculation have not been implemented. Exercises also not done.)

### 1981

Undergoing a second pass to fill in the exercises, as follows:

### 1982

Second pass through:
Starting on Appendix $1$ with Next:
Check it, make sure nothing has been missed

### 1983

List of standard integrals done, starting from Next:
The full documentation of both $0$ and $1$ has been skipped, through laziness.

### 1986

Redoing from start: examples and exercises to be covered

### 1988

Second pass under way:

### 1989

In-depth discussion about partial functions and enumerations which needs attention

Redo from start

### 1994

$1$: Introduction:
$1.1$ Four Important Practical Problems:
$1.1.1$ Forecasting Time Series

Starting on Section $1.2$ with Next:

$1$: Introduction:
$1.2$ Stochastic and Deterministic Dynamic Mathematical Models
$1.2.1$ Stationary and Nonstationary Stochastic Models for Forecasting and Control: Nonstationary models

Starting on Section $1.3$ with Next:

Part $\text {I}$: Stochastic Models and their Forecasting:
$2$: Autocorrelation Function and Spectrum of Stationary Processes:
$2.1$ Autocorrelation Properties of Stationary Models:
$2.1.4$ Autocovariance and Autocorrelation Functions
Redo from start

### 1996

A complexity raised here which needs to be resolved:
Redo from start
Redoing Appendix $\text A$ from Next: lots of examples missed, and some fine detail ignored

### 1997

Mostly complete up to this point. Much of the detailed work on algorithms has been left undone.

### 1998

Starting on Section $4.3$ with Next:

From Next:

$3$: Reduction formulae

Bogged down in exactly what the product of linear operators means.
Analysis starts at chapter $2$. Chapter $1$ still to be addressed.

to be reviewed

to be reviewed
From Next:
From Next:
From Next:
From Next:
From Next:
From Next:

### More or less complete

Section $39$ has been omitted as it is a discursion with an imprecise structure.
The bulk of the exercises (all collected at the end) remain to be documented.
except for a number of sundry results in section $142,857$