Search Results for ""

The ruliad may be defined as the entangled limit of everything that is computationally possible, i.e., the result of following all possible computational rules in all ...

Let K_1 be a knot inside a torus, and knot the torus in the shape of a second knot (called the companion knot) K_2, with certain additional mild restrictions to avoid trivial ...

The scalar triple product of three vectors A, B, and C is denoted [A,B,C] and defined by [A,B,C] = A·(BxC) (1) = B·(CxA) (2) = C·(AxB) (3) = det(ABC) (4) = |A_1 A_2 A_3; B_1 ...

Scherk's two minimal surfaces were discovered by Scherk in 1834. They were the first new surfaces discovered since Meusnier in 1776. Beautiful images of wood sculptures of ...

For every positive integer n, there exists a circle in the plane having exactly n lattice points on its circumference. The theorem is based on the number r(n) of integral ...

A Fourier series-like expansion of a twice continuously differentiable function f(x)=1/2a_0+sum_(n=1)^inftya_nJ_0(nx) (1) for 0<x<pi, where J_0(x) is a zeroth order Bessel ...

Schur's partition theorem lets A(n) denote the number of partitions of n into parts congruent to +/-1 (mod 6), B(n) denote the number of partitions of n into distinct parts ...

The second Brocard point is the interior point Omega^' (also denoted tau_2 or Z_2) of a triangle DeltaABC with points labeled in counterclockwise order for which the angles ...

A semicubical parabola is a curve of the form y=+/-ax^(3/2) (1) (i.e., it is half a cubic, and hence has power 3/2). It has parametric equations x = t^2 (2) y = at^3, (3) and ...

A sequent is an expression Gamma|-Lambda, where Gamma and Lambda are (possibly empty) sequences of formulas. Here, Gamma is called the antecedent and Lambda is called the ...