A new symbolic processor for the Earth rotation theory
scientific article; zbMATH DE number 1783560