Search Results for ""

A root-finding algorithm which makes use of a third-order Taylor series f(x)=f(x_n)+f^'(x_n)(x-x_n)+1/2f^('')(x_n)(x-x_n)^2+.... (1) A root of f(x) satisfies f(x)=0, so 0 ...

A root-finding algorithm also known as the tangent hyperbolas method or Halley's rational formula. As in Halley's irrational formula, take the second-order Taylor series ...

Let F(m,n) be the number of m×n (0,1)-matrices with no adjacent 1s (in either columns or rows). For n=1, 2, ..., F(n,n) is given by 2, 7, 63, 1234, ... (OEIS A006506). The ...

A connected labeled graph with n graph edges in which all graph vertices can be labeled with distinct integers (mod n) so that the sums of the pairs of numbers at the ends of ...

A device consisting of two coupled pendula, usually oscillating at right angles to each other, which are attached to a pen. The resulting motion can produce beautiful, ...

The hat is a caret-shaped symbol commonly placed on top of variables to give them special meaning. The symbol x^^ is voiced "x-hat" (or sometimes as "x-roof") in mathematics, ...

The hat polykite is an aperiodic monotile discovered by Smith et al. (2023). It is illustrated above in an aperiodic tiling (Smith et al. 2023).

The axioms formulated by Hausdorff (1919) for his concept of a topological space. These axioms describe the properties satisfied by subsets of elements x in a neighborhood ...

A purple cow is a confirming instance of the hypothesis that all crows are black.

Consider a first-order logic formula Phi in Skolemized form forall x_1... forall x_nS. Then the Herbrand universe H of S is defined by the following rules. 1. All constants ...