# Computation

> procedures and algorithms

Record: `reasoning:pattern-type-computation`
Kind: pattern-type
Canonical: https://banes-lab.com/ontology/reasoning#reasoning-pattern-type-computation

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Dynamical Systems](https://banes-lab.com/records/reasoning/pattern-type-dynamical-systems.md) and before [Category Theory](https://banes-lab.com/records/reasoning/pattern-type-category-theory.md).

## Concept

- [Computation](https://banes-lab.com/records/reasoning/math-domain-computation.md)