Ausgabe 5/2023
Inhalt (11 Artikel)
Application of Computer Simulation to the Anonymization of Personal Data: Synthesis-Based Anonymization Model and Algorithm
A. V. Borisov, A. V. Bosov, A. V. Ivanov
Searching for Laurent Solutions of Systems of Linear Differential Equations with Truncated Power Series in the Role of Coefficients
S. A. Abramov, A. A. Ryabenko, D. E. Khmelnov
On Implementation of Numerical Methods for Solving Ordinary Differential Equations in Computer Algebra Systems
A. Baddour, M. M. Gambaryan, L. Gonzalez, M. D. Malykh
Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems
I. A. Fedotov, A. S. Khritankov, M. D. Obidare