Norbert Th. Müller

Available identifiers

zbMath Open muller.norbert-thMaRDI QIDQ1292408

List of research outcomes

Publication	Date of Publication	Type
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	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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