DynBCN公司 swMATH ID: 12476 软件作者： GIE/FLOSS研究小组 描述： dynBCN是一个基于构造性几何约束的二维动态几何系统。dynBCN是由加泰罗尼亚政治大学几何约束解决小组的研究人员开发的基于实验构造几何约束的二维动态几何系统。 主页： http://floss.lsi.upc.edu/wiki/dynBCN 相关软件： 引用于： 1文件 2位作者引用 1 玛尔塔·伊达尔戈。 1 罗伯特·乔安·阿利尼奥 连载1篇 1 自动推理杂志 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文