Algebraic Modeling of Topological and Computational Structures and Applications