formuowe

Formuowe is a proposed formal notation intended to encode mathematical formulas, computational steps, and their contextual metadata in a single, human- and machine-readable representation. The term combines formula and workflow to reflect its aim to unify symbolic expressions with procedural information in scientific documents and software.

In theoretical discussions from the early 2020s onward, formuowe emerged as a response to fragmentation between traditional mathematical notation and executable models. It is described as a minimal core grammar that supports variables, operations, quantifiers, units, provenance, and execution hints, with extensible annotations for data sources, assumptions, and references.

A formuowe expression consists of tokens for identifiers, operators, and structural markers, plus optional metadata blocks. The design emphasizes readability and machine interpretability, enabling straightforward parsing, validation, and transformation into alternative representations such as code, documentation, or provenance graphs.

Proponents argue formuowe could facilitate reproducible research by linking formulas directly to datasets, code, and experimental results. Potential use cases include mathematical textbooks, computational notebooks, and formal specification documents. As a concept, it remains exploratory, with various proposals for syntax, tooling, and standards evolving in parallel.

In practice, formuowe aims to bridge human-readable notation with machine-processable behavior, supporting both linear text and richer, graph-based representations. Related areas include mathematical notation, symbolic computation, literate programming, executable mathematics, and formal specification languages.