Journal of Scientific & Practical Computing Journal
"Until you can prove rigorous theorems, you do not fully understand
the meaning of your concepts. --- By Freeman Dyson in "Birds and Frogs"
B. Fu, Testing Group Commutativity in Constant Time
S. Fowler And N. Yamada-F, The Computer Science Programs In The UK Higher Education Systems
L. Chen and O. Adjei, The lambda-connectedness method
Too few "birds"---Response to Dyson's "Birds and Frogs"
Introduce you a great article for all Mathematician and Computer Theoretists.
Computational Groups and A Theorem by Lipton and Zalcstein
Cook's Theory and the Twentieth Century Mathematics (L. Chen)