Universidad de Vigo. Spain;
Universidad de Cantabria, Spain;
parametrical systems solving; constructible sets; dynamic geometry;
机译:用MAPLE中的规则链库计算多项式系统的实解
机译:使用RegularChains和PowerSeries库计算限制:从有理函数到Zariski闭包
机译:自动颈平面检测和动脉瘤囊的3d几何表征
机译:使用Maple的正则结构图书馆自动分类平面几何基因座
机译:与平面曲线理论有关的某些局部LOCI
机译:用于自动面外针定位的深度学习方法用于半自动超声探头校准
机译:使用Maple的RegularChains库自动对平面几何轨迹进行分类
机译:多变量根轨迹一般结构的几何条件