贾斯珀·纳尔巴赫;艾丽卡·阿尔布拉汉姆;菲利普·斯佩克特;克里斯托弗·布朗（Christopher W.Brown）。;詹姆斯·H·达文波特。;英格兰，马修 单个圆柱形代数单元的水平构造。 （英文） Zbl 07799840号 J.塞姆。计算。 123，文章ID 102288，44 p.（2024）.MSC公司：68瓦xx 68泰克 03Cxx号 PDF格式BibTeX公司 XML格式引用 \textit{J.Nalbach}等人，J.Symb。计算。123，文章ID 102288，44 p.（2024；Zbl 07799840） 全文： 内政部 arXiv公司
艾丽卡·阿尔布拉汉姆;詹姆斯·H·达文波特。;英格兰，马修;基里恩·克莱默 使用柱面代数覆盖通过冲突驱动搜索确定非线性实数算术约束的一致性。 （英文） Zbl 1509.68243号 J.日志。阿尔盖布。方法计划。 119，文章ID 100633，33 p.（2021）.MSC公司：68T20型 68伏15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，J.Log。阿尔盖布。方法计划。119，文章ID 100633，33 p.（2021；Zbl 1509.68243） 全文： 内政部 arXiv公司
基里恩·克莱默;艾丽卡·阿尔布拉汉姆 完全增量柱面代数分解。 （英文） Zbl 1432.68601号 J.塞姆。计算。 100, 11-37 (2020).MSC公司：68瓦30 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{G.Kremer}和\textit{E.ábrahám}，J.Symb。计算。100,11--37（2020年；Zbl 1432.68601） 全文： 内政部
E·阿尔布拉哈姆。;雅培，J。;B.贝克尔。;A.M.比加蒂。;Brain，M。;巴赫伯格，B。;A.西马蒂。;J.H.达文波特。;英格兰，M。;方丹，P。;福雷斯特，S。;A.格里乔。;克罗宁，D。;西勒，W.M。;Sturm，T。 满意度检查和符号计算。 （英文） Zbl 1365.68478号 ACM通信。计算。代数 50，第4期，145-147（2016）.MSC公司：68瓦30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，ACM Commun。计算。代数50，第4期，145-147（2016；Zbl 1365.68478） 全文： 内政部 arXiv公司 链接
艾丽卡·阿尔布拉汉姆;约翰·阿伯特;贝恩德·贝克尔;安娜·比加蒂（Anna M.Bigatti）。;布莱恩，马丁;布赫伯格，布鲁诺;亚历山德罗·西马蒂;詹姆斯·H·达文波特。;英格兰，马修;帕斯卡·方丹;史蒂芬·福雷斯特;阿尔贝托·格里乔;丹尼尔·克罗宁;Werner M.塞勒。;托马斯·斯特姆 供应链\（^2）：可满足性检查满足符号计算。（项目文件）。 （英文） Zbl 1344.68198号 Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。人工智能课堂讲稿，28-43（2016）。MSC公司：68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。注释计算。科学。9791，28-43（2016；Zbl 1344.68198） 全文： 内政部 arXiv公司
弗洛里安·科齐利厄斯;艾丽卡·阿尔布拉汉姆 SMT求解的虚拟替代。 （英文） Zbl 1342.68282号 Owe，Olaf（编辑）等人，《计算理论基础》。2011年8月22日至25日在挪威奥斯陆举行的FCT 2011第18届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22952-7/pbk）。计算机科学课堂讲稿6914，360-371（2011）。MSC公司：68吨15 03B20型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{F.Corzilius}和\textit{E.ábrahám}，莱克特。注释计算。科学。6914，360-371（2011；Zbl 1342.68282） 全文： 内政部