Epsilon-Delta-Checker下载

Epsilon-Delta-Checker 这个 Epsilon Delta Checker 迭代地为给定的 epsilon、函数和评估 delta 的点找到著名的 delta-epsilon 证明的解决方案。 由于一方面是时间问题，另一方面是精度问题，精度已通过实验选择为 10^-8。 功能还不包括逻辑/e 函数或三角函数。 我将在不久的将来努力更新它。 罗欣