In theoretical computer science and formal language theory, the equivalence problem is the question of determining, given two representations of formal...

The basic problem of knot theory, the recognition problem, is determining the equivalence of two knots. Algorithms exist to solve this problem, with the...

In mathematics, Cartan's equivalence method is a technique in differential geometry for determining whether two geometrical structures are the same up...

mathematical algorithm in group theory for solving the automorphic equivalence problem in the finite rank free group Fn. The algorithm is based on a classic...

not for general PDA). Géraud Sénizergues (1997) proved that the equivalence problem for deterministic PDA (i.e. given two deterministic PDA A and B,...

classification theorem answers the classification problem: "What are the objects of a given type, up to some equivalence?". It gives a non-redundant enumeration:...

timing details. The most common approach is to consider the problem of machine equivalence which defines two synchronous design specifications functionally...

In neuroscience and motor control, the degrees of freedom problem or motor equivalence problem states that there are multiple ways for humans or animals...

a notion of equivalence (formalized as an equivalence relation), then one may naturally split the set S {\displaystyle S} into equivalence classes. These...

In physics, mass–energy equivalence is the relationship between mass and energy in a system's rest frame. The two differ only by a multiplicative constant...

Star-Freeness Equivalence problem for regular expressions Emptiness problem for regular expressions with intersection. Equivalence problem for star-free...

functions in certain classes, the problem of determining: whether two functions are equal, known as the zero-equivalence problem (see Richardson's theorem);...

is restricted, the equivalence problem lies inside well known complexity classes. We call EC(O) and EF(O) the problem of equivalence over circuits and...

In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric, and transitive. The equipollence relation between line segments...

In electromagnetism, surface equivalence principle or surface equivalence theorem relates an arbitrary current distribution within an imaginary closed...

non-empty?), the universality problem (is the complement of the language of an input AFA empty?), and the equivalence problem (do two input AFAs recognize...

The equivalence principle is the hypothesis that the observed equivalence of gravitational and inertial mass is a consequence of nature. The weak form...

The Monty Hall problem is a brain teaser, in the form of a probability puzzle, based nominally on the American television game show Let's Make a Deal...

Ackermann-complete. Game complexity Meyer, A.R. and L. Stockmeyer. The equivalence problem for regular expressions with squaring requires exponential space...

Many mathematical problems have been stated but not yet solved. These problems come from many areas of mathematics, such as theoretical physics, computer...

"first examples of decision problems proved unsolvable". 1939 (1939): J. Barkley Rosser observes the essential equivalence of "effective method" defined...

Theorem 13.15, p.351 A.R. Meyer & L.J. Stockmeyer (Oct 1972). The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space...

Equivalence partitioning or equivalence class partitioning (ECP) is a software testing technique that divides the input data of a software unit into partitions...

G-structures. In this view, the general procedure for solving an equivalence problem is to construct a system of invariants for the G-structure which...

ISBN 978-3-8274-1824-1. DNB 986529222. Tsichritzis, Dennis C (1970). "The Equivalence Problem of Simple Programs". Journal of the ACM. 17 (4): 729–738. doi:10...

Equivalence tests are a variety of hypothesis tests used to draw statistical inferences from observed data. In these tests, the null hypothesis is defined...

decision problem is a computational problem that can be posed as a yes–no question on a set of input values. An example of a decision problem is deciding...

for material equivalence, so proper interpretation would depend on the context. Logical equivalence is different from material equivalence, although the...

Unsolved problem in computer science P   = ?   N P {\displaystyle {\mathsf {P\ {\overset {?}{=}}\ NP}}} More unsolved problems in computer science In...

contributions to differential geometry. In a famous 1869 paper on the equivalence problem for differential forms in n variables, published in Crelle's Journal...