Algorithms

Procedures stated precisely enough to implement, independently of any particular implementation.

Required fields

• Statement in pseudocode, with every symbol defined
• Preconditions and postconditions
• Complexity, stated and justified
• Correctness argument or a reference to one
• Implementations that realise it, by CODE- identifier

Adding one

Take the next free ALG- number from registry/artifacts.yaml, create the page, and add the registry entry in the same commit. An artifact that exists as a file but not as a record cannot be cited, and will be re-created by someone who could not find it.