Skip to content

v1.0.0 - Initial Release

Choose a tag to compare

View all tags
@miosync-masa miosync-masa released this 11 Jan 06:12
· 54 commits to main since this release
v1.0.0
67fb6dc
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Binary Convolution Theory v1.0.0

Initial release of BCT verification code for INTEGERS 26 (2026).

Features

  • Complete verification of all theorems (1-13) and lemmas (1-4)
  • Conjecture 1 verified for n < 10^6
  • Core BCT invariants: H, C, L

Installation

pip install binary-convolution-theory

Links

Authors

  • Masamichi Iizumi
  • Tamaki Iizumi
Assets 2
Loading