أرسل هذا في رسالة قصيرة: Adaptive Galerkin approximation algorithms for partial differential equations in infinite dimensions