Thomas Beelitz

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Thomas Beelitz, Bruno Lang, Peer Ueberholz, Paul R. Willems
Closing the Case t = 3 for 3-D Spherical t-Designs Using a Result-Verifying Nonlinear Solver. Reliab. Comput. 14 (2010)
Thomas Beelitz, Andreas Frommer, Bruno Lang, Paul R. Willems
A framework for existence tests based on the topological degree and homotopy. Numerische Mathematik 111 (4) (2009)
Martin Mönnigmann, Wolfgang Marquardt, Christian H. Bischof, Thomas Beelitz, Bruno Lang, Paul R. Willems
A Hybrid Approach for Efficient Robust Design of Dynamic Systems. SIAM Rev. 49 (2) (2007)
Thomas Beelitz, Bruno Lang, Christian H. Bischof
Efficient Task Scheduling in the Parallel Result-Verifying Solution of Nonlinear Systems. Reliab. Comput. 12 (2) (2006)
Thomas Beelitz, Christian H. Bischof, Bruno Lang, Klaus Schulte Althoff
Result-Verifying Solution of Nonlinear Systems in the Analysis of Chemical Processes. Numerical Software with Result Verification (2003)