开发者 singular.sf.net

奇异是用于多项式计算的计算机代数系统强调交换代数的特殊需要，代数几何和奇点理论。