ISSAC公司

将提出以下索赔。

• 有一种语言L（左）它的强大程度足以使大多数数学公式化，它的自然程度足以使数学家能够轻松地使用它，它的形式化程度足以使计算机能够处理它。。。

在过去的几十年里，两种计算传统不断发展壮大，而且彼此之间的差距越来越大。

首先，有离散计算的传统。它根源于数学逻辑在世纪真理中的工作，涉及到……的可判定性。。。

有一类重要的有限呈现群，称为自动分组可以有效地进行许多计算。特别是，群元素有一种规范形式，它是有限状态自动机的语言。。。

在本文中，我们描述了用于加速Berlekamp-Zassenhaus算法的搜索阶段的思想，该算法最广泛地用于计算Z中的因式分解[x个]. 我们的想法并没有改变理论上最坏情况的复杂性，但它们确实。。。

我们描述了一个求正整数解的算法n个属于轨道问题表单的α^n个=β哪里α和β是字段的给定元素K（K）.我们的算法修正了[7]中给出的界，并表明该问题在。。。

本文给出了用合适的一阶语言形式化实和整数的某些线性三角问题的决策过程。输入仅限于公式，其中除一个变量外，其余变量均出现在公式中。。。

在本文中，我们提出了一些处理逼近环的算法，逼近环是研究非线性函数的合适代数结构。这与环在线性函数理论或置换群理论中的作用类似。特别是，我们。。。

本文对Villamayor算法进行了几项改进，以解决超曲面奇点的求解问题。第一种改进了代表放大品种的图表的管理。第二种改进了。。。

本文对求解多项式常微分方程组或偏微分方程组给出了三个理论和实际贡献。第一个是实用的：改进了Rosenfeld-Gröbner（多项式ODE或PDE系统。。。

本文提出了一种改进的投影算子，用于R的CAD构造^三通常，在投影中只包括前导系数（以及判别式和结果）而不是所有系数就足够了。。。

在本文中，我们考虑了快速计算n个-有理数的ary积，用于大型n个我们对标准二进制分割算法进行了改进，这是由于许多因素，包括改变标准。。。

建立了多项式系统的一个结构准则，Kapur，Saxena和Yang（1994）定义的多元结果的广义Dixon公式精确地计算了结果。Dixon精确支撑的概念（。。。

提出了一种有效的算法，该算法返回两个多精度浮点数的精确四舍五入和。根据输入符号和指数，该算法可区分五种情况。在每种情况下，该方法都将。。。

在本文中，我们展示了如何计算伽罗瓦群G公司多项式ƒ∈Q的(x个)[Y（Y）]通过分解相关的线性微分方程L（左）_ƒ(Y（Y）)=0（及其构造）的最小阶由ƒ的根满足。我们使用微分。。。

我们引入了局部量词消除作为实量词消除的一种新变体。给出一个一阶公式和一个实点，我们计算出一个无量词公式，它不仅适用于与输入公式等价的给定点，而且还适用于。。。

我们提出了一种新的算法来计算大型稀疏矩阵的整数Smith范式。我们将Smith形式的计算简化为单词大小素数模幂的独立计算，从而实现并行计算。因此，算法。。。

提出了一种新的随机算法，用于计算n个×n个字段上的矩阵。使用标准矩阵和多项式算法，该算法的渐近期望复杂度与。。。

我们提出了一个多项式时间算法来确定不可约多项式ƒ的Galois群是否∈Q[x个]是阿贝尔的，如果是，则确定其所有元素及其对ƒ根集的作用。此算法不需要。。。

我们提出了一个多项式时间算法来判定不可约多项式的Galois群ƒ∈Q[x个]是阿贝尔的，如果是，则确定其所有元素及其对ƒ根集的作用。此算法不需要。。。

我们提出了一种新的确定性算法来构造有限维模的自同态环M（M）通过顶点投影表示给出了路代数的有限维商。我们使用右Gröbner基理论来。。。

设F是零特征的代数闭域，多项式@@@@∈F[X（X）₁, … ,X（X）_n个具有乘法复杂性第页和ƒ₁, … ƒ_k个∈F[X（X）₁, … ,X（X）_n个]是一些次数不超过的多项式d日，这样@@@@=ƒ₁= ··· = ƒ_k个=0有一个。。。

给定两个n个×n个布尔矩阵A类和B，其布尔产品见证矩阵（BPWM）是n个×n个整数矩阵W公司具有w个_伊吉=一些k个这样的话一_伊克=b条_千焦= 1, (1 ≤i、 j、k≤n个)和w个_伊吉=0（如果没有）k个存在。迄今为止最著名的算法。。。

本文概述了符号包的扩展数学软件前端，允许用户引入高级符号。在此之后，给出了几个高级示例符号。这些。。。

我们处理多元多项式的伪因子化第页作为因子系数的超定双线性系统。如果指定的数据（系数第页)足够靠近一致的我们投射的数据。。。

我们描述了一个具有精确等式判定的实代数数的新算法模型。该模型将一个实代数数表示为一对任意精度的数值和符号表达式。对于数字部分，我们。。。

我们讨论了计算Wedderburn补的代数生成器以及代数生成器给定的有限域上矩阵代数根的理想生成器的随机算法。算法的成本与……相当。。。

在本文中，我们提出了一种求解特征值摄动问题的算法。我们证明了任何矩阵扰动A类(ε)任意幂零Jordan标准形J型所有特征值的阶数都为O(ε^{1/（一个积极的。。。}

运河表面S公司，由参数化曲线生成米(t吨)，单位：R^三是具有半径的球体集的包络线第页(t吨)居中于米(t吨). 此概念概括了经典偏移（对于第页(t吨) =常数)平面曲线。在本文中，我们开发了。。。

让ƒ₁, … , ƒ_秒是多项式n个特征为零的字段上的变量d日是他们总学位的最大值。我们提出了一种新的概率算法来计算几何分辨率品种的每个等维部分。。。