An elimination theory for differential algebra | lit.salon