机译:确定光滑有界实数代数连通性查询的一种几乎最佳算法
Sorbonne Universites, UPMC Univ. Paris 06, CNRS, INRIA Paris Center, LIP6, PolSys Team, France;
David Cheriton School of Computer Science, University of Waterloo, Waterloo, ON, Canada;
Symbolic computation; real algebraic geometry; non-linear computational geometry; connectivity queries; algorithms; complexity;
机译:一维查询到半代数集的N维与(N-1)维连通性测试
机译:数值线性代数的通信下界和最优算法
机译:基于实线性空间中基于代数内部的集值映射向量优化问题的α-最优条件
机译:极数变体和光滑实代数集的每个连通分量中的一个点的计算
机译:具有可预测的绑定预测的正式直觉集合论。
机译:有界代数整数集上的积分值多项式
机译:用于确定光滑有界实代数集中的连通性查询的近乎最佳算法
机译:petri网可达性集强连通性的可判定问题。