停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场地搜索
出版物搜索

问别人

ISSAC 1988：意大利罗马

>主页 >会议和研讨会 >ISSAC公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/issac/1988
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/1988
帕特里齐亚·贾尼:
符号和代数计算，ISSAC’88国际研讨会，意大利罗马，1988年7月4-8日，会议记录。计算机科学课堂讲稿358,施普林格 1989，国际标准图书编号3-540-51084-2

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/AusielloMN88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/AussielloMN88网站
乔治奥·奥斯耶罗,阿尔贝托·马切蒂-帕卡米拉,翁贝托·南尼:
图上路径和路径表达式的动态维护。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/MusserS88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/MusserS88
大卫·R·穆瑟,亚历山大·斯特帕诺夫:
通用编程。 13-25
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/Sergeraert88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/Ssergerat88
弗朗西斯·谢尔盖拉特:
从非可计算性结果到新的有趣定义和可计算性成果。 26-32
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/SharmaW88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/SharmaW88
纳文·夏尔马,保罗·S·王:
有限元分析并行程序的符号推导和自动生成。 33-56

微分代数

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/歌手88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/Singer88网址
迈克尔·辛格:
微分方程的Liouvillian第一积分。 57-63
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/Bronstein88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/Bronstein88网址
布隆斯坦:
Risch微分方程的快速简化。 64-72

应用

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/issac/Chaffy-Camus88号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/Chaffy-Camus88网址
克劳丁·查夫·加缪:
Reduce在F（X，Y）逼近中的应用。 73-84
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/Vinette公司C88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isac/VinetteC88
F.维内特,J.Cízek:
符号计算在解决一些非相对论量子力学问题中的应用。 85-95
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/AbdaliW88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isac/AbdaliW88
S.Kamal Abdali公司,大卫·S·怀斯:
矩阵四叉树表示的实验。 96-108
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/CharMS88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/CharMS88
布鲁斯·查尔,阿兰·麦克诺顿,保罗·斯特罗珀:
发现优化问题解析解中的不等式条件（扩展摘要）。 109-115
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/CaprasseDS88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/CaprasseDS88
休伯特·卡普拉斯,杰克·德马雷特,埃伯哈德·施吕费尔:
EXCALC可以用来研究非线性拉格朗日的高维宇宙学模型吗？ 116-124

Gröbner Bases公司

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/Traverso88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/Traverso88网址
卡洛·特拉弗索:
Gröbner跟踪算法。 125-138
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/小林MH88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/小林MH88
小林秀英,水池Moritsugu,罗伯特·W·霍根:
代数方程组的求解。 139-149
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/Mora88公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/Mora88
特奥·莫拉:
非交换代数中的Groebner基。 150-161
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/GalligoPT88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/GalligoPT88
安德烈·加里戈,洛伊克·波蒂尔,卡洛·特拉弗索:
更容易的公共除数和标准基完成算法。 162-176
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/Arnborg88公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/Arnborg88网址
斯特凡·阿恩伯格:
用投影算子进行代数分解的实验。 177-182

微分方程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/Barkatou88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/Barkatou88
穆雷·A·巴卡图:
计算线性微分方程形式解的有理牛顿算法。 183-195
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/MacCallum88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/MacCallum88网址
马尔科姆·A·H·麦卡伦:
一个用于Reduce的常微分方程求解器。 196-205
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/issac/Watt88型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/Watt88网址
斯蒂芬·瓦特:
幂级数计算的不动点法。 206-217
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/FreireGPF88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isac/FreireGPF88
埃米利奥·弗雷尔,Estanislao Gamero公司,斗牛士庞塞,利奥波多·加西亚·弗兰克洛:
中心流形的符号计算算法。 218-230

算法数论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/Rolletschek88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/Rolletschek88网址
Heinrich Rolletschek公司:
虚二次数字段中的最短除法链。 231-243
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/BradfordD88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/BradfordD88
罗素·J·布拉德福德,詹姆斯·达文波特:
气旋多项式的有效检验。 244-251
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/科林斯J88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/ColinsJ88
乔治·E·柯林斯,杰里米·约翰逊:
高斯整数的相对素数概率。 252-258
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/MenezesOV88公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/MenezesOV88
阿尔弗雷德·梅内泽斯,保罗·范·奥斯肖特,斯科特·范斯通:
GF（q）中求根的一些计算问题^米). 259-270
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/Juozapavicius88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/Juozapavicius88
Juozapavicius藻类:
Witt环的符号计算。 271-273

代数几何

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/AbhyankarB88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/AbhyankarB88
Shreeram S.Abhyankar公司,Chandrajit L.Bajaj公司:
代数曲线计算。 274-284
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/Teitelbaum88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isac/Teitelbaum88
杰里米·泰特鲍姆:
平面曲线奇点分解的计算复杂性。 285-292
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/Canny公司88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/Canny88网址
约翰·坎尼:
广义特征多项式。 293-299
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/GianniMT88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isac/GianniMT88
帕特里齐亚·贾尼,维克托·米勒,巴里·M·特拉格:
代数分解。 300-308
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/GiustiLV88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/GiustiLV88
马克·朱斯蒂,丹尼尔·拉扎德,安妮克·瓦利布兹:
多项式方程的代数变换，对称多项式和消去。 309-314

计算几何

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/EdelsbrunnerP88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isac/EdelsbrunnerP88
赫伯特·埃德尔斯布伦纳,佛朗哥·P·普雷斯塔:
三维四面体点集。 315-331
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/Stifter88型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isac/Stifter88（https://db2p.org/rec/con）
Sabine僵硬:
机器人三维碰撞问题Roider方法的推广。 332-343
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/托德C88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/ToddC88
菲利普·托德,乔治·W·切里:
平面图的符号分析。 344-355
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/Winkler公司88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/Winkler88
弗兰兹·温克勒:
一种基于Gröbner基算法的几何决策算法。 356-363

计算逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/BrownCF88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/BrownCF88
辛西娅·布朗,吉恩·库珀曼,拉里·芬克尔斯坦:
使用重写系统解决置换问题。 364-377
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/Wissmann88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/Wissmann88
迪特尔·威斯曼:
将改写技术应用于具有强大通信演示文稿的小组。 378-389
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/Weispfenning88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/Wispfenning88网址
沃尔克·魏斯芬宁:
局部有限理论的有效决策过程Ⅱ。 390-401
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/TourC88会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/TourC88
蒂埃里·德拉图尔男孩,里卡多·卡费拉:
数学推理中常用的一些非正式技巧的形式化方法。 402-406
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/CantoneCF88公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/ContoneCF88
多梅尼科·坎通纳,文森佐·库特罗,阿尔弗雷多·费罗:
集合论初等子语言的决策程序。十四、。涉及秩相关结构的三种语言。 407-422

系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/RocSRV88公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/RocSRV88
Jean-Louis Roch公司,帕斯卡尔·塞恩查德,弗朗索瓦斯·罗奇·西伯特,吉尔斯·维拉德:
MIMD机器上的计算机代数。 423-439
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/DicrescenzoD88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/DicrescenzoD88
克莱尔·迪克雷斯琴佐,多米尼克·杜瓦尔:
Scratchpad II中的代数扩张和代数闭包。 440-446
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/Kredel88公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/Kredel88
海因茨·克雷德尔:
计算机代数或从ALDES/SAC-2到WEB/Modula-2的软件开发。 447-455
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/ButlerC88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isac/ButlerC88
格雷戈里·巴特勒,约翰·坎农:
凯利，第4版：用户语言。 456-466

算术

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/KaltofenY88型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/KaltofenY88网址
埃里希·卡尔托芬,雅加蒂·N·拉克希曼:
改进的稀疏多元多项式插值算法。 467-474
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/GeddesGS88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/GeddesGS88
基思·O·格迪斯,加斯顿·H·贡内,特雷弗·史沫特莱:
代数数运算的启发式方法。（扩展摘要）。 475-480
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/Shackell公司88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/Schackell88网站
约翰·沙克尔:
使用区间微积分的振荡函数的渐近估计。 481-489
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/GedesG88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/GedesG88
基思·O·格迪斯,加斯顿·H·贡内:
一种利用层次级数计算符号极限的新算法。 490-495
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/HentzelJ88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/HentzelJ88
欧文·罗伊·亨策尔,大卫·波克拉斯·雅各布斯:
代数中非恒等式的验证。 496-507

其他

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/Abdullab88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isac/Abdullab88
哈比卜·阿卜杜拉布:
用文字表示的方程式。 508-520
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/issac/白色M88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/WiteM88
尼尔·L·怀特,蒂姆·麦克米兰:
凯利因子分解。 521-533
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/issac/Grigoryev88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/Grigoryev88
D.Yu。格里戈列夫:
计算外微分方程组特征和类型的复杂性。 534-543

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。