?
Optimal monomial quadratization for ODE systems: extended abstract
ACM Communications in Computer Algebra. 2021. Vol. 54. No. 3. P. 119–123.
Bychkov A., Pogudin G.
Transformation of a polynomial ODE system to a special quadratic form has been successfully used recently as a preprocessing step for model order reduction methods. However, to the best of our knowledge, there has been no practical algorithm for performing this step automatically with any optimality guarantees.
We present an algorithm that, given a system of polynomial ODEs, finds a transformation into a quadratic ODE system by introducing new variables which are monomials of the original variables. The algorithm is guaranteed to produce an optimal transformation of this form. The algorithm is implemented, and we demonstrate it on examples from the literature.
Taletskii D., / Series arXiv "math". 2026.
A vertex subset of a graph is called a \textit{distance-$k$ independent set} if the distance between any two of its distinct vertices is at least $k + 1$. For all $n,k \geq 1$, we determine the minimum possible number of inclusion-wise maximal distance-$k$ independent sets among all $n$-vertex trees. It equals~$n$ if $n \leq k ...
Added: May 1, 2026
Dayoub A., Suleiman E., IEEE, 2026.
2026 8th International Youth Conference on Radio Electronics, Electrical and Power Engineering (REEPE)
1-3 April 2026 ...
Added: April 30, 2026
Ovcharenko M., / Series arXiv "math". 2026.
We introduce an explicit class of tempered Laurent polynomials in the sense of Villegas and Doran--Kerr in n⩽4 variables including all Landau--Ginzburg models for smooth Fano threefolds with very ample anticanonical class. We check that it contains Landau--Ginzburg models for various Fano fourfolds which are complete intersections in smooth toric varieties and Grassmannians of planes, ...
Added: April 30, 2026
М.: ООО «Геомодель Развитие», 2024.
Интелшектуальный анализ данных в нефтегазовой отрасли, Калининград, Россия, 2024, ООО «Геомодель Развитие» ...
Added: April 29, 2026
Karpova Irina Petrovna, Pattern Recognition and Image Analysis 2025 Vol. 35 No. 4 P. 1138–1144
A solution to the problem of redistributing agents between groups based on simulating a form of social parasitism in ants known as slave-making is considered. To provide a comprehensive solution, the problem is integrated with a method of orientation based on visual landmarks and a compass, including route memorization and return. The models and mechanisms ...
Added: April 29, 2026
Derkacheva A., Sakirkina M., Kraev G. et al., /. 2026.
Comprehensive data on natural hazards and their consequences are crucial for effective for risk assessment, adaptation planning, and emergency response. However, many countries face challenges with fragmented, inconsistent, and inaccessible data, particularly regarding local-scale events. To address this data gap in Russia, we developed an end-to-end processing pipeline that scrapes news from various online sources, ...
Added: April 28, 2026
Domrin V. I., Malova H. V., V. Yu. Popov et al., Cosmic Research 2026 Vol. 64 No. 2 P. 238–252
During magnetospheric perturbations a relatively thin current sheet with thickness about several
proton gyroradii forms in the Earth’s magnetotail. In a framework of the kinetic model describing current
sheet thinning in the magnetotail, the processes of its formation are investigated depending on the normal
magnetic field magnitude which affects both the current sheet structure and particle dynamics within ...
Added: April 27, 2026
Tsareva O. O., Malova H. V., V. Yu. Popov et al., Plasma Physics Reports 2026 Vol. 52 No. 2 P. 179–185
The influence of asymmetry of plasma sources on the structure and spatial localization of a superthin
current sheet (STCS) supported by demagnetized electrons is studied using a self-consistent model. The
simulation takes into account the presence of a single plasma source in the northern hemisphere, which
makes the plasma flow asymmetric. It is demonstrated that the asymmetry of ...
Added: April 27, 2026
Pochinka O., Yakovlev E., Shmukler V., Russian Journal of Nonlinear Dynamics 2026
Every discrete dynamical system (cascade) generated by a homeomorphism induces a continuous
dynamic system (flow) — a suspension. However, not every flow is equivalent to a suspension
over a cascade, a necessary and sufficient condition for this is the existence of a global
section for the flow. In the case of the existence, the flow is equivalent to ...
Added: April 24, 2026
Belova T., Dementiev Y., Fomin F. et al., , in: 27th European Conference on Artificial Intelligence, 19–24 October 2024, Santiago de Compostela, Spain – Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024)Vol. 392.: IOS Press, 2024. P. 3461–3468.
Added: October 24, 2024
Vladlena D. Markvirer, Ekaterina A. Karnaukhova, , in: 023 International Conference on Quality Management, Transport and Information Security, Information Technologies (IT&QM&IS).: Petrozavodsk: IEEE, 2023. P. 152–155.
This article presents an overview of the main algorithms used in resource distribution problems. The description, input and output data, as well as peculiarities and complexity of these algorithms are considered. The paper proposes a modified algorithm for finding vapor combinations in a graph, which allows solving the problem of optimal load distribution between the ...
Added: December 25, 2023
Anoshin V. I., Beketova A., Parusnikova A. et al., Computational Mathematics and Mathematical Physics 2023 Vol. 63 No. 1 P. 86–95
The second member of the fourth Painlevé hierarchy is considered. Convergence of certain power asymptotic expansions in a neighborhood of zero is proved. New families of power asymptotic expansions are found. Computations are carried out using a computer algebra system. Reference to a code that can be used for computing the Gevrey order of the ...
Added: March 30, 2023
Association for Computing Machinery (ACM), 2021.
The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC is the continuation of conferences with the names SYMSAC, EUROCAL, EUROSAM, and EUROCAM, which have alternated between North America and Europe before merging into ISSAC. The whole series started in 1966 with the ...
Added: September 27, 2021
Open Publishing Association, 2021.
This volume contains papers presented at the Ninth International Symposium on Symbolic Computation in Software Science, SCSS 2021.
Symbolic Computation is the science of computing with symbolic objects (terms, formulae, programs, representations of algebraic objects, etc.). Powerful algorithms have been developed during the past decades for the major subareas of symbolic computation: computer algebra and computational ...
Added: September 23, 2021
Maslov V. P., Mathematical notes 2021 Vol. 109 No. 2 P. 241–246
In this article, the notions of tropical mathematics and subtropical mathematics are studied. The main principles of tropical analysis and examples of their application to various problems are considered. ...
Added: February 7, 2021
Springer, 2020.
This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, Russia, in June 2020.
The 25 full papers and 6 invited papers were carefully reviewed and selected from 49 submissions. The papers cover a broad range of topics, such as: algorithms and data structures; computational complexity, including ...
Added: September 4, 2020
NY: ACM, 2018.
The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2018, to be held at the City University of New York, New York City, USA, is the 43rd meeting in this series. The series has been held annually since 1981. ISSAC is sponsored ...
Added: November 1, 2019
Springer, 2019.
Added: August 4, 2019
Anna Presnova, Valery Afanas'ev, , in: IFAC-PapersOnLineVol. 51. Issue 32.: Editions Elsevier, 2018. Ch. 45 P. 428–433.
The problem of optimal control is formulated for a class of nonlinear objects that can be represented as objects with a linear structure and parameters that depend on the state. The linear structure of the transformed nonlinear system and the quadratic functional of quality allow for the synthesis of optimal control, i.e. parameters of the ...
Added: November 4, 2018
Springer, 2018.
This book constitutes the refereed post-conference proceedings of the 29th International Workshop on Combinatorial Algorithms, IWOCA 2018, held in Singapore, Singapore, in July 2018. The 31 regular papers presented in this volume were carefully reviewed and selected from 69 submissions. They cover diverse areas of combinatorical algorithms, complexity theory, graph theory and combinatorics, combinatorial optimization, ...
Added: October 23, 2018
Babenko M. A., Artamonov S., , in: 28th International Symposium on Algorithms and Computation, ISAAC 2017Vol. 92.: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, 2017. P. 1–12.
Let G = (V,E) be an undirected graph, T ⊆ V be a set of terminals. Then a natural combinatorial problem consists in finding the maximum number of vertex-disjoint paths connecting distinct terminals. For this problem, a clever construction suggested by Gallai reduces it to computing a maximum non-bipartite matching and thus gives an O ( m ...
Added: March 1, 2018
Afanasiev V., Матвеева Н. А., Проблемы управления 2018 № 1 С. 37–46
In a method for synthesizing control of a nonlinear object with a quadratic quality functional is considered, based on the acceptance of the "extended linearization" of the initial mathematical model of the object. In this case, the parameters of the nonlinear regulator are determined by solutions of a matrix equation of Riccati type with parameters ...
Added: December 21, 2017
NY: ACM, 2017.
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation ...
Added: September 15, 2017
Linz: Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, 2014.
Unification is concerned with the problem of identifying terms, finding solutions for equations, or making formulas equivalent. It is a fundamental process used in a number of fields of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, types, etc. The International Workshop on Unification (UNIF) is a yearly forum ...
Added: October 13, 2015