𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Application of the rule of inference in informal mathematical proofs

✍ Scribed by N. Nansalmaa

Publisher
Springer US
Year
1987
Tongue
English
Weight
470 KB
Volume
22
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Exact probabilistic and mathematical pro
Exact probabilistic and mathematical proofs of the relation between the mean ΞΌ and the generalized 80/20-rule
✍ Egghe, L. πŸ“‚ Article πŸ“… 1993 πŸ› John Wiley and Sons 🌐 English βš– 598 KB

The generalized 80/20-rule states that 100 n % of the most productive sources in (for example) a bibliography produce 100 y % of the items and one is interested in the relation between y and x. The following (intuitively clear) property (\*) is investigated: suppose we have two bibliographies with a

Using meta-level inference for selective
Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation
✍ Alan Bundy; Bob Welham πŸ“‚ Article πŸ“… 1981 πŸ› Elsevier Science 🌐 English βš– 948 KB

In this paper we describe a technique for controlling inference, called meta-level inference, and a program for algebraic manipulation, PRESS, which embodies this technique. In PRESS, algebraic expressions are manipulated by a series of methods. The appropriate method is chosen by recta-level infere