欧多克索斯、阿基米德和刘徽等人对微积分的贡献主要体现在什么方面？