| Publication | Date of Publication | Type |
|---|
Semantics, specification logic, and Hoare logic of exact real computation
Logical Methods in Computer Science | 2024-06-27 | Paper |
The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints
Theoretical Computer Science | 2023-09-21 | Paper |
On combustion in a closed rectangular channel with initial vorticity
Combustion Theory and Modelling | 2022-04-14 | Paper |
The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints
(available as arXiv preprint) | 2021-12-01 | Paper |
| Making big steps in trajectories | 2021-02-16 | Paper |
A CDCL-style calculus for solving non-linear constraints
(available as arXiv preprint) | 2020-05-13 | Paper |
Towards using exact real arithmetic for initial value problems
Lecture Notes in Computer Science | 2016-12-21 | Paper |
Nonlinear dynamic behaviors of rod fastening rotor-hydrodynamic journal bearing system
Archive of Applied Mechanics | 2016-07-28 | Paper |
Using Taylor models in exact real arithmetic
Mathematical Aspects of Computer and Information Sciences | 2016-05-25 | Paper |
Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy
Journal of Complexity | 2015-08-24 | Paper |
From Calculus to Algorithms without Errors
Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
Jordan Areas and Grids
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
Complexity of operators on compact sets
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
Real numbers and BDDs
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
| Parameterized Uniform Complexity in Numerics: from Smooth to Analytic, from NP-hard to Polytime | 2012-11-21 | Paper |
Numerical Software with Result Verification
Lecture Notes in Computer Science | 2007-09-28 | Paper |
| scientific article; zbMATH DE number 1746043 (Why is no real title available?) | 2002-05-27 | Paper |
Computability on random variables
Theoretical Computer Science | 1999-06-21 | Paper |
| scientific article; zbMATH DE number 1217760 (Why is no real title available?) | 1999-02-14 | Paper |
| scientific article; zbMATH DE number 4051615 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4023258 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3545460 (Why is no real title available?) | 1976-01-01 | Paper |
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
(available as arXiv preprint) | N/A | Paper |
