×

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

非线性代数方程组的实根数。 (俄语) Zbl 1029.65051号

Bykov,V.I.(编辑),《数学方法与模拟》。克拉斯诺亚尔斯克:克拉斯诺亚尔斯基大学。维斯特。克拉斯诺亚尔斯克。戈斯。泰克。大学16,50-53(1999)。
MSC公司:65H10型 68瓦30 2005年12月 26立方厘米 30立方厘米
PDF格式BibTeX公司 XML格式引用

FABULA系统中布尔代数问题公式转换的实现工具。 (俄语。英文摘要) Zbl 0951.68052号

Kas'yanov,V.N.(编辑),《信息系统和编程问题》。新西伯利亚:信息研究所。A.P.Ershova SO RAN,202-215(1999)。
PDF格式BibTeX公司 XML格式引用

代数逻辑,代数的变种和代数变种。 (英语) Zbl 0961.08001号

Kublanovsky,S.(ed.)等人,具有应用的半群,包括半群环。1995年6月19日至30日,俄罗斯圣彼得堡,为纪念E.S.Lyapin而举行的国际会议。圣彼得堡:Severny Ochag,189-270(1999)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司

在证据规划中使用外部推理器。 (英语) Zbl 0958.68152号

阿曼多、亚历山德罗(编辑)等,Calculemus 99。综合计算和扣除系统,意大利特伦托,1999年7月11日至12日。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。23,311页,仅电子版(1999年)。
MSC公司:第68页第15页
PDF格式BibTeX公司 XML格式引用

正交多项式和计算机代数。 (英语) Zbl 0955.68131号

Gilbert,Robert P.(编辑)等人,《复分析和计算机代数的最新发展》。在1997年6月2日至7日于德国纽瓦克举行的ISAAC’97大会特别会议上发表的论文。多德雷赫特:Kluwer学术出版社。国际社会分析。申请。计算。4, 205-234 (1999).
MSC公司:68瓦30 33立方厘米
PDF格式BibTeX公司 XML格式引用

windows环境下多媒体应用程序合成的算法代数和系统设计。 (英语。俄文原件) Zbl 0953.68506号

赛博。系统。分析。 35,第200-207号(1999年); 翻译自Kibern。修女。分析。1999年,第2期,34-43(1999)。
MSC公司:68M10个
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有符号间隔逻辑。 (英语) Zbl 0942.03027号

Flum,Jörg(编辑)等人,《计算机科学逻辑》。第十三届国际研讨会,CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1683, 157-171 (1999).
MSC公司:03B44号 03B70号
PDF格式BibTeX公司 XML格式引用

数值数学。为每个人提供基本知识。(《数值数学》,Das Grundwissen für jedermann著) (德语) Zbl 0990.00002号

Mathematik für Ingenieure und Naturwissenschaftler公司。斯图加特:B.G.Teubner。220 S.(1999)。
PDF格式BibTeX公司 XML格式引用

技术计算机科学。第2卷:计算机技术基础。3.吕贝拉尔布。澳大利亚。(Technische Informatik.Bd 2:Grundlagen der Computertechnik.) (德语) 兹比尔0949.68005

斯普林格·勒布赫柏林:施普林格。xv,326 S.(1999)。
MSC公司:68个月1日 68-01 2010年第68季度 68N99型 94立方厘米10
PDF格式BibTeX公司 XML格式引用

解线性微分方程的代数算法。(代数算法zur Lösung von linearen Differentialgleichungen) (德语) Zbl 0918.34001号

MuPAD报告。斯图加特:B.G.Teubner。x、 第142页(1999年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型