 Austin moving-knife procedures

Austin moving-knife procedures are a type of algorithmic mechanism used in social choice theory and voting systems. They are designed to address the problem of fair division of goods or resources among individuals, ensuring that the allocation is done in a way that respects certain fairness criteria. In particular, moving-knife procedures involve a hypothetical "knife" that moves continuously over a set of divisible goods or resources, allowing participants to express their preferences in real-time.