Mathematics - Data processing.
概要
| 作品: | 86 作品在 18 項出版品 18 種語言 | |
|---|---|---|
書目資訊
Proof and computation II = from proof theory and univalent mathematics to program extraction and verification /
by:
(書目-電子資源)
Exploring mathematics with Mathematica : = dialogs concerning computers and mathematics /
by:
(書目-語言資料,印刷品)
The Joy of Mathematica : = instant Mathematica for calculus, differential equations, and linear algebra /
by:
(書目-語言資料,印刷品)
Beginning Mathematica and Wolfram for data science = applications in data analysis, machine learning, and neural networks /
by:
(書目-電子資源)
Beginning Mathematica and Wolfram for data science = applications in data analysis, machine learning, and neural networks /
by:
(書目-電子資源)
Computational methods in nonlinear analysis = efficient algorithms, fixed point theory and applications /
by:
(書目-電子資源)
An introduction to SAGE programming : = with applications to SAGE interacts for mathematics /
by:
(書目-電子資源)
Concrete abstractions = formalizing and analyzing discrete theories and algorithms with the RISCAL model checker /
by:
(書目-電子資源)
Computational methods in nonlinear analysis : = efficient algorithms, fixed point theory, and applications /
by:
(書目-語言資料,印刷品)
Mathematica data visualization : = create and prototype interactive data visualizations using Mathematica /
by:
(書目-語言資料,印刷品)
更多
較少的
主題