Add to ORKGWe study the algorithm for the construction of mathematical descriptions of real processes, which are characterized by the system of ordinary differential equations
AbstractWe present a brief survey of the methods and systems for automation of synthesis of formulat...
This book applies a step-by-step treatment of the current state-of-the-art of ordinary differential ...
In this paper we discuss algorithmic issues that arise in the problem of synthesis of dissipative sy...
Abstract. The problem of mathematical simulation of dynamic system characteristics behavior and thei...
<span lang="EN-US">The algorithm for parameter identification of adequate mathematical model in alge...
The problems of the synthesis of an adequate algebraic mathematical models and his further use are c...
In this chapter, adequacy estimation criteria for mathematical descriptions in the form of ordinary ...
AbstractWe present a brief survey of the methods and systems for automation of synthesis of formulat...
In our previous work, we proposed an inductive synthesis algorithm for recursive processes by a subs...
In our terminology, the term "formal synthesis" stands for a synthesis process where the ...
The development of principles for the modelling of solution processes of mathematical problems is th...
Introduction: The aim of the work is to develop an algorithm for designing a process based on synthe...
Considered the problem of optimization of the process of constructing specialized algorithms for the...
This paper explores automating the qualitative analysis of physical systems. It describes a program,...
International audienceIn this short paper extracted from [7], we present a polynomialization algorit...
AbstractWe present a brief survey of the methods and systems for automation of synthesis of formulat...
This book applies a step-by-step treatment of the current state-of-the-art of ordinary differential ...
In this paper we discuss algorithmic issues that arise in the problem of synthesis of dissipative sy...
Abstract. The problem of mathematical simulation of dynamic system characteristics behavior and thei...
<span lang="EN-US">The algorithm for parameter identification of adequate mathematical model in alge...
The problems of the synthesis of an adequate algebraic mathematical models and his further use are c...
In this chapter, adequacy estimation criteria for mathematical descriptions in the form of ordinary ...
AbstractWe present a brief survey of the methods and systems for automation of synthesis of formulat...
In our previous work, we proposed an inductive synthesis algorithm for recursive processes by a subs...
In our terminology, the term "formal synthesis" stands for a synthesis process where the ...
The development of principles for the modelling of solution processes of mathematical problems is th...
Introduction: The aim of the work is to develop an algorithm for designing a process based on synthe...
Considered the problem of optimization of the process of constructing specialized algorithms for the...
This paper explores automating the qualitative analysis of physical systems. It describes a program,...
International audienceIn this short paper extracted from [7], we present a polynomialization algorit...
AbstractWe present a brief survey of the methods and systems for automation of synthesis of formulat...
This book applies a step-by-step treatment of the current state-of-the-art of ordinary differential ...
In this paper we discuss algorithmic issues that arise in the problem of synthesis of dissipative sy...