Norbert Th. Müller

Available identifiers

zbMath Open muller.norbert-thMaRDI QIDQ1292408

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
On combustion in a closed rectangular channel with initial vorticity	2022-04-14	Paper
The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints	2021-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q5150980	2021-02-16	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
Nonlinear dynamic behaviors of rod fastening rotor-hydrodynamic journal bearing system	2016-07-28	Paper
Using Taylor Models in Exact Real Arithmetic	2016-05-25	Paper
Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy	2015-08-24	Paper
From Calculus to Algorithms without Errors	2014-09-08	Paper
Jordan Areas and Grids	2013-05-03	Paper
Complexity of Operators on Compact Sets	2013-05-03	Paper
Real Numbers and BDDs	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	2007-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4531992	2002-05-27	Paper
Computability on random variables	1999-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4215127	1999-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q3788007	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3765758	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4120399	1976-01-01	Paper
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation	N/A	Paper

Research outcomes over time

This page was built for person: Norbert Th. Müller