Formalization of inverse problems and applications to systems of equations with parameters

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.

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.

Type	Report abstract
Authors	Gutman Alexander Efimovich Kononenko Larisa Ivanovna
Title	Formalization of inverse problems and applications to systems of equations with parameters
Book	Geometric Analysis and Control Theory. International conference (Novosibirsk, December, 8–12, 2016): Proceedings
Address	Novosibirsk
Publishers	Sobolev Institute of Mathematics SB RAS
Year	2016
Pages	40–42
Language	English
©	2016.12.11
Files	Report abstract (PDF) Cover (PDF) Abstracts (PDF)
Links	Record in BibTeX format Information on ResearchGate Abstracts on the site (PDF) Program on the conference site (PDF) Conference site
Project	Problem formalism Use of binary correspondences for formalization of the notion of problem and related notions