Mathematics - Data processing.
Overview
Works: | 25 works in 14 publications in 14 languages |
---|
Titles
Proof and computation II = from proof theory and univalent mathematics to program extraction and verification /
by:
(Language materials, printed)
A student's guide to the study, practice, and tools of modern mathematics
by:
(Language materials, printed)
Mathematics by experiment = plausible reasoning in the 21st century /
by:
(Language materials, printed)
An introduction to modern mathematical computing = with Mathematica /
by:
(Language materials, printed)
Computational methods in nonlinear analysis = efficient algorithms, fixed point theory and applications /
by:
(Language materials, printed)
An introduction to SAGE programming : = with applications to SAGE interacts for mathematics /
by:
(Language materials, printed)
Generalized Jeffrey conditionalization = a Frequentist Semantics of Partial Conditionalization /
by:
(Language materials, printed)
Show more
Fewer
Subjects