Franz Brauße

Available identifiers

zbMath Open brausse.franzMaRDI QIDQ2055848

List of research outcomes

Publication	Date of Publication	Type
Semantics, specification logic, and Hoare logic of exact real computation	2024-06-27	Paper
The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints	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	2021-12-01	Paper
A CDCL-style calculus for solving non-linear constraints	2020-05-13	Paper
Towards Using Exact Real Arithmetic for Initial Value Problems	2016-12-21	Paper
Using Taylor Models in Exact Real Arithmetic	2016-05-25	Paper
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation	N/A	Paper

Research outcomes over time

This page was built for person: Franz Brauße