编辑配置文件（在新选项卡中打开） 贾尼契奇，普雷德拉格 合著者距离 作者ID： 珍妮西·普雷德拉格 发布日期： 贾尼契奇，普雷德拉格;Predrag Janicic公司 主页： http://poincare.matf.bg.ac.rs/~贾尼西克/ 外部链接： MGP公司·ORCID公司·维基数据·数据库许可证 已编制索引的文档： 38出版物自1995年以来，包括1本书 2作为编辑的贡献 合著者： 32位合著者具有36联合出版物 300名合作作者 全部的 前5名合著者 4 单作者的 6 菲利普·马里奇 6 韦斯纳·马林科维奇 6 朱利安·纳布克斯 4 阿兰·邦迪 4 佐尔坦科瓦奇 4 佩德罗·夸雷斯马 三 帕斯卡·施莱克 2 格林，伊恩 2 马尔科·马利科维奇 2 姆拉丹·尼科利奇 2 萨那斯托亚诺维奇 1 马克·贝泽姆 1 弗朗西斯科·博塔纳 1 卢西奥·科埃略 1 内纳德·德迪奇 1 雅克·弗莱里奥。 1 尼尔·盖斯威勒 1 本·戈泽尔 1 马库斯·霍恩瓦特 1 马蒂亚·贾姆尼克 1 德扬·约瓦诺维奇 1 Stevan Lj Kordić。 1 彼得·马克西莫维奇 1 帕斯卡·马蒂斯 1 Vesna巴甫洛维奇 1 凯西奥·佩纳钦 1 伊万·彼得罗维奇 1 托马斯·雷西奥 1 米利卡·塞拉科维奇 1 萨那斯托亚诺维奇 1 戈兰·泰尔齐奇 1 西蒙·魏茨霍弗 全部的 前5名系列 5 自动化推理杂志 4 数学与人工智能年鉴 三 计算机科学中的逻辑方法 1 符号计算杂志 1 吉泰。实验与理论人工智能杂志 1 《数理逻辑季刊》 1 菲洛马 1 Informatica（维尔纽斯） 1 计算与信息学 1 几何论坛 1 计算机科学中的数学 1 亚特兰蒂斯思维机器 1 理论计算机科学电子论文集（EPTCS） 全部的 前5名领域 34 计算机科学（68至XX） 12 数学逻辑和基础（03-XX） 10 几何图形（51-XX） 2 总体主题；集合（00-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 凸几何和离散几何（52至XX） 1 信息与通信理论、电路（94-XX） 1 数学教育（97-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 27出版物有被引用189中的次93文件 引用人▼ 年份▼ GeoGebra中的自动定理证明：当前成就。 Zbl 1356.68181号 弗朗西斯科·博塔纳;马库斯·霍恩瓦特;贾尼契奇，普雷德拉格;佐尔坦科瓦奇;伊万·彼得罗维奇;托马斯·雷西奥;西蒙·魏茨霍弗 26 2015 面积法。概述。 Zbl 1242.68281号 贾尼契奇，普雷德拉格;朱利安·纳布克斯;佩德罗·夸雷斯马 21 2012 GCLC–一个用于构造欧几里德几何的工具。 兹比尔1230.51024 贾尼契奇，普雷德拉格 20 2006 几何构造语言。 Zbl 1185.68626号 贾尼契奇，普雷德拉格 14 2010 一种基于相干逻辑的几何定理证明程序，能够生成形式化且可读的证明。 Zbl 1252.68264号 斯托亚诺维奇，萨那;Vesna巴甫洛维奇;贾尼契奇，普雷德拉格 13 2011 GeoThms–用于欧几里德构造几何的网络系统。 Zbl 1278.68279号 佩德罗·夸雷斯马;贾尼契奇，普雷德拉格 10 2007 机器可验证和可读证明的自动生成：塔斯基几何的案例研究。 Zbl 1327.68206号 萨那斯托亚诺维奇;朱利安·纳布克斯;贾尼契奇，普雷德拉格 9 2015 集成动态几何软件、演绎系统和定理库。 Zbl 1188.68264号 佩德罗·夸雷斯马;贾尼契奇，普雷德拉格 8 2006 几何构造问题可验证求解的计算机定理证明。 Zbl 1434.03032号 韦斯纳·马林科维奇;贾尼契奇，普雷德拉格;帕斯卡·施莱克 7 2015 了解三角形构造问题。 Zbl 1359.68265号 韦斯纳·马林科维奇;贾尼契奇，普雷德拉格 7 2012 URSA：统一降为SAT的系统。 Zbl 1248.68456号 贾尼契奇，普雷德拉格 7 2012 连贯逻辑的方言。 Zbl 1304.68163号 萨那斯托亚诺维奇;朱利安·纳布克斯;马克·贝泽姆;贾尼契奇，普雷德拉格 6 2014 动态几何系统中规则构造的自动验证。 Zbl 1195.68092号 贾尼契奇，普雷德拉格;佩德罗·夸雷斯马 6 2007 哈希函数的逻辑分析。 Zbl 1171.94351号 德扬·约瓦诺维奇;贾尼契奇，普雷德拉格 5 2005 SAT抽象状态转移系统的形式化。 Zbl 1237.68179号 菲利普·马里奇;贾尼契奇，普雷德拉格 5 2011 灵活组合和增强决策过程的一般设置。 Zbl 1003.03012号 贾尼契奇，普雷德拉格;阿兰·邦迪 4 2002 URBiVA：位向量算术的统一归约。 Zbl 1291.68361号 菲利普·马里奇;贾尼契奇，普雷德拉格 4 2010 合成几何中的计算机辅助定理证明。 Zbl 1425.68377号 朱利安·纳布克斯;贾尼契奇，普雷德拉格;雅克·弗莱里奥 三 2019 韦尼克的名单：最后更新。 兹比尔1335.51002 帕斯卡·施莱克;帕斯卡·马蒂斯;韦斯纳·马里科维奇;Janicic、Predrag 三 2016 三角形定位问题的可构造类。 Zbl 1342.51017号 帕斯卡·施莱克;韦斯纳·马林科维奇;贾尼契奇，普雷德拉格 2 2016 DPLL过程的形式正确性证明。 Zbl 1209.68514号 菲利普·马里奇;贾尼契奇，普雷德拉格 2 2010 欧几里德几何定理证明者。 Zbl 0846.68093号 贾尼契奇，普雷德拉格;斯特万·科尔迪奇 2 1995 用相干逻辑证明作为约束求解的定理。 Zbl 1511.68316号 贾尼契奇，普雷德拉格;朱利安·纳布克斯 1 2022 将一类决策过程灵活集成到定理证明器中的框架。 Zbl 0941.68122号 贾尼契奇，普雷德拉格;阿兰·邦迪;格林，伊恩 1 1999 普雷斯伯格算法中决策程序的比较。 Zbl 1014.03504号 贾尼契奇，普雷德拉格;格林，伊恩;阿兰·邦迪 1 1997 基于CDCL的相干逻辑抽象状态转移系统。 Zbl 1360.68761号 姆拉丹·尼科利奇;贾尼契奇，普雷德拉格 1 2012 几何投资组合定理证明和证明程序运行时预测。 Zbl 1431.68123号 姆拉丹·尼科利奇;韦斯纳·马林科维奇;佐尔坦科瓦奇;贾尼契奇，普雷德拉格 1 2019 用相干逻辑证明作为约束求解的定理。 Zbl 1511.68316号 贾尼契奇，普雷德拉格;朱利安·纳布克斯 1 2022 合成几何中的计算机辅助定理证明。 Zbl 1425.68377号 朱利安·纳布克斯;贾尼契奇，普雷德拉格;雅克·弗莱里奥 三 2019 几何投资组合定理证明和证明程序运行时预测。 Zbl 1431.68123号 姆拉丹·尼科利奇;韦斯纳·马林科维奇;佐尔坦科瓦奇;贾尼契奇，普雷德拉格 1 2019 韦尼克的名单：最后更新。 Zbl 1335.51002号 帕斯卡·施莱克;帕斯卡·马蒂斯;韦斯纳·马里科维奇;Janicic、Predrag 三 2016 三角形定位问题的可构造类。 兹比尔1342.51017 帕斯卡·施莱克;韦斯纳·马林科维奇;贾尼契奇，普雷德拉格 2 2016 GeoGebra中的自动定理证明：当前成就。 Zbl 1356.68181号 弗朗西斯科·博塔纳;马库斯·霍恩瓦特;贾尼契奇，普雷德拉格;佐尔坦科瓦奇;伊万·彼得罗维奇;托马斯·雷西奥;西蒙·威茨霍费尔 26 2015 机器可验证和可读证明的自动生成：塔斯基几何的案例研究。 Zbl 1327.68206号 萨那斯托亚诺维奇;朱利安·纳布克斯;贾尼契奇，普雷德拉格 9 2015 几何构造问题可验证求解的计算机定理证明。 Zbl 1434.03032号 韦斯纳·马林科维奇;贾尼契奇，普雷德拉格;帕斯卡·施莱克 7 2015 连贯逻辑的一种方言。 Zbl 1304.68163号 萨那斯托亚诺维奇;朱利安·纳布克斯;马克·贝泽姆;贾尼契奇，普雷德拉格 6 2014 面积法。概述。 Zbl 1242.68281号 贾尼契奇，普雷德拉格;朱利安·纳布克斯;佩德罗·夸雷斯马 21 2012 了解三角形构造问题。 Zbl 1359.68265号 韦斯纳·马林科维奇;贾尼契奇，普雷德拉格 7 2012 URSA：统一降为SAT的系统。 Zbl 1248.68456号 贾尼契奇，普雷德拉格 7 2012 基于CDCL的相干逻辑抽象状态转移系统。 Zbl 1360.68761号 姆拉丹·尼科利奇;贾尼契奇，普雷德拉格 1 2012 一种基于相干逻辑的几何定理证明程序，能够生成形式化且可读的证明。 Zbl 1252.68264号 萨那斯托亚诺维奇;Vesna巴甫洛维奇;贾尼契奇，普雷德拉格 13 2011 SAT抽象状态转移系统的形式化。 Zbl 1237.68179号 菲利普·马里奇;贾尼契奇，普雷德拉格 5 2011 几何构造语言。 Zbl 1185.68626号 贾尼契奇，普雷德拉格 14 2010 URBiVA：位向量算法的统一约简。 Zbl 1291.68361号 菲利普·马里奇;贾尼契奇，普雷德拉格 4 2010 DPLL过程的形式正确性证明。 Zbl 1209.68514号 菲利普·马里奇;贾尼契奇，普雷德拉格 2 2010 GeoThms–用于欧几里德构造几何的网络系统。 Zbl 1278.68279号 佩德罗·夸雷斯马;贾尼契奇，普雷德拉格 10 2007 动态几何系统中规则结构的自动验证。 Zbl 1195.68092号 贾尼契奇，普雷德拉格;佩德罗·夸雷斯马 6 2007 GCLC–一个用于构造欧几里德几何的工具。 Zbl 1230.51024号 贾尼契奇，普雷德拉格 20 2006 集成动态几何软件、推导系统和定理库。 Zbl 1188.68264号 佩德罗·夸雷斯马;贾尼契奇，普雷德拉格 8 2006 哈希函数的逻辑分析。 Zbl 1171.94351号 德扬·约瓦诺维奇;贾尼契奇，普雷德拉格 5 2005 灵活组合和扩充决策程序的通用设置。 Zbl 1003.03012号 贾尼契奇，普雷德拉格;阿兰·邦迪 4 2002 将一类决策过程灵活集成到定理证明器中的框架。 Zbl 0941.68122号 贾尼契奇，普雷德拉格;阿兰·邦迪;格林，伊恩 1 1999 普雷斯伯格算法中决策程序的比较。 Zbl 1014.03504号 贾尼契奇，普雷德拉格;格林，伊恩;阿兰·邦迪 1 1997 欧几里德几何定理证明者。 Zbl 0846.68093号 贾尼契奇，普雷德拉格;斯特万·科尔迪奇 2 1995 所有引用出版物 前5名被引用出版物 全部的 前5名119位作者引用 18 贾尼契奇，普雷德拉格 12 佐尔坦科瓦奇 10 佩德罗·夸雷斯马 9 朱利安·纳布克斯 9 托马斯·雷西奥 8 菲利普·马里奇 7 弗朗西斯科·博塔纳 7 帕斯卡·施莱克 6 韦斯纳·马林科维奇 4 陈晓宇 三 塞拉州索利姆-盖塞 三 菲利普·托德。 三 王东明 三 奥列格·谢尔盖维奇·扎金 2 米盖尔·安杰尔·阿巴纳德斯（Miguel Angel Abánades） 2 努诺·贝塔 2 班科维奇，米兰 2 迈克尔·比森。 2 皮埃尔·布特里 2 加布里埃尔·布劳恩 2 罗兰·科希托 2 罗伊·戴克霍夫 2 西尔维奥·吉拉尔迪 2 亚当·格拉博夫斯基 2 格拉齐亚尼，皮耶路易吉 2 斯蒂芬·科切马佐夫 2 帕斯卡·马蒂斯 2 Aleksandr Anatol’evich塞梅诺夫 2 萨那斯托亚诺维奇 2 萨那斯托亚诺维奇 2 维莱兹，M.Pilar 2 张景忠 1 阿卜杜勒马利克·阿卜杜塞勒拉姆 1 Satbek Abdyldayev 1 Aley和Danny 1 亚历山德罗·阿曼多 1 珍妮特·巴恩斯 1 米歇尔·巴塔利 1 乌尔里希·伯杰 1 伊夫·贝托特 1 马克·贝泽姆 1 马丁·比利奇 1 贾斯敏·克里斯蒂安·布兰切特 1 杰里·布莱泽克 1 Bøgsted Poulsen，丹尼 1 勇敢，埃里克·约翰 1 大卫·J·布朗。 1 Henrik曹 1 罗德里克·查普曼 1 陈，毛 1 陈启航 1 奇帕尔卡蒂（Jaydeep V.Chipalkatti）。 1 瑟·特凡·乔巴赫 1 安德鲁·库克。 1 达塔，普拉提语 1 伊凡·德雷村 1 拉塔·杜塔 1 比尔·J·埃利斯。 1 雅克·弗莱里奥。 1 马蒂亚斯·弗勒里 1 杰恩·达维德·盖内沃 1 伊琳娜·格里巴诺娃 1 韩，杰西·迈克尔 1 哈舍克，罗马人 1 马库斯·霍恩沃特 1 艾达、铁雄 1 维奥雷尔·奥尔达奇 1 爱尔兰，安德鲁 1 马蒂亚·贾姆尼克 1 姜建国 1 塞萨里·卡利西克 1 阿列克桑达尔·柯坎斯基 1 科切马佐夫，S.E。 1 瑞安·克鲁格 1 米贾·库尔琴斯基 1 弗雷德里克·拉菲特 1 彼得·兰米奇 1 安德鲁·劳伦斯 1 凯文·洛茨 1 雅罗斯拉夫·麦克 1 尼古拉斯·马高 1 马尔科·马利科维奇 1 苏拉夫·穆霍帕迪耶 1 Jorge jun，Nakahara。 1 萨拉·内格里 1 姆拉丹·尼科利奇 1 德克·诺沃特卡 1 米罗斯拉夫·奥尔沙克 1 尤塞夫·奥伦 1 伊利亚·奥特普申尼科夫。 1 杰克·E·帕尔默（Jake E.Palmer）。 1 Vesna巴甫洛维奇 1 帕维尔·佩奇 1 彭西成 1 达尼耶拉·彼得罗维奇 1 伊万·彼得罗维奇 1 范、团明 1 西尔维奥·兰伊斯 1 尤金尼奥·罗内斯·洛扎诺 1 万达桑托斯 …还有19位作者 全部的 前5名16篇连载文章中引用 14 自动化推理杂志 13 数学与人工智能年鉴 10 计算机科学中的数学 6 符号计算杂志 三 约束条件 三 系统科学与复杂性杂志 2 计算机科学中的逻辑方法 2 形式化数学 1 理论计算机科学 1 离散和计算几何 1 符号逻辑公报 1 优化方法和软件 1 Revista Matemática Complutense公司 1 几何论坛 1 可满足性、布尔建模与计算杂志 1 计算机代数中的ACM通信 全部的 前5名在14个字段中引用 75 计算机科学（68至XX） 39 几何图形（51-XX） 19 数学逻辑和基础（03-XX） 8 数学教育（97-XX） 6 信息与通信理论、电路（94-XX） 5 代数几何（14-XX） 4 运筹学、数学规划（90-XX） 2 组合数学（05-XX） 2 交换代数（13-XX） 1 历史和传记（01-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 粒子和系统力学（70-XX） 1 相对论和引力理论（83至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.