Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers
Franek, Peter, Ratschan, Stefan, Zgliczynski, Piotr
Published in Journal of automated reasoning (01.08.2016)
Published in Journal of automated reasoning (01.08.2016)
Get full text
Journal Article
Controlling factors for slope instability in a seismically active region: The NW-Svalbard continental margin
Osti, Giacomo, Franek, Peter, Forwick, Matthias, Laberg, Jan Sverre
Published in Marine geology (01.08.2017)
Published in Marine geology (01.08.2017)
Get full text
Journal Article
Role of tectonic stress in seepage evolution along the gas hydrate-charged Vestnesa Ridge, Fram Strait
Plaza-Faverola, A., Bünz, S., Johnson, J. E., Chand, S., Knies, J., Mienert, J., Franek, P.
Published in Geophysical research letters (16.02.2015)
Published in Geophysical research letters (16.02.2015)
Get full text
Journal Article
Solving equations and optimization problems with uncertainty
Franek, Peter, Krčál, Marek, Wagner, Hubert
Published in Journal of applied and computational topology (01.06.2018)
Published in Journal of applied and computational topology (01.06.2018)
Get full text
Journal Article
Computing simplicial representatives of homotopy group elements
Filakovský, Marek, Franek, Peter, Wagner, Uli, Zhechev, Stephan
Published in Journal of applied and computational topology (01.12.2018)
Published in Journal of applied and computational topology (01.12.2018)
Get full text
Journal Article
Effective Topological Degree Computation Based on Interval Arithmetic
Get full text
Paper
Journal Article
Quasi-decidability of a Fragment of the First-order Theory of Real Numbers
Get full text
Paper
Journal Article