MDDs Boost Equation Solving on Discrete Dynamical Systems

Autor:	Sara Riva, Jean-Charles Régin, Enrico Formenti
Rok vydání:	2021
Předmět:	Class (set theory) Polynomial Dynamical systems theory ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION Finite case Structure (category theory) Applied mathematics Mathematics Equation solving
Zdroj:	Integration of Constraint Programming, Artificial Intelligence, and Operations Research ISBN: 9783030782290 CPAIOR
DOI:	10.1007/978-3-030-78230-6_13
Popis:	Discrete dynamical systems (DDS) are a model to represent complex phenomena appearing in many different domains. In the finite case, they can be identified with a particular class of graphs called dynamics graphs. In [9] polynomial equations over dynamics graphs have been introduced. A polynomial equation represents a hypothesis on the fine structure of the system. Finding the solutions of such equations validate or invalidate the hypothesis.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::02d4dbf7b78d3da20a038b5bc9c65356 https://doi.org/10.1007/978-3-030-78230-6_13 Zobrazit plný text záznamu