1
Published 2005
Table of Contents: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment -- Development of a Maple...
View full text
Electronic eBook