TY - BOOK ID - 31330037 TI - Algebraic Modeling of Topological and Computational Structures and Applications : THALES, Athens, Greece, July 1-3, 2015 AU - Lambropoulou, Sofia. AU - Theodorou, Doros. AU - Stefaneas, Petros. AU - Kauffman, Louis H. PY - 2017 SN - 3319681036 3319681028 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Mathematics. KW - Computer mathematics. KW - Geometry. KW - Number theory. KW - Topology. KW - Combinatorics. KW - Computational Mathematics and Numerical Analysis. KW - Number Theory. KW - Combinatorics KW - Algebra KW - Mathematical analysis KW - Analysis situs KW - Position analysis KW - Rubber-sheet geometry KW - Geometry KW - Polyhedra KW - Set theory KW - Algebras, Linear KW - Number study KW - Numbers, Theory of KW - Mathematics KW - Euclid's Elements KW - Computer mathematics KW - Discrete mathematics KW - Electronic data processing KW - Math KW - Science KW - Topological spaces KW - Spaces, Topological KW - Computer science UR - https://www.unicat.be/uniCat?func=search&query=sysid:31330037 AB - This interdisciplinary book covers a wide range of subjects, from pure mathematics (knots, braids, homotopy theory, number theory) to more applied mathematics (cryptography, algebraic specification of algorithms, dynamical systems) and concrete applications (modeling of polymers and ionic liquids, video, music and medical imaging). The main mathematical focus throughout the book is on algebraic modeling with particular emphasis on braid groups. The research methods include algebraic modeling using topological structures, such as knots, 3-manifolds, classical homotopy groups, and braid groups. The applications address the simulation of polymer chains and ionic liquids, as well as the modeling of natural phenomena via topological surgery. The treatment of computational structures, including finite fields and cryptography, focuses on the development of novel techniques. These techniques can be applied to the design of algebraic specifications for systems modeling and verification. This book is the outcome of a workshop in connection with the research project Thales on Algebraic Modeling of Topological and Computational Structures and Applications, held at the National Technical University of Athens, Greece in July 2015. The reader will benefit from the innovative approaches to tackling difficult questions in topology, applications and interrelated research areas, which largely employ algebraic tools. ER -