凯西·理查森。;劳伦特·尤尼斯 再现核希尔伯特空间中图像的变形。 (英语) Zbl 1347.65051号 高级计算。数学。 42,第3期,573-603(2016). 审核人:克孜斯托夫·格达维埃克(索斯诺伊克) MSC公司:65D18天 PDF格式BibTeX公司 XML格式引用 \textit{C.L.Richardson}和\textit{L.Younes},高级计算。数学。42,第3号,573--603(2016;Zbl 1347.65051) 全文: 内政部 arXiv公司
维克多·马格伦;泽维尔·阿拉米吉恩;圣埃芬·高伯特;本杰明·沃纳 非线性优化的形式化证明。 (英语) Zbl 1451.90131号 J.福尔马利兹。原因。 8,第1号,1-24(2015).MSC公司:90C26型 68伏15 90C22型 90立方 PDF格式BibTeX公司 XML格式引用 \textit{V.Magron}等人,J.Formaliz。原因。8,第1号,1--24(2015;Zbl 1451.90131) 全文: 内政部 arXiv公司
泽维尔·阿拉米吉恩;圣埃芬·高伯特;维克多·马格伦;本杰明·沃纳 非线性函数界的证明:模板法。 (英语) Zbl 1390.68570号 Carette,Jacques(编辑)等人,《智能计算机数学》。MKM、Calculemus、DML以及2013年系统和项目,作为2013年CICM的一部分,于2013年7月8日至12日在英国巴斯举行。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39319-8/pbk)。计算机科学讲座笔记7961。《人工智能课堂讲稿》,51-65(2013)。MSC公司:第68页第15页 第11页第25页 第14页 65K10码 68瓦30 90C22型 90立方 PDF格式BibTeX公司 XML格式引用 \textit{X.Allamigeon}等人,Lect。注释计算。科学。7961、51-65(2013年;Zbl 1390.68570) 全文: 内政部 arXiv公司
凯西·理查森。;劳伦特·尤尼斯 计算在离散度量之间发生变化。 (英语) Zbl 1319.49069号 《几何杂志》。机械。 131-150(2013)第1期第5页. 审核人:胡安·蒙特德(Burjasot) MSC公司:2010年第49季度 68吨10 65D18天 35平方米 PDF格式BibTeX公司 XML格式引用 \textit{C.L.Richardson}和\textit{L.Younes},J.Geom。机械。5,第1号,131--150(2013;Zbl 1319.49069) 全文: 内政部
阿莱索尼埃,圣芬尼;埃斯特尔·库恩 贝叶斯混合效应模板估计的随机算法。 (英语) Zbl 1320.62045号 ESAIM,Probab公司。斯达。 14, 382-408 (2010).MSC公司:2015年1月62日 60J22型 10层62层 62M40型 PDF格式BibTeX公司 XML格式引用 \textit{S.Allassonnière}和\textit{E.Kuhn},ESAIM,Probab。Stat.14,382--408(2010;Zbl 1320.62045) 全文: 内政部 欧洲DML
马萨诸塞州费利帕。;Oñate,E。 用变分FIC和修正方程方法对一维扩散吸收方程和亥姆霍兹方程进行节点精确Ritz离散。 (英语) Zbl 1168.76336号 计算。机械。 39,第2期,91-111(2007).MSC公司:76M10个 76平方米25 76兰特 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Felippa}和\textit{E.Oñate},计算。机械。39,第2号,91-111(2007年;兹bl 1168.76336) 全文: 内政部
菲利普·霍姆斯;Full,Robert J。;丹·科迪切克;约翰·古根海默 腿部运动的动力学:模型、分析和挑战。 (英语) Zbl 1100.34002号 SIAM修订版。 48,第2期,207-304(2006). 审核人:R.Kodnar(布拉迪斯拉发) MSC公司:34-02 34C60个 34立方厘米 34C25型 34C29号 34E10型 92立方厘米 92C20美元 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{P.Holmes}等人,SIAM Rev.48,No.2,207--304(2006;Zbl 1100.34002) 全文: 内政部
V.P.马什塔利尔。;雅科夫列夫,S.V。 标准信息聚类的点集方法。 (英语。俄文原件) Zbl 1034.68081号 赛博。系统。分析。 37,第3期,295-307(2001); 翻译自Kibern。修女。分析。2001年,第3期,第3-17页(2001年)。MSC公司:68吨10 PDF格式BibTeX公司 XML格式引用 \textit{V.P.Mashtalir}和\textit{S.V.Yakovlev},Cybern。系统。分析。37,第3号,295--307(2001;Zbl 1034.68081);翻译自Kibern。修女。分析。2001年,第3期,第3-17期(2001年) 全文: 内政部
克里斯托夫·普弗劳姆 偏微分方程的表达式模板。 (英语) Zbl 0996.65117号 计算。视觉。科学。 4,第1号,1-8(2001).MSC公司:65N30型 35-04 65日元 35季度30 35J05型 35J65型 PDF格式BibTeX公司 XML格式引用 \textit{C.Pflaum},计算。视觉。科学。4,编号1,1--8(2001;Zbl 0996.65117) 全文: 内政部
理查德·巴雷特;迈克尔·贝里;Tony F.陈。;詹姆斯·德梅尔;6月,多纳托;杰克·东加拉;维克托·埃伊霍特;罗尔丹·波佐;查尔斯·罗明;亨克·范德福斯特 线性系统解决方案的模板:迭代方法的构建块。 (英语) Zbl 0814.65030号 宾夕法尼亚州费城:SIAM,工业和应用数学学会。xiii,112页(1993年)。 审核人:N.Köckler(帕德博恩) MSC公司:65层10 65-02 15-04 65层50 65英尺35英寸 2005年5月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Barrett}等人,线性系统解的模板:迭代方法的构建块。宾夕法尼亚州费城:SIAM(1993;Zbl 0814.65030)