TY - JOUR AU - Beelitz, Thomas AU - Bischof, Christian AU - Lang, Bruno TI - A hybrid subdivision strategy for result-verifying nonlinear solvers JO - Proceedings in applied mathematics and mechanics : PAMM VL - 4 IS - 1 SN - 1617-7061 CY - Weinheim [u.a.] PB - Wiley-VCH M1 - RWTH-CONV-199685 SP - 632-633 PY - 2004 T2 - GAMM Annual Meeting 2004 CY - 21 Mar 2004 - 27 Mar 2004, Dresden (Germany) Y2 - 21 Mar 2004 - 27 Mar 2004 M2 - Dresden, Germany LB - PUB:(DE-HGF)16 ; PUB:(DE-HGF)8 DO - DOI:10.1002/pamm.200410297 UR - https://publications.rwth-aachen.de/record/151813 ER -