Mathematica Successūs: A Formal Approach on Success, Systems and Self

Hypersingular Inference: A Monograph on Self Referential Formal Systems and Foundational Instability

Self Optimizing Systems: A Machine Learning and Control Theoretic Approach

Maple and Mathematica: A Problem Solving Approach for Mathematics

On Formally Undecidable Propositions of Principia Mathematica and Related Systems