- Applied mathematics
- >
- Theoretical computer science
- >
- Formal languages
- >
- Trace theory

- Combinatorics
- >
- Combinatorics on words
- >
- Formal languages
- >
- Trace theory

- Deductive reasoning
- >
- Metalogic
- >
- Formal languages
- >
- Trace theory

- Fields of mathematics
- >
- Mathematical logic
- >
- Formal languages
- >
- Trace theory

- Philosophy of mathematics
- >
- Formalism (deductive)
- >
- Formal languages
- >
- Trace theory

- Philosophy of mathematics
- >
- Mathematical logic
- >
- Formal languages
- >
- Trace theory

Singular trace

In mathematics, a singular trace is a trace on a space of linear operators of a separable Hilbert space that vanisheson operators of finite rank. Singular traces are a feature of infinite-dimensional

Trace theory

In mathematics and computer science, trace theory aims to provide a concrete mathematical underpinning for the study of concurrent computation and process calculi. The underpinning is provided by an a

Trace (linear algebra)

In linear algebra, the trace of a square matrix A, denoted tr(A), is defined to be the sum of elements on the main diagonal (from the upper left to the lower right) of A. The trace is only defined for

Trace monoid

In computer science, a trace is a set of strings, wherein certain letters in the string are allowed to commute, but others are not. It generalizes the concept of a string, by not forcing the letters t

Dixmier trace

In mathematics, the Dixmier trace, introduced by Jacques Dixmier, is a non-normal trace on a space of linear operators on a Hilbert space larger than the space of trace class operators. Dixmier traces

Scalar curvature

In the mathematical field of Riemannian geometry, the scalar curvature (or the Ricci scalar) is a measure of the curvature of a Riemannian manifold. To each point on a Riemannian manifold, it assigns

© 2023 Useful Links.