编辑配置文件（在新选项卡中打开） 弗朗西斯科·博塔纳 合著者距离 作者ID： 法国博塔纳 发布日期： 弗朗西斯科·博塔纳;博塔纳，F。 外部链接： ORCID公司·数据库许可证 已编制索引的文档： 33出版物自2000年起 5名编辑的贡献 合著者： 26位合著者具有31联合出版物 466位合作作者 全部的 前5名合著者 7 单作者的 16 托马斯·雷西奥 8 米盖尔·安杰尔·阿巴纳德斯（Miguel Angel Abánades） 8 佐尔坦科瓦奇 4 JoséL.Valcarce。 三 埃斯克里巴诺，Jesús 2 安东尼奥·埃尔南多 2 罗恩·洛扎诺，尤金尼奥 2 塞拉州索利姆-盖塞 2 迈克尔·韦斯特。 1 安东尼奥·巴哈蒙德 1 安娜·玛丽亚·比加蒂 1 达纳·皮卡德、蒂埃里·诺亚 1 费利佩·加戈 1 马库斯·霍恩瓦特 1 贾尼契奇，普雷德拉格 1 科齐里亚斯（Ilias S.Kotsireas）。 1 曼纽尔·拉德拉·冈萨雷斯 1 李伟 1 莫内斯，里卡多 1 安东尼奥·蒙特斯 1 伊万·彼得罗维奇 1 佩德罗·夸雷斯马 1 何塞·拉尼拉 1 路易斯·菲利佩·塔贝拉 1 维莱兹，M.Pilar 1 西蒙·魏茨霍弗 全部的 前5名系列 6 模拟中的数学和计算机 三 西班牙皇家马特马提卡足球俱乐部（La Gaceta de La Real Sociedad Matemática Española） 三 计算机科学中的数学 2 数学与人工智能年鉴 2 计算机科学课堂讲稿 1 国际科学与技术数学教育杂志 1 符号计算杂志 1 自动推理杂志 1 计算几何 1 系统科学与复杂性杂志 1 计算机代数中的ACM通信 全部的 前5名领域 31 计算机科学（68至XX） 8 总体主题；集合（00-XX） 8 几何图形（51至XX） 6 数学教育（97-XX） 三 代数几何（14-XX） 三 数值分析（65-XX） 2 历史和传记（01-XX） 2 交换代数（13-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 24出版物被引用116次62文件 引用人▼ 年份▼ GeoGebra中的自动定理证明：当前成就。 Zbl 1356.68181号 弗朗西斯科·博塔纳;马库斯·霍恩瓦特;贾尼契奇，普雷德拉格;佐尔坦科瓦奇;伊万·彼得罗维奇;托马斯·雷西奥;西蒙·魏茨霍弗 26 2015 在图形环境中自动确定包络线和其他衍生曲线。 Zbl 1091.68111号 弗朗西斯科·博塔纳;JoséL.Valcarce。 12 2004 平面轨迹研究的软件工具。 Zbl 1011.68149号 博塔纳，F。;瓦尔卡奇，J.L。 11 2003 GeoGebra中自动推理工具的开发。 兹比尔1365.68431 米盖尔·阿巴纳德斯;弗朗西斯科·博塔纳;佐尔坦科瓦奇;托马斯·雷西奥;塞拉州索利姆-盖塞 7 2016 真理所在（初等几何中的自动定理证明）。 Zbl 1127.68428号 T·雷西奥。;博塔纳，F。 5 2004 在动态几何环境中计算封套。 Zbl 1409.68303号 弗朗西斯科·博塔纳;托马斯·雷西奥 5 2017 （动态）几何中的自动推导：轨迹计算。 Zbl 1280.65021号 弗朗西斯科·博塔纳;米盖尔·阿巴纳德斯（Miguel A.Abánades）。 4 2014 动态几何环境中平面轨迹生成的交互式与符号化方法。 Zbl 1055.68580号 博塔纳，F。 4 2002 用于几何计算的单一web服务。 Zbl 1330.68336号 弗朗西斯科·博塔纳;佐尔坦科瓦奇 4 2015 论动态几何证明中不可避免的真理不确定性。 Zbl 1357.68197号 弗朗西斯科·博塔纳;托马斯·雷西奥 4 2016 走向自动化几何师。 Zbl 1515.68340号 弗朗西斯科·博塔纳;佐尔坦科瓦奇;托马斯·雷西奥 4 2018 交互式环境中平面包络线自动计算的若干问题。 Zbl 07313652号 弗朗西斯科·博塔纳;托马斯·雷西奥 4 2016 基于web的几何发现智能系统。 兹比尔1033.68596 弗朗西斯科·博塔纳 三 2003 使用Gröbner覆盖进行几何轨迹计算和分类的软件。 Zbl 1437.13001号 米盖尔·阿巴纳德斯（Miguel A.Abánades）。;弗朗西斯科·博塔纳;安东尼奥·蒙特斯;托马斯·雷西奥 三 2014 通过符号方法解决动态几何瓶颈。 Zbl 1159.68549号 弗朗西斯科·博塔纳;托马斯·雷西奥 三 2006 平面曲线族包络线的自动计算建议。 Zbl 1417.68177号 弗朗西斯科·博塔纳;托马斯·雷西奥 三 2019 代数曲面作为点轨迹的自动确定。 Zbl 1033.68674号 弗朗西斯科·博塔纳 2 2003 基于GröbnerCover算法的动态符号几何环境，用于计算几何轨迹和包络。 Zbl 1390.68774号 米盖尔·阿巴纳德斯（Miguel A.Abánades）。;弗朗西斯科·博塔纳 2 2013 交互式几何系统的符号伴侣。 兹比尔1335.68225 弗朗西斯科·博塔纳 2 2011 三维动态几何的参数化方法。 Zbl 07312629号 弗朗西斯科·博塔纳 2 2014 朝向GeoGebra中定理的自动发现。 Zbl 1434.68636号 米盖尔·阿巴纳德斯;弗朗西斯科·博塔纳;佐尔坦科瓦奇;托马斯·雷西奥;塞拉州索利姆-盖塞 2 2016 机械几何师。 兹伯利07456594 弗朗西斯科·博塔纳;佐尔坦科瓦奇;托马斯·雷西奥 2 2021 动态几何环境和用于几何发现的计算机代数系统之间的合作。 Zbl 1020.68109号 弗朗西斯科·博塔纳;JoséL.Valcarce。 1 2001 基本极值问题的自动发现。 Zbl 1155.68590号 弗朗西斯科·博塔纳;JoséL.Valcarce。 1 2006 机械几何师。 兹伯利07456594 弗朗西斯科·博塔纳;佐尔坦科瓦奇;托马斯·雷西奥 2 2021 平面曲线族包络线的自动计算建议。 Zbl 1417.68177号 弗朗西斯科·博塔纳;托马斯·雷西奥 三 2019 走向自动化几何师。 Zbl 1515.68340号 弗朗西斯科·博塔纳;佐尔坦科瓦奇;托马斯·雷西奥 4 2018 在动态几何环境中计算封套。 Zbl 1409.68303号 弗朗西斯科·博塔纳;托马斯·雷西奥 5 2017 GeoGebra中自动推理工具的开发。 Zbl 1365.68431号 米盖尔·阿巴纳德斯;弗朗西斯科·博塔纳;佐尔坦科瓦奇;托马斯·雷西奥;塞拉州索利姆-盖塞 7 2016 论动态几何证明中不可避免的真理不确定性。 兹比尔1357.68197 弗朗西斯科·博塔纳;托马斯·雷西奥 4 2016 交互式环境中平面包络线自动计算的若干问题。 Zbl 07313652号 弗朗西斯科·博塔纳;托马斯·雷西奥 4 2016 朝向GeoGebra中定理的自动发现。 Zbl 1434.68636号 米盖尔·阿巴纳德斯;弗朗西斯科·博塔纳;佐尔坦科瓦奇;托马斯·雷西奥;塞拉州索利姆-盖塞 2 2016 GeoGebra中的自动定理证明：当前成就。 Zbl 1356.68181号 弗朗西斯科·博塔纳;马库斯·霍恩瓦特;贾尼契奇，普雷德拉格;佐尔坦科瓦奇;伊万·彼得罗维奇;托马斯·雷西奥;西蒙·魏茨霍弗 26 2015 用于几何计算的单一web服务。 Zbl 1330.68336号 弗朗西斯科·博塔纳;佐尔坦科瓦奇 4 2015 （动态）几何中的自动推导：轨迹计算。 Zbl 1280.65021号 弗朗西斯科·博塔纳;米盖尔·阿巴纳德斯（Miguel A.Abánades）。 4 2014 使用Gröbner覆盖进行几何轨迹计算和分类的软件。 兹比尔1437.13001 Abánades，Miguel A。;弗朗西斯科·博塔纳;安东尼奥·蒙特斯;托马斯·雷西奥 三 2014 三维动态几何的参数化方法。 Zbl 07312629号 弗朗西斯科·博塔纳 2 2014 基于GröbnerCover算法的动态符号几何环境，用于计算几何轨迹和包络。 Zbl 1390.68774号 米盖尔·阿巴纳德斯（Miguel A.Abánades）。;弗朗西斯科·博塔纳 2 2013 交互式几何系统的符号伴侣。 Zbl 1335.68225号 弗朗西斯科·博塔纳 2 2011 通过符号方法解决动态几何瓶颈。 Zbl 1159.68549号 弗朗西斯科·博塔纳;托马斯·雷西奥 三 2006 基本极值问题的自动发现。 Zbl 1155.68590号 弗朗西斯科·博塔纳;JoséL.Valcarce。 1 2006 在图形环境中自动确定包络线和其他衍生曲线。 Zbl 1091.68111号 弗朗西斯科·博塔纳;JoséL.Valcarce。 12 2004 真理所在（初等几何中的自动定理证明）。 Zbl 1127.68428号 T·雷西奥。;博塔纳，F。 5 2004 平面轨迹研究的软件工具。 Zbl 1011.68149号 博塔纳，F。;瓦尔卡奇，J.L。 11 2003 一个基于网络的几何发现智能系统。 Zbl 1033.68596号 弗朗西斯科·博塔纳 三 2003 代数曲面作为点轨迹的自动确定。 Zbl 1033.68674号 弗朗西斯科·博塔纳 2 2003 动态几何环境中平面轨迹生成的交互式与符号化方法。 Zbl 1055.68580号 博塔纳，F。 4 2002 动态几何环境和用于几何发现的计算机代数系统之间的合作。 Zbl 1020.68109号 弗朗西斯科·博塔纳;JoséL.Valcarce。 1 2001 所有引用出版物 前5名被引用出版物 全部的 前5名67位作者引用 16 托马斯·雷西奥 15 弗朗西斯科·博塔纳 13 佐尔坦科瓦奇 5 罗恩·洛扎诺，尤金尼奥 4 达纳·皮卡德、蒂埃里·诺亚 4 贾尼契奇，普雷德拉格 4 佩德罗·夸雷斯马 三 米盖尔·安杰尔·阿巴纳德斯（Miguel Angel Abánades） 三 安东尼奥·蒙特斯 三 塞拉州索利姆-盖塞 三 菲利普·托德。 三 Vélez，M.皮拉尔 2 哈塞克，罗马 2 Marinković，韦斯纳 2 朱利安·纳布克斯 2 罗内斯·马西亚斯，尤金尼奥 2 帕斯卡·施雷克 2 JoséL.Valcarce。 2 王东明 1 Aley和Danny 1 努诺·贝塔 1 格拉泽戈兹·班塞雷克 1 塞奈·贝达斯 1 杰里·布莱泽克 1 皮埃尔·布特里 1 加布里埃尔·布劳恩 1 克里斯托弗·布朗（Christopher W.Brown）。 1 Josep M.布鲁纳特。 1 Czesław拜林斯基 1 陈，毛 1 陈启航 1 陈晓宇 1 乔治·达尔佐托 1 托马斯·多尔曼 1 Falcón Ganforniana，劳尔·曼努埃尔 1 高晓山 1 Michael Gerhäuser先生 1 大卫·格里肯斯坦 1 亚当·格拉博夫斯基 1 格拉齐亚尼，皮耶路易吉 1 布伦特卡拉卡斯 1 阿图尔·科尔尼·奥维茨 1 曼纽尔·拉德拉·冈萨雷斯 1 李洪波 1 安娜·马可·加西亚 1 何塞·哈维尔·马丁内斯 1 帕斯卡·马蒂斯 1 罗马人Matuszewski 1 亚当·纳莫维奇 1 姆拉丹·尼科利奇 1 皮拉尔·帕伊兹·古利兰 1 Pąk，卡罗尔 1 帕维尔·佩奇 1 彭西成 1 Sonia L.鲁埃达。 1 万达桑托斯 1 米利卡·塞拉科维奇 1 胡安·拉斐尔·森德拉 1 胡安娜·森德拉 1 卡门·索拉诺·马西亚斯 1 丹·宋 1 约瑟夫·乌尔班 1 罗伯特·瓦伊达 1 尼古拉斯·范·拉贝克 1 阿尔弗雷德·瓦瑟曼 1 Jan Zahradník 1 张景忠 全部的 前5名14篇连载文章中引用 16 计算机科学中的数学 8 数学与人工智能年鉴 7 模拟中的数学和计算机 6 符号计算杂志 三 自动推理杂志 三 系统科学与复杂性杂志 2 国际科学与技术数学教育杂志 1 计算与应用数学杂志 1 离散和计算几何 1 计算几何 1 土耳其数学杂志 1 Revista Matemática Complutense公司 1 计算机代数中的ACM通信 1 《科学与自然》Ciencias Exactas皇家科学院修订版。意甲：马特马蒂卡斯。拉萨姆 全部的 前5名17个领域引用 50 计算机科学（68至XX） 25 几何图形（51至XX） 11 代数几何（14-XX） 11 数学教育（97-XX） 7 交换代数（13-XX） 三 数学逻辑和基础（03-XX） 三 组合数学（05-XX） 三 数值分析（65-XX） 2 历史和传记（01-XX） 1 总体主题；集合（00-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 凸和离散几何（52至XX） 1 微分几何（53至XX） 1 代数拓扑（55-XX） 1 整体分析，流形分析（58至XX） 1 粒子和系统力学（70-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文