Statistical Methods, Experimental Design, and Scientific Inference
- R. Fisher, J. H. Bennett
- Computer Science
- 9 August 1990
Foreword Statistical methods for research workers The design of experiments Statistical methods and scientific inference.
The genetical theory of natural selection: a complete variorum edition.
- R. Fisher, J. H. Bennett
- Biology
- 1999
The genetical theory of natural selection: 1930 edition and its unpublished and 1958 revised edition amendments are published.
Semi-Automated Mathematics
- J. R. Guard, F. C. Oglesby, J. H. Bennett, L. G. Settle
- Computer Science, MathematicsJACM
- 1969
The fifth in a series of experiments in semi-automated mathematics is described. These experiments culminated in large complex computer programs which allow a mathematician to prove mathematical…
Statistical inference and analysis : selected correspondence of R. A. Fisher
- R. Fisher, J. H. Bennett
- Economics
- 1993
Preface Editor's abbreviations Main dates and events in the life of R. A. Fisher Statistical inference Statistical theory and method History of statistics Teaching of statistics History and…
TOWARD SEMI-AUTOMATED MATHEMATICS: THE LANGUAGE AND LOGIC OF SAM III.
- J. H. Bennett, W. B. Easton, J. R. Guard, T. H. Mott
- Computer Science
- 1 May 1964
The third in a series of computer experiments designed to explore the extent to which computers may feasibly be used in doing formal mathematics contains provisions for the introduction of quantification theory, inference by substitution for variables of finite, mixed types, automatic application of rules of propositional and equality inference, and other important features.
INTRODUCTION TO SEMI-AUTOMATED MATHEMATICS.
- T. H. Mott, J. R. Guard, J. H. Bennett, W. B. Easton
- Computer Science
- 15 April 1963
Two computer programs are described that represent an approach different from the usual ones based on the Herbrand Theorem in which the computer unaided seeks to construct proofs.
CRT-AIDED SEMI-AUTOMATED MATHEMATICS
- J. H. Bennett, W. B. Easton, J. R. Guard, L. G. Settle
- Computer Science
- 1967
The status of the fifth in a series of five experiments in semi-automated mathematics culminated in large complex computer programs which allow a mathematician to prove mathematical theorems on a man-machine basis.
Collected Papers of R. A. Fisher, Volume I
- J. H. Bennett, R. A. Fisher
- Environmental Science
- 1 May 1973
SEMI-AUTOMATED MATHEMATICS: SAM IV.
- J. H. Bennett, W. B. Easton, J. R. Guard, D. Loveman, T. H. Mott
- Computer Science
- 15 October 1964
The man-machine interactive program is designed to handle any mathematical statement that can be expressed by means of many sorted variables and constants for an omegaorder predicate-function calculus with equality, lambda, and methods of definition.
...
...