Mathematics - Data processing.
概要
作品: | 84 作品在 16 項出版品 16 種語言 |
---|
書目資訊
An introduction to SAGE programming : = with applications to SAGE interacts for mathematics /
by:
(書目-電子資源)
Exploring mathematics with Mathematica : = dialogs concerning computers and mathematics /
by:
(書目-語言資料,印刷品)
Computational methods in nonlinear analysis : = efficient algorithms, fixed point theory, and applications /
by:
(書目-語言資料,印刷品)
Computational methods in nonlinear analysis = efficient algorithms, fixed point theory and applications /
by:
(書目-電子資源)
Generalized Jeffrey conditionalization = a Frequentist Semantics of Partial Conditionalization /
by:
(書目-電子資源)
Concrete abstractions = formalizing and analyzing discrete theories and algorithms with the RISCAL model checker /
by:
(書目-電子資源)
Proof and computation II = from proof theory and univalent mathematics to program extraction and verification /
by:
(書目-電子資源)
The Joy of Mathematica : = instant Mathematica for calculus, differential equations, and linear algebra /
by:
(書目-語言資料,印刷品)
更多
較少的
主題