Applications of adaptivity in verified numerics

Zitieren

Zugehöriges Material

Banff International Research Station (BIRS) for Mathematical Innovation and Discovery

Williams, J.F.

Formale Metadaten

Titel

Applications of adaptivity in verified numerics

Alternativer Titel

Applications of moving mesh methods in rigorous computing

Serientitel

Adaptive Numerical Methods for Partial Differential Equations with Applications (18w5148)

Anzahl der Teile

Autor

Williams, J.F.

Lizenz

CC-Namensnennung - keine kommerzielle Nutzung - keine Bearbeitung 4.0 International:
Sie dürfen das Werk bzw. den Inhalt in unveränderter Form zu jedem legalen und nicht-kommerziellen Zweck nutzen, vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen.

Identifikatoren

10.5446/59112 (DOI)

Herausgeber

Banff International Research Station (BIRS) for Mathematical Innovation and Discovery

Erscheinungsjahr

2018

Sprache

Englisch

Inhaltliche Metadaten

Fachgebiet

Informatik Mathematik Physik

Genre

Workshop/Interaktives Format Vorlesung

Abstract

This talk will introduce the field of rigorous computing and explain some of the problems it solves and tools it requires in a classical fixed grid context. We will then consider continuation problems where moving meshes are particularly useful. r-adaptive methods provide numerical efficiency and also simplify some of the topological technicalities in this approach.