6 search results - page 2 / 2 » Certification of Compiler Optimizations Using Kleene Algebra... |
120
click to vote
CORR
1999
Springer
15 years 25 days ago
1999
Springer
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...