...
机译:在Coq系统中实现圆柱代数分解
INRIA Sophia Antipolis, 2004, routes des Lucioles - B.P. 93, 06902 Sophia Antipolis Cedex, France;
机译:有效消除符号数字圆柱代数分解的方法
机译:QEPCAD B:用于通过圆柱代数分解计算半代数集的系统
机译:圆柱代数分解的灵活性指数和化学系统设计
机译:圆柱代数分解算法的并行实现
机译:使用代数分解的分布式参数系统的系统型神经网络体系结构的开发。
机译:医疗保健中的计算机应用。医院中的计算机系统。医院信息系统:规划评估和实施:退伍军人管理局内部大规模实施兼容的医院计算机系统
机译:SyNRAC中基于圆柱代数分解的量词消除程序(计算机代数:算法,实现和应用设计)