Program
The PDF file with the program is here
Please contact to the organizers if you see some mistakes and/or collisions with your own schedule.
July 15
| The link to the Zoom channel of CAM is in your personal account | ||||
| 10:20 — 10:30 |
Sergei Pozdniakov (Saint-Petersburg Electrotechnical University "LETI") Welcome to the Fourth International Conference on Computer Assisted Mathematics
| |||
| 10:30 — 11:00 |
Svetlana Korabelshchikova, Boris Melnikov (Moscow State Institute of International Relations (University)) An Algorithm for Multiplying Numbers in Binary Lunar (Dismal) Arithmetic
| |||
| 11:00 — 11:30 |
Alexandr Seliverstov (Institute for Information Transmission Problems of the Russian Academy of Sciences) On systems of three linear equations modulo three
| |||
| 11:30 — 12:00 |
Georgii Khaziev, Alexandr Seliverstov, Oleg Zverkov (Institute for Information Transmission Problems) Imperfect palindromes depending on GC-content
| |||
| 12:00 — 12:30 |
Bowen Liu (Department of Mathematics, Shenzhen MSU-BIT University) Correlation Analysis of Ranking Methods via Transitive Triads in Random Tournament Graphs
| |||
| 12:30 — 13:00 |
Ivan Ignatenko (Institute of Mathematics, Mechanics and Computer Science named after I.I. Vorovich) Comparison of Methods for Large-Scale Sparse Matrix Inversion
| |||
| 13:00 — 13:30 |
Pavel A. Oganesyan, Boris F. Melnikov, Bowen Liu (MSU-BIT University) Effective Solution for the Traveling Salesman Problem on Randomly Distributed Data
| |||
| 13:30 — 14:00 |
Anna Telegina (“Mathematics as Science Language”) Project activities on the path of natural science
| |||
| 14:00 — 14:30 |
Semjon Adlaj (A.A. Dorodnicyn Computing Centre of the Russian Academy of Sciences) Repeated errors and persistent misconceptions in Science and its Teaching
| |||
| 14:30 — 15:30 | Lunch | |||
| 15:30 — 16:00 |
Robert Dougherty-Blisss, Natalya Ter-Saakov, Mits Kobayashi, Eugene Zima (Dartmouth College) p-adically resolving trinomials
| |||
| 16:00 — 16:30 |
Vladimir Dubrovsky (Kolmogorov School of Moscow State University) Guided Discovery With Interactive Mathematics
| |||
| 16:30 — 17:00 |
Alexei Semenov (Lomonosov Moscow State University) The Role of Computers in Developing Mathematical Thinking in Young Children
| |||
| 17:00 — 17:30 |
Viktor Freiman, Canada, Dragana Martinovic, Canada (Université de Moncton) Digital Tools in Mathematics Education: A Decade of Insights from the MEDEra Series
| |||
| 17:30 — 18:00 |
Sergei Abramovich (State University of New York) Computational Triangulation And Mathematical Education of Teachers: a North American Experience
| |||
| 18:00 — 18:30 |
Vladimir Zhukov (Ivanovo State Power University) Modeling Interdisciplinary Connections and Assessing Their Effectiveness in Educational Technologies
| |||
| 18:30 — 19:00 |
Victoria Kazakevich (Saint-Petersburg Electrotechnical State university "LETI") Dealing with students' requests for a more transparent process of education
| |||
| 19:00 — 19:30 |
Sergey Kolonitskii (Saint-Petersburg State Electrotechnical University "LETI") Knuth and Gingerbread Appreciation Club: making advanced mathematics fun
|
July 16
| 10:30 — 11:00 |
Victor Krym (St. Petersburg State University ) Estimation of cosmological parameters by the supernova of type Ia data with Mathematica
| |||
| 11:00 — 11:30 |
Sergey Solovyev (Institut de Recherche en Informatique de Toulouse) Turing Test in Digital Age
| |||
| 11:30 — 12:00 |
Alexander Liaptsev (Herzen State Pedagogical University of Russia) The use of smoothed distribution functions for the study of chaotic states in nonlinear dynamics problems. A numerical experiment.
| |||
| 12:00 — 12:30 |
Alexander Khodanovich (Saint-Petersburg State University of Film and Television) IT solutions for stochastic mathematical and simulation modeling tasks in engineering education
| |||
| 12:30 — 13:30 |
Dmitry Grigoriev (Centre National de Recherches Scientifiques) P-NP problem and complexity in computer algebra
| |||
| 13:30 — 14:00 |
Sergey Vakulenko (IPME RAS, LETI ) Non-Equilibrium Dynamics in Complex Networks via Asymmetric Glauber Models
| |||
| 14:00 — 15:00 | 14.00-14.05 - Photos of participants - please turn on your webcams. Lunch | |||
| 15:00 — 15:30 |
Tatiana Kosovskaya (Saint-Persburg State University) Recognition and Analysis of Complex Structured Objects
| |||
| 15:30 — 16:00 |
Alex Sakharov (Synstretch) Inference in Logic Theories
| |||
| 16:00 — 17:00 |
Yuri Gurevich (University of Michigan) Mathematics and AI
| |||
| 17:00 — 17:30 |
Iana Berlin (Boyar International ) Using AI in educational process
| |||
| 17:30 — 18:00 |
Aleksei Medvedev (St. Petersburg Electrotechnical University "LETI", Russia) Reasoning in Large Language Models
| |||
| 18:00 — 19:00 | Panel discussion: “Mathematics - Artificial Intelligence - Education” Moderated by PhD in Physics and Mathematics Aleksei Medvedev |
July 17
| 11:00 — 11:30 |
Alexandra Mikhalchenko, Hidoyatolloh Madraimov (Saint Petersburg Electrotechnical University "LETI") Factorial Numbering in Combinatorics: Comparative Analysis of Pedagogical and Computational Implementations
| |||
| 11:30 — 12:00 |
Aleksandr Kodukov, Maksim Subbotin, Samvel Arutyunyan (Saint Petersburg Electrotechnical University "LETI") Icebreakers route planning
| |||
| 12:00 — 12:30 |
Egor Malyutin (Saint Petersburg Electrotechnical University "LETI") The decryption of the Phaistos Disc through parallel translation with Linear B script
| |||
| 12:30 — 13:00 |
Zahra Dorostkar (Skolkovo Institute of Science and Technology) Introducing a New Post-quantum Cryptography Scheme
| |||
| 13:00 — 13:30 |
Stepan Samulevich (Saint-Petersburg state electrotechnical university) Ramanujan-type formulas for Cl-type Clausen functions and applications
| |||
| 13:30 — 14:00 |
Seraphim Ivanov, Roman Cherepanov (Saint Petersburg Electrotechnical University) Random graphs generation and processing
| |||
| 14:00 — 14:30 |
Roman Cherepanov, Dmitry Emelyanov, Maksim Subbotin (Saint Petersburg Electrotechnical University) Study of coefficients of finite Dirichlet series vanishing at some zeros of Riemann's zeta function
| |||
| 14:30 — 15:30 | Lunch | |||
| 15:30 — 16:00 |
Maksim Subbotin (St. Petersburg Electrotechnical University "LETI") Determination of the MESSENGER spacecraft orbit by processing doppler data in the X-band
| |||
| 16:00 — 16:30 |
Egor Moschyonok (National University of Science and Technology MISIS) Algorithm for calculating the orientation of a satellite in free flight
| |||
| 16:30 — 17:00 |
Elizaveta Fomenko (Institute of Mathematics, Mechanics and Computer Science, Southern Federal University) About the implementation of bi-directional topology optimization in ACELAN-COMPOS package
| |||
| 17:00 — 17:30 |
Danil Pestryakov (Peter the Great St. Petersburg Polytechnic University) Prospects of using the ontology description language ONTOL V2 in the automation of the educational process
|
