archudzik/omegaCalculus: omega-calculus

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Artur Chudzik
DOI: 10.5281/zenodo.18095949
Cited by: 0

Abstract

Reference implementation for the paper Omega-Calculus: Normal Forms and Branch Semantics for Scale-Promoting Division. This package is a small executable model of the paper's algebraic and semantic core. It is intended for reproducibility, examples, and regression tests, not as a general-purpose computer algebra system.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
20 June 2026