newsBooleanAlgebrasIntro2 - News

 
 

Nice fertile new direction

Item posted by Daniel Wyckoff <deluger> on Fri 23 Apr 2021 01:43:11 AM UTC.

For the foreseeable future (10+ years) the focus of bool2 will be a clean small group theory interface for embedded solutions.  No bigger than small extensions of S4.  Canticle is the name of the project that will apply and grow the group theory, and it's part of the bool2 source tree.  The goal of Canticle, the device, is to provide bytewise numeric keypad input that measures wireless USB latency, by operational certification in C.  I'm not completely sure what that means either, other than that I have a vested interest in engineering a lightweight                                                    intricate implementation of the pseudo-code in Gregory Butler's "Fundamental Algorithms for Permutation Groups" in C.
Coq development is on hold until the universe needs it more!

Back to the top

Powered by Savane 3.15-e6e5.
Corresponding source code