小伙子

此软件的关键字
zbMATH中的参考文献, 1标准件 )
Abánades,MiguelÁ;Botana,Francisco;Escribano,Jesús:游戏物理系统中连锁位点方程的自动生成(2014) 数学 Botana,Francisco;Abánades,Miguel A.:(动态)几何中的自动推导:轨迹计算(2014) Lange,Christoph:通过语义web集成实现半形式数学知识的协作(2011) Escribano,Jesús;Botana,Francisco;Abánades,Miguel A.:向动态几何系统添加远程计算能力(2010) ioport公司 Abánades,Miguel A.;Escribano,Jesús;Botana,Francisco:使用OpenMath向标准动态几何系统添加证明能力的第一步(2007)