Describir: A posteriori estimates for partial differential equations /