Search Results for ""

The digraph intersection of two digraphs is the digraph whose vertex set (respectively, edge set) is the intersection of their vertex sets (respectively, edge sets). If n is ...

A continuous real function L(x,y) defined on the tangent bundle T(M) of an n-dimensional smooth manifold M is said to be a Finsler metric if 1. L(x,y) is differentiable at ...

A partial differential equation of second-order, i.e., one of the form Au_(xx)+2Bu_(xy)+Cu_(yy)+Du_x+Eu_y+F=0, (1) is called hyperbolic if the matrix Z=[A B; B C] (2) ...

The triangle DeltaA^'B^'C^' formed by the points of pairwise intersection of the three intangents. It is not in perspective with DeltaABC. It has trilinear vertex matrix ...

The Leonine triangle DeltaX_AX_BX_C (a term coined here for the first time), is the Cevian triangle of Kimberling center X_(598). It is the polar triangle of the Lemoine ...

The MacBeath triangle DeltaX_AX_BX_C (a term coined here for the first time), is the triangle whose vertices are the contact points of the MacBeath inconic with the reference ...

A partial differential equation of second-order, i.e., one of the form Au_(xx)+2Bu_(xy)+Cu_(yy)+Du_x+Eu_y+F=0, (1) is called parabolic if the matrix Z=[A B; B C] (2) ...

The regulator of a number field K is a positive number associated with K. The regulator of an imaginary quadratic field is 1 and that of a real quadratic, imaginary cubic, or ...

The second Morley adjunct triangle has trilinear vertex matrix [2 sec[1/3(C-2pi)] sec[1/3(B-2pi)]; sec[1/3(C-2pi)] 2 sec[1/3(A-2pi)]; sec[1/3(B-2pi)] sec[1/3(A-2pi)] 2]. The ...

A formula of first-order logic is said to be in Skolemized form (sometimes also called Skolem standard form or universal form) if it is of the form forall x_1... forall x_nM, ...