An axiom or law describing a feature of the natural world or of a particular branch of study; a principle prescribing a procedure or method to be…

Mathematics. A general rule, formula, table; esp. a table of sines, tangents, etc. Obsolete.

Arithmetic. The rule of three reversed. Cf. advancer, n. 7. Obsolete. But perhaps backer is here the adjective (backer, adj.).

Mathematics. A method of finding the value of an unknown by positing or assuming one or more values for it, finding by how much the results differ…

Arithmetic. rule of falsehood = ‘False Position’: see position, n. Obsolete.

(in a proportion) a method of finding a fourth quantity, given three known quantities, which bears the same relation to the third as the second does…

Mathematics. method of exhaustions: (see quot. 1730).

Mathematics. In full sieve of Eratosthenes. A method of finding the prime numbers in a (usually consecutive) list of numbers by deleting in turn…

Mathematics. In full sieve of Eratosthenes. A method of finding the prime numbers in a (usually consecutive) list of numbers by deleting in turn…

Mathematics and Computing. A procedure or set of rules used in calculation and problem-solving; (in later use spec.) a precisely defined set of…

= algorithm, n. 2.

Mathematics. A method of estimating or finding upper and lower limits for the number of primes, or of numbers not having factors within a stated…

an algorithm for deciding whether a given formula, statement, etc., is true or false within a particular logical system, or if it can be deduced…

the evaluation of a determinant by the use of pivoting on determinants of successively lower orders.

= decision procedure n.