Statistical Methods, Experimental Design, and Scientific Inference
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.
The genetical theory of natural selection: 1930 edition and its unpublished and 1958 revised edition amendments are published.
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
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.
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.
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
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
SEMI-AUTOMATED MATHEMATICS: SAM IV.
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.