ARTICLE Fiesler-94.2/IDIAP Neural Network Classification and Formalization Fiesler, Emile architecture definition formalization mnemonic notation neural network classification neural network determination nomenclature standardization terminology topological taxonomy topology Computer Standards & Interfaces 16 03 231-239 0920-5489 1994 June 1994 In order to assist the field of neural networks in maturing, a formalization and a solid foundation are essential. Additionally, to permit the introduction of formal proofs, it is essential to have an all- encompassing formal mathematical definition of a neural network. This publication offers a neural network formalization consisting of a topological taxonomy, a uniform nomenclature, and an accompanying consistent mnemonic notation. Supported by this formalization, both a flexible hierarchical and a universal mathematical definition are presented.