Such a definition can be formulated in terms of equivalence classes of smooth functions on M. Informally, we will say that two smooth functions f and g are equivalent at a point x if they have the same first-order behavior near x.

In other words, L can be solved in polynomial time by an oracle machine with an oracle for H. Informally, we can think of an algorithm that can call such an oracle machine as a subroutine for solving H, and solves L in polynomial time, if the subroutine call takes only one step to compute.

Informally, we can consider these products on the left hand side as being elements of the free group F =

Informally, the second axiom says it doesn't matter whether we restrict to W in one step or restrict first to V, then to W.

Informally, if F is '= y ', G is ' is Pegasus ', and we substitute ' Pegasus ' for y, then ( 4 ) appears to allow us to infer from ' everything identical with Pegasus is Pegasus ' that something is identical with Pegasus.

Informally, this means that whenever we are given the unit ball of some seminorm, we can find a " much smaller " unit ball of another seminorm inside it, or that any neighborhood of 0 contains a " much smaller " neighborhood.

Informally, it asks whether every problem whose solution can be quickly verified by a computer can also be quickly solved by a computer.

Informally, the theorem says that the curvature of a surface can be determined entirely by measuring angles and distances on the surface.

Informally the Church – Turing thesis states that if some method ( algorithm ) exists to carry out a calculation, then the same calculation can also be carried out by a Turing machine ( as well as by a recursively definable function, and by a λ-function ).

( Informally, input positions can be thought of as locations at token boundaries.

Informally, the " P vs. NP " question asks whether every optimization problem whose answers can be efficiently verified for correctness / optimality can be solved optimally with an efficient algorithm.

Informally, a conservative force can be thought of as a force that conserves mechanical energy.

Informally, a set of strategies is a Nash equilibrium if no player can do better by unilaterally changing his or her strategy.

Informally, the Fatou set of the function consists of values with the property that all nearby values behave similarly under repeated iteration of the function, and the Julia set consists of values such that an arbitrarily small perturbation can cause drastic changes in the sequence of iterated function values.

Informally, the theorem says that the curvature of a surface can be determined entirely by measuring distances along paths on the surface.

Informally, this means that given a constructive proof that an object exists, then that constructive proof can be turned into an algorithm for generating an example of it.

Informally, these theorems say that given more time, a Turing machine can solve more problems.

Informally, the capacity of a classification model is related to how complicated it can be.

Informally, a free object over a set A can be thought as being a " generic " algebraic structure over A: the only equations that hold between elements of the free object are those that follow from the defining axioms of the algebraic structure.

Informally, C can be regarded as the *- algebra of continuous complex-valued functions over the compact matrix quantum group, and u can be regarded as a finite-dimensional representation of the compact matrix quantum group.

Informally it can be considered more widely: from a post-colonial form of amical protection, or protectorate, to confederation of unequal members when the lesser partner ( s ) delegate to the major one ( often the former colonial power ) some authority normally exclusively retained by a self-governing state, often in such fields as defence and foreign relations, while often enjoying favorable economic terms such as market access.

Informally, eigenfaces can be considered a set of " standardized face ingredients ", derived from statistical analysis of many pictures of faces.

Informally, it is a permutation of the group elements such that the structure remains unchanged.

Informally, free abelian groups or formal sums may also be seen as signed multisets with elements in B.

Informally, a finite domain is a finite set of arbitrary elements.

) Informally, the elements of V < sup > B </ sup > are " Boolean-valued sets ".

Informally, generalized Kac – Moody algebras are the Lie algebras that

* Informally, by extension, the line generated by a basis vector in linear algebra

In the mathematical fields of linear algebra and functional analysis, the orthogonal complement of a subspace W of a vector space V equipped with a bilinear form B is the set W < sup >⊥</ sup > of all vectors in V that are orthogonal to every vector in W. Informally, it is called the perp, short for perpendicular complement.

Informally, G has the above presentation if it is the " freest group " generated by S subject only to the relations R. Formally, the group G is said to have the above presentation if it is isomorphic to the quotient of a free group on S by the normal subgroup generated by the relations R.

Informally stated, with certain technical assumptions, every representation of the Heisenberg group is equivalent to the position operators and momentum operators on R < sup > n </ sup >.

Informally known as " The Big Book " ( with its first 164 pages virtually unchanged since the 1939 edition ), it suggests a twelve-step program in which members admit that they are powerless over alcohol and need help from a " higher power "; seek guidance and strength through prayer and meditation from God or Higher Power of their own understanding ; take a moral inventory with care to include resentments ; list and become ready to remove character defects ; list and make amends to those harmed, and then try to help other alcoholics recover.

Informally, this is true because polynomial time algorithms are closed under composition.

Informally basis vectors are like " building blocks of a vector ", they are added together to make a vector, and the coordinates are the number of basis vectors in each direction.

Informally, a soundness theorem for a deductive system expresses that all provable sentences are true.

Informally, the term measure word is also sometimes used to refer to numeral classifiers, which are used with nouns that are countable in some languages.

Informally, such Brachyceran larvae are called maggots, but the term is nontechnical and often applied indifferently to fly larvae or insect larvae in general.

Informally listed places are:

Informally, this means that arguments of this form do not give good reason to establish their conclusions, even if their premises are true.

Informally, a set of natural numbers A is Turing reducible to a set B if there is an oracle machine that correctly tells whether numbers are in A when run with B as the oracle set ( in this case, the set A is also said to be ( relatively ) computable from B and recursive in B ).

Informally, classes are also traditionally named after their lead ships.

Informally, the reconstruction conjecture in graph theory says that graphs are determined uniquely by their subgraphs.

Informally, senators are sometimes given the higher title of ' Venerable '.

Informally, the terms C standard library or C library or libc are also used to designate a particular implementation on a given system.

Informally, this means that differentiable functions are very atypical among continuous functions.

Informally, subvarieties are in general position if they cannot be described more simply than others.

Informally, two sets are close in the Hausdorff distance if every point of either set is close to some point of the other set.

Informally, two crystals tend to be in the same crystal system if they have similar symmetries, though there are many exceptions to this.

Informally, given the prime factorization of m, take b to be the product of the prime factors of m that have an odd exponent ( if there are none, then take b to be 1 ).

Informally, medical graduates are called " Doctors.