安德鲁斯，彼得·B·。;马修·毕晓普;乍得·E·布朗。 系统描述：TPS：类型理论的定理证明系统。 （英语） Zbl 0963.68530号 David McAllester（编辑），《自动扣除-CADE-17》。第17届国际会议，匹兹堡，宾夕法尼亚州，美国，2000年6月17日至20日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1831, 164-169 (2000). 关于整个系列，请参见[Zbl 0939.00024号]. 引用于6文件 理学硕士： 68吨15 定理证明（演绎、解析等）（MSC2010） 软件：PVS公司;Nuprl公司;数学软件;ETPS公司;测试程序集;Specware（特殊软件） PDF格式BibTeX公司 XML格式引用 \textit{P.B.Andrews}等人，Lect。注释计算。科学。1831、164--169（2000年；Zbl 0963.68530）