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