Artículos con órdenes de acceso público - Marek KoštaMás información
Disponibles en algún lugar: 5
New concepts for real quantifier elimination by virtual substitution
M Košta
Órdenes: German Research Foundation
Identifying the parametric occurrence of multiple steady states for some biological networks
R Bradford, JH Davenport, M England, H Errami, V Gerdt, D Grigoriev, ...
Journal of Symbolic Computation 98, 84-119, 2020
Órdenes: German Research Foundation, European Commission, Agence Nationale de la …
A case study on the parametric occurrence of multiple steady states
R Bradford, JH Davenport, M England, H Errami, V Gerdt, D Grigoriev, ...
Proceedings of the 2017 ACM on International Symposium on Symbolic and …, 2017
Órdenes: German Research Foundation, European Commission, Federal Ministry of …
Towards conflict-driven learning for virtual substitution
K Korovin, M Kosta, T Sturm
Computer Algebra in Scientific Computing: 16th International Workshop, CASC …, 2014
Órdenes: German Research Foundation
Better answers to real questions
M Košta, T Sturm, A Dolzmann
Journal of Symbolic Computation 74, 255-275, 2016
Órdenes: German Research Foundation
La información de publicación y financiación se determina de forma automática mediante un programa informático