Norbert Th. Müller

From MaRDI portal
Person:1292408

Available identifiers

zbMath Open muller.norbert-thMaRDI QIDQ1292408

List of research outcomes

PublicationDate of PublicationType
The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints2023-09-21Paper
On combustion in a closed rectangular channel with initial vorticity2022-04-14Paper
The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints2021-12-01Paper
https://portal.mardi4nfdi.de/entity/Q51509802021-02-16Paper
A CDCL-style calculus for solving non-linear constraints2020-05-13Paper
Towards Using Exact Real Arithmetic for Initial Value Problems2016-12-21Paper
Nonlinear dynamic behaviors of rod fastening rotor-hydrodynamic journal bearing system2016-07-28Paper
Using Taylor Models in Exact Real Arithmetic2016-05-25Paper
Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy2015-08-24Paper
From Calculus to Algorithms without Errors2014-09-08Paper
Jordan Areas and Grids2013-05-03Paper
Complexity of Operators on Compact Sets2013-05-03Paper
Real Numbers and BDDs2013-04-19Paper
Parameterized Uniform Complexity in Numerics: from Smooth to Analytic, from NP-hard to Polytime2012-11-21Paper
Numerical Software with Result Verification2007-09-28Paper
https://portal.mardi4nfdi.de/entity/Q45319922002-05-27Paper
Computability on random variables1999-06-21Paper
https://portal.mardi4nfdi.de/entity/Q42151271999-02-14Paper
https://portal.mardi4nfdi.de/entity/Q37880071987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37657581986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41203991976-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


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