Patents
Nondeterministic Turing Machine Computer Architecture for Efficient Processing Using Spatial Relationships
Spatial arithmetic method of sequence alignment
Inverse function method of boolean satisfiability (SAT)
Database without structured query language