Analytica --- an experiment in combining theorem proving and symbolic computation
scientific article; zbMATH DE number 1234678