isodata的matlab代码博客-Prophet:来自作者原始网站的Prophet工具副本

isodata的matlab代码博客这是上地方提到的先知工具，以及在迈阿密大学硕士生 Aman Kakkad () 的这篇研究论文中。 也可以在 、 和 中找到此工具的提及。 我在找到这个工具时遇到了很大的麻烦，因此我上传了它，以便它可以帮助其他人。 此工具的原始链接是 。 它列在网页上。 来自其原始网页的用户指南 Prophet Designed and Implemented by Yury Puzis Prophet is a tool that estimates the relevance of each axiom in a set, to (proving) a given conjecture. This relevance measure is based on the intuitive notion of whether or not formulae are "talking about the same things". In more concrete terms, this is measured in terms of the extent to whi