Editing Contraction (section)

== Mathematics and logic ==
* [[Contraction (operator theory)]], in operator theory, state of a bounded operator between normed vector spaces after suitable scaling
* [[Contraction hierarchies]], in applied mathematics, a technique to speed up shortest-path routing
* [[Contraction mapping]], a type of function on a metric space
* [[Edge contraction]] or vertex contraction, graph operations used in graph theory
* [[Tensor contraction]], an operation on one or more tensors that arises from the natural pairing of a finite-dimensional vector space and its dual
* [[Geometric algebra#Extensions of the inner and exterior products|Left contraction and right contraction]] of multivectors in a geometric algebra, extensions of the inner product
* One of the rules of [[Conditional independence#Rules of conditional independence|conditional independence]], in probability
* [[Contraction (logic)]], a structural rule in proof theory