fdrs_formal. Number representation when the base is a free parameter — a machine-checked corpus on function-defined radix systems, from positional notation as algebra to the geometry and conservation laws of coupled radix networks.

github.com/Hyphaeic/fdrs_formal

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.