Skip to content

Releases

v1.0.2 - Fix Release

Choose a tag to compare

@miosync-masa miosync-masa released this 12 Jan 12:43
f62b453

Public Release

v1.0.0 - Initial Release

Choose a tag to compare

@miosync-masa miosync-masa released this 11 Jan 06:12
67fb6dc

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