What is Algebraic normal form?

Algebraic graph theory is a branch of mathematics in which algebraic methods are applied to problems about graphs. This is in contrast to geometric, combinatoric, or algorithmic approaches. There are...

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 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 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 mathematical logic, abstract algebraic logic is the study of the algebraization of deductive systemsarising as an abstraction of the well-known Lindenbaum–Tarski algebra, and how the resulting algebras are related...

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...

In abstract algebra, an adelic algebraic group is a semitopological group defined by an algebraic group G over a number field K, and the adele ring A = A of...

In algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from...

In mathematics, an algebraic differential equation is a differential equation that can be expressed by means of differential algebra. There are several such notions, according to the concept of differential...