DISCOVERER 是夏壁灿用 Maple 语言开发的一个求半代数系统实解等相关问题的软件包。

该软件包可被自由地用于教学和科研，但别的用途需征得作者同意。

Version of 2007/06/11: site1 site2

Version of 2007/09/28: site1 site2

自2008年8月起，DISCOVERER已作为一个新增功能出现在 Maple 13 的 RegularChain 软件包里。这里不再提供下载。