×

找到23个文档(结果1-23)

决定仿射环的性质。 (英语) Zbl 1212.05264号

GévruţŤ跼鈂,Pašcu(ed.)等人,《第十二届数学及其应用研讨会论文集》,蒂米什瓦拉“政治”大学,蒂米什瓦拉,罗马尼亚,2009年11月5日至7日。蒂米什·欧拉:《政治编辑》。401-406 (2010).
PDF格式BibTeX公司 XML格式引用

利用边界元法从轮廓网格理论求解四个基本问题。 (英语) Zbl 1212.05265号

GévruţŤ跼鈂,Pašcu(ed.)等人,《第十二届数学及其应用研讨会论文集》,蒂米什瓦拉“政治”大学,蒂米什瓦拉,罗马尼亚,2009年11月5日至7日。蒂米什·欧拉:《政治编辑》。393-400 (2010).
PDF格式BibTeX公司 XML格式引用

数值不可约分解。 (英语) Zbl 1027.65066号

Joswig,Michael(编辑)等人,《代数、几何和软件系统》。柏林:斯普林格。109-129(2003年)。
PDF格式BibTeX公司 XML格式引用

有限超越度函数场的自校正。 (英语) Zbl 1412.68303号

Fülöp,Zoltán(编辑)等人,《自动化、语言和编程》。1995年7月10日至14日,匈牙利塞格德,第22届国际学术讨论会,ICALP’95。诉讼程序。柏林:Springer-Verlag。勒克特。注释计算。科学。944, 547-557 (1995).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过扩展Curry-Howard过程从证明中提取程序。 (英语) Zbl 0821.03017号

Crossley,John N.(编辑)等人,《逻辑方法》。为了纪念阿尼尔·内罗德60岁生日。巴塞尔:Birkhä用户。掠夺。计算。科学。申请。日志。1222-288页(1993年)。
MSC公司:03B70号 68瓦30 03B35型 60年第68季度 2005年12月
PDF格式BibTeX公司 XML格式引用

欧利希代数方程求解方法的双面高斯-赛德尔推广。 (英语) Zbl 0839.65063号

Atanassova,Lidiya(编辑)等人,《计算机算法和封闭方法》。第三届国际IMACS-GAMM计算机算术与科学计算研讨会(SCAN-91)会议记录,德国奥尔登堡,1991年10月1日至4日。阿姆斯特丹:荷兰北部。463-468 (1992).
MSC公司:65小时05 65G30型 2005年12月 26立方厘米
PDF格式BibTeX公司 XML格式引用

有理域上多项式函数的自测试。 (英语) Zbl 0834.68076号

Frederickson,Greg(编辑),第三届ACM-SIAM离散算法年度研讨会论文集,1992年1月27日至29日在美国佛罗里达州奥兰多市举行。宾夕法尼亚州费城:SIAM。23-32 (1992).
MSC公司:60年第68季度 2005年12月
PDF格式BibTeX公司 XML格式引用

同时计算所有多项式零点的区间算法。 (英语) Zbl 0784.65042号

Christian Ullrich(编辑),《计算机算术和自验证数值方法的贡献》。1989年10月2日至6日在瑞士巴塞尔大学举行的第一届国际会议的论文。巴塞尔:J.C.Baltzer AG,IMACS Ann.Comput。申请。数学。7, 183-195 (1990).
MSC公司:65小时05 65G30型 26立方厘米 2005年12月
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份