搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
1995 谢尔盖·阿布拉莫夫 :
线性差分的有理解 q个 -多项式系数差分方程。 ISSAC公司 1995 : 285-289 谢尔盖·阿布拉莫夫 :
有理函数的不定和。 ISSAC公司 1995 : 303-308 谢尔盖·阿布拉莫夫 , 布隆斯坦 , 马尔科·佩特科夫塞克 :
线性算子方程的多项式解。 ISSAC公司 1995 : 290-296 罗恩·阿维策 , 奥拉夫·巴赫曼 , 诺伯特·卡伊勒 :
从诚实到智能绘图。 ISSAC公司 1995 : 32-41 克莱门斯·巴拉林 , 卡斯滕·霍曼 , 雅克·卡尔梅特 :
定理和算法:Isabelle和Maple之间的接口。 ISSAC公司 1995 : 150-157 穆雷·A·巴卡图 :
Moser算法的理性版本。 ISSAC公司 1995 : 297-302 弗朗索瓦·布利埃 , 丹尼尔·拉扎德 , 弗朗索瓦·奥利维尔 , 米歇尔·佩蒂特 :
有限生成微分理想根的表示。 ISSAC公司 1995 : 158-166 彼得·A·布罗德伯里 , 特蕾莎·戈梅兹·迪亚兹 , 斯蒂芬·瓦特 :
论动态评价的实施。 ISSAC公司 1995 : 77-84 克劳迪娜·查菲 :
解析连续过程:从计算机代数到数值分析。 ISSAC公司 1995 : 216-222 吉恩·库珀曼 :
STAR/MPI:将并行库绑定到交互式符号代数系统。 ISSAC公司 1995 : 126-132 吉恩·库珀曼 , 拉里·芬克尔斯坦 , 迈克尔·泽尔曼 :
使用置换表示的矩阵群计算。 ISSAC公司 1995 : 259-264 罗伯特·M·科尔利斯 , 帕特里齐亚·贾尼 , 巴里·M·特拉格 , 斯蒂芬·瓦特 :
多项式系统的奇异值分解。 ISSAC公司 1995 : 195-207 马里奥·达伯科夫 , 迈克尔·波赫斯特 :
数域相对扩张的计算及其在Hilbert类域构造中的应用。 ISSAC公司 1995 : 68-76 安吉尔·迪亚斯 , 埃里希·卡尔托芬 :
用黑盒子给出的多项式计算最大公因式。 ISSAC公司 1995 : 232-239 M.J.多福 , 罗伯特·格罗斯曼 :
用树对多项式向量场系统微分不变量进行符号计算。 ISSAC公司 1995 : 26-31 T.H.艾恩沃纳 , 理查德·法特曼 :
积分表的搜索技术。 ISSAC公司 1995 : 133-139 马克·吉斯布雷希特 :
整数矩阵Smith范式的快速计算。 ISSAC公司 1995 : 110-118 劳雷亚诺·冈萨雷斯-维加 , 瓜达卢佩-特鲁希略 :
使用对称函数隐式化参数曲线和曲面。 ISSAC公司 1995 : 180-186 迪马·格里戈里耶夫 , 雅加蒂·N·拉克希曼 :
多元多项式稀疏移位的计算算法。 ISSAC公司 1995 : 96-103 马克·范·霍伊 :
一种计算Weierstrass范式的算法。 ISSAC公司 1995 : 90-95 迪帕克·卡普尔 , Tushar Saxena公司 :
各种多元结果公式的比较。 ISSAC公司 1995 : 187-194 珊卡·克里希南 , 迪内什·马诺查 :
计算一维代数集的数值符号算法。 ISSAC公司 1995 : 59-67 新潮寮 , 理查德·法特曼 :
启发式多项式GCD的评估。 ISSAC公司 1995 : 240-247 伊恩·莱尔 , 格雷戈里·里德 , A.博尔顿 :
偏微分方程对称性无限李伪群结构的算法确定。 ISSAC公司 1995 : 1-6 博丹·马杰夫斯基 , 乔治·哈瓦斯 :
扩展GCD问题的解决方案。 ISSAC公司 1995 : 248-253 玛丽亚·格拉齐亚·马里纳里 , 特奥·莫拉 , 迈克尔·莫勒 :
多项式系统求解中的Gröbner对偶性和多重性。 ISSAC公司 1995 : 167-179 普拉巴夫·莫杰 :
小基群中Sylow子群的一个近似线性算法。 ISSAC公司 1995 : 270-277 托尔斯滕·明奎兹 :
关于有限群的一般不可约表示的计算。 ISSAC公司 1995 : 278-284 Trán Quoc Nam公司 :
一种用于追踪面-面交点的混合符号-数字方法。 ISSAC公司 1995 : 51-58 M.P.Quéré , 吉尔斯·维拉德 :
线性DAE的简化算法。 ISSAC公司 1995 : 223-231
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)