Search Results for ""

Computer algebra is a diffuse branch of mathematics done with computers that encompasses both computational algebra and analysis.

A vaguely defined branch of mathematics dealing with varieties, the Mordell conjecture, Arakelov theory, and elliptic curves.

A branch of game theory dealing with strategies to maximize the outcome of a given process in the face of uncertain conditions.

Metamathematics is another word for proof theory. The branch of logic dealing with the study of the combination and application of mathematical symbols is also sometimes ...

A singular point such that every neighborhood of the point intersects itself. Pinch points are also called Whitney singularities or branch points.

The branch of formal logic, also called functional calculus, that deals with representing the logical connections between statements as well as the statements themselves.

A section of a solid is the plane figure cut from the solid by passing a plane through it (Kern and Bland 1948, p. 18).

Consider a knot as being formed from two tangles. The following three operations are called mutations. 1. Cut the knot open along four points on each of the four strings ...

The principal value of an analytic multivalued function is the single value chosen by convention to be returned for a given argument. Complex multivalued functions have ...

Let A be an edge cut of a connected graph G. Then the cyclic edge connectivity lambda_c(G) is the size of a smallest cyclic edge cut, i.e., a smallest edge cut A such that ...