都铎Jebelean 用于元素分析的启发式证明程序枣灰蝶属. （英语） Zbl 1485.68284号 Kamaredine，Fairouz（编辑）等人，《智能计算机数学》。2021年7月26日至31日，罗马尼亚蒂米苏拉第十四届国际会议，CICM 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12833130-134（2021年）。MSC公司：第68卷第15页 26-01 68T20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.Jebelean}，莱克特。注释计算。科学。12833，130-134（2021；Zbl 1485.68284） 全文： 内政部
彼得·弗兰克;马雷克·克查尔 方程组的鲁棒可满足性。 （英语） Zbl 1423.68208号 美国临床医学杂志 62，第4号，第26条，第19页（2015年）.MSC公司：65年第68季度 26比99 65H10型 PDF格式BibTeX公司 XML格式引用 \textit{P.Franek}和\textit{M.Král}，J.ACM 62，第4号，第26条，第19页（2015；Zbl 1423.68208） 全文： 内政部 arXiv公司
利索维克，L.P。 部分连续函数公理理论和皮亚诺曲线。 （英语。俄语原件） Zbl 0824.03033号 赛博。系统。分析。 29，第3期，350-357（1993）; 翻译自Kibern。修女。分析。1993年，第3期，58-68（1993）。MSC公司：03层60 2005年第68季度 03D20日 26A30型 26E40型 PDF格式BibTeX公司 XML格式引用 \textit{L.P.Lisovik}，Cybern。系统。分析。29，第3、1号（1993；Zbl 0824.03033）；翻译自Kibern。修女。分析。1993年，第3期，58--68（1993） 全文： 内政部