User:Prime.mover/Source Work Progress

From ProofWiki
Jump to navigation Jump to search

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:

Early

1921

1922

Redo from start

1924

1926

1927

1932

1933

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

Building up common material, so starting from Next:

1934

1935

1936

1937

Revisit

1938

1939

1941

1944

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

1946

1947

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

1951

1952

1954

1955

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

1956

Redo from start

1957

1958

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.

1962

1963

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:

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

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

1970

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.)

1977

1978

1979

1980

1981

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

1982

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

1987

1988

Second pass under way:

1989

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

1990

1991

Redo from start

1992

1993

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.

1999

to be reviewed

2000 and onward

to be reviewed
From Next:
From Next:

Exposition goes a little further than this, but it's iffy

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$