Truncation (disambiguation)
From Wikipedia, the free encyclopedia
Truncation is the term used for limiting the number of digits right of the decimal point by discarding the least significant ones.
Truncation may also refer to:
- Truncation (statistics) refers to measurements which have been cut off at some value
- Truncation (numerical analysis) refers to truncating an infinite sum by a finite one
- Truncation (geometry) is the removal of one or more parts, as for example in truncated cube
- Propositional truncation, a type former which truncates a type down to a mere proposition
