Franz Brauße
From MaRDI portal
Person:2055848
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| 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 |
| Computer Science for Continuous Data | 2022-12-21 | Paper |
| The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints (available as arXiv preprint) | 2021-12-01 | 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 |
| Using Taylor models in exact real arithmetic Mathematical Aspects of Computer and Information Sciences | 2016-05-25 | Paper |
| Semantics, Specification Logic, and Hoare Logic of Exact Real Computation (available as arXiv preprint) | N/A | Paper |
Research outcomes over time
This page was built for person: Franz Brauße
