Describir: Computer-oriented mathematical physics