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:

1945

From Next:

1946

1947

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

1951

1952

1953

From Next:
From Next:
From Next:
From Next:
From Next:
From Next:
From Next:
From the start:

1954

1955

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

1956

Redo from start

1957

From Next:

From start:

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

From Next:

Much missed out from Table $1.1$, although there is room for adding some of them

Some proofs in the above still incomplete or just not done.

Starting from Next:

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

Also from Next:

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

From Next to end

1969

1970

From Next:

From Next:

From Next:

From start:

1971

Table of Integrals, starting with Next:

Exercises not all done

1972

Integrals:

Revisiting this book

From start:


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


From Next:

From start:

From Next:

From Next:

From Next:

From Next:

1977

1978

1979

Not all exercises are covered.

1980

Exercises to be completed:

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.

1985

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

From Next:
From Next:

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

From Next:

From start:

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:

iffy from here for a bit, then complete till:
From Next:
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
More or less complete up to here, incomplete and hating on bivariate distribution entry
horribly iffy and incomplete from here
From: Next to:
Need filling out:
Some work done here to provide more or less solid entries in earlier work:
From: Next to:
From: Next to:


Appendices: From Table 1: Next:
From Table 6: Next:
From Next:
From Next:
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$