Gutman A.E., Kononenko L.I.
Formalization of inverse problems and applications to systems of equations with parameters //
Report abstract. Geometric Analysis and Control Theory. International conference (Novosibirsk, December, 8--12, 2016): Proceedings. Novosibirsk: Sobolev Institute of Mathematics SB RAS, 2016. P. 40--42.
@inproceedings { Gutman20161211,
author = "Gutman A.E. and Kononenko L.I.",
title = "Formalization of inverse problems and applications to systems of equations with parameters",
booktitle = "Geometric Analysis and Control Theory. International conference (Novosibirsk, December, 8--12, 2016): Proceedings",
address = "Novosibirsk",
publisher = "Sobolev Institute of Mathematics SB RAS",
year = "2016",
pages = "40--42",
annote = "We show how binary correspondences can be used for simple formalization of the notion of problem, definition of the basic components of problems, their properties, and constructions (the condition of a problem, its data and unknowns, solvability and unique solvability of a problem, inverse problem, composition and restriction of problems, etc.). As an illustration, we consider a system of differential equations which describe a process in chemical kinetics, as well as the inverse problem."
}