Mathematics - Data processing.
概要
作品: | 26 作品在 14 項出版品 14 種語言 |
---|
書目資訊
Proof and computation II = from proof theory and univalent mathematics to program extraction and verification /
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:
(書目-語言資料,印刷品)
更多
較少的
主題