What is Algebraic graph theory?

The S-graph framework is an approach to solving batch process scheduling problems in chemical plants. S-graph is suited for the problems with a non-intermediate storage policy, which often appears in...

In computer science, a control-flow graph is a representation, using graph notation, of all paths that might be traversed through a program during its execution. The control-flow graph was discovered...

The Common Algebraic Specification Language is a general-purpose specification language based on first-order logic with induction. Partial functions and subsorting are also supported.

In graph theory, an orientation of an undirected graph is an assignment of a direction to each edge, turning the initial graph into a directed graph.

Extremal graph theory is a branch of combinatorics, itself an area of mathematics, that lies at the intersection of extremal combinatorics and graph theory. In essence, extremal graph theory studies...

In mathematics, spectral graph theory is the study of the properties of a graph in relationship to the characteristic polynomial, eigenvalues, and eigenvectors of matrices associated with the graph, such...

In mathematics, topological graph theory is a branch of graph theory. It studies the embedding of graphs in surfaces, spatial embeddings of graphs, and graphs as topological spaces. It also...

This article discusses how information theory is related to measure theory.

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