In differential geometry, a field of mathematics, a normal bundle is a particular kind of vector bundle, complementary to the tangent bundle, and coming from an embedding.
In mathematics, a Banach bundle is a vector bundle each of whose fibres is a Banach space, i.e. a complete normed vector space, possibly of infinite dimension.
A formula of the predicate calculus is in prenex normal form if it is rewritten as a string of quantifiers and bound variables, called the prefix, followed by a quantifier-free...
In mathematics, an adjoint bundle is a vector bundle naturally associated to any principal bundle. The fibers of the adjoint bundle carry a Lie algebra structure making the adjoint bundle...
In surgery theory, a branch of mathematics, the stable normal bundle of a differentiable manifold is an invariant which encodes the stable normal data. There are analogs for generalizations of...
In Boolean algebra, the algebraic normal form , ring sum normal form , Zhegalkin normal form, or Reed–Muller expansion is a way of writing logical formulas in one of three...
In boolean logic, a disjunctive normal form is a canonical normal form of a logical formula consisting of a disjunction of conjunctions; it can also be described as an OR...