DEDEKIND相关论文