Thomas Beelitz

From MaRDI portal



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!

PublicationDate of PublicationType
Symbolic-Numeric Techniques for Solving Nonlinear Systems
PAMM
2018-07-26Paper
A hybrid subdivision strategy for result-verifying nonlinear solvers
PAMM
2017-01-24Paper
scientific article; zbMATH DE number 5773704 (Why is no real title available?)2010-08-20Paper
A framework for existence tests based on the topological degree and homotopy
Numerische Mathematik
2009-03-26Paper
Numerical Software with Result Verification
Lecture Notes in Computer Science
2007-09-28Paper
A Hybrid Approach for Efficient Robust Design of Dynamic Systems
SIAM Review
2007-06-26Paper
Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
Reliable Computing
2006-01-23Paper


Research outcomes over time


This page was built for person: Thomas Beelitz