Mathematical Model and Algorithmization of Functions of the Computing Core of an Intelligent Internal Audit Support System | Synapse