×

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

TREX:复杂系统可达性分析工具。 (英语) Zbl 0991.68645号

Berry,Gérard(编辑)等人,《计算机辅助验证》。2001年7月18日至22日,第13届国际会议,CAV 2001,法国巴黎。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。2102, 368-372 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

复合程序包和非线性随机波动分析。 (英语) Zbl 0917.65128号

奥利弗·格洛尔(编辑),《1998年符号和代数计算国际研讨会论文集》,ISSAC’98,德国罗斯托克,1998年8月13日至15日。纽约州纽约市:ACM出版社。70-75 (1998).
PDF格式BibTeX公司 XML格式引用

使用语言REDUCE和图形包GNUPLOT表示二阶线性微分方程的解。 (俄语。英文摘要) Zbl 0978.65055号

PDF格式BibTeX公司 XML格式引用

雅各布和黑森优化数字代码的自动生成。(经过讨论)。 (英语) Zbl 0755.65023号

高级科学问题解决的编程环境。IFIP TC2/WG2.5工作会议,德国卡尔斯鲁厄,1991,309-319(1992)。
MSC公司:65D25个 68瓦30
PDF格式BibTeX公司 XML格式引用

奇异摄动非线性系统的符号演算。 (英语) Zbl 0793.93062号

Jacob,Gérard(编辑)等人,《控制中的代数计算》。第一届欧洲会议记录,1991年3月13日至15日,法国巴黎。柏林:Springer-Verlag。莱克特。票据控制信息科学。第165、40-49页(1991年)。
PDF格式BibTeX公司 XML格式引用

合成微积分数学程序综合的范例。 (英语) Zbl 0782.68082号

算法的自动微分,Proc。第一届SIAM研讨会,贝克里奇/科罗拉多州(美国),1991年,263-272(1991年)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

高能物理中的代数微扰计算。方法、算法、计算机程序和物理应用。 (英语) Zbl 0925.58084号

Stephen M.Watt(编辑),ISSAC’91。1991年符号和代数计算国际研讨会论文集。德国波恩,1991年7月15日至17日。纽约州纽约市:ACM出版社,439-447(1991)。
PDF格式BibTeX公司 XML格式引用

一种改进的自动误差累积控制方法。 (英语) Zbl 0919.65032号

Stephen M.Watt(编辑),ISSAC’91。1991年符号和代数计算国际研讨会论文集。德国波恩,1991年7月15日至17日。纽约,纽约:美国计算机学会出版社,414-418(1991)。
MSC公司:65克50 68瓦30 65D25个
PDF格式BibTeX公司 XML格式引用

力学中的计算机代数。 (英语) Zbl 0788.70001号

Ishlinskij,A.Yu。(编辑)等人,《一般力学和应用力学》。Transl.公司。来自俄罗斯。纽约:半球出版公司机械工程与应用力学。1, 163-178 (1990).
MSC公司:70-08 68瓦30 34B30码
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份