Zobrazeno 1 - 10
of 407
pro vyhledávání: '"Sturm T"'
Autor:
Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Kosta, M., Radulescu, O., Sturm, T., Weber, A.
Publikováno v:
Journal of Symbolic Computation, volume 98, pp. 84 - 119, Elsevier 2020
We consider a problem from biological network analysis of determining regions in a parameter space over which there are multiple steady states for positive real values of variables and parameters. We describe multiple approaches to address the proble
Externí odkaz:
http://arxiv.org/abs/1902.04882
Autor:
Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J. H., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. M., Sturm, T.
Publikováno v:
M. Kohlhase, M. Johansson, B. Miller, L. de Moura, F. Tompa, eds., Intelligent Computer Mathematics (Proceedings of CICM 2016), pp. 28-43, (Lecture Notes in Computer Science, 9791). Springer International Publishing, 2016
Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, implementation and application of decision procedures for arithmetic theories
Externí odkaz:
http://arxiv.org/abs/1607.08028
Autor:
Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J. H., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. M., Sturm, T.
Publikováno v:
ACM Communications in Computer Algebra, 50:4 (issue 198), pp. 145-147, ACM, 2016
Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these commonalities,
Externí odkaz:
http://arxiv.org/abs/1607.06945
Publikováno v:
In Journal of Psychosomatic Research August 2018 111:133-139
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Recently, symbolic computation and computer algebra systems have beensuccessfully applied in systems biology, especially in chemical reactionnetwork theory. One advantage of symbolic computation is its potential forqualitative answers to biological q
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1874::f9f206ef90b352ba6f001a943d6ba72d
https://hdl.handle.net/21.11116/0000-000B-6551-821.11116/0000-000B-654F-C
https://hdl.handle.net/21.11116/0000-000B-6551-821.11116/0000-000B-654F-C
Autor:
Rahkooy, H., Sturm, T.
Motivated by problems arising with the symbolic analysis of steady state ideals in Chemical Reaction Network Theory, we consider the problem of testing whether the points in a complex or real variety with non-zero coordinates form a coset of a multip
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1874::9757fe7babc187b43c22f9ef4b6d1477
https://hdl.handle.net/21.11116/0000-0008-0A76-921.11116/0000-0008-0A78-7
https://hdl.handle.net/21.11116/0000-0008-0A76-921.11116/0000-0008-0A78-7