This paper shows the initial stages of development, from first principle...
We present a new polynomial-free prolongation scheme for Adaptive Mesh
R...
Creating formal models of interactive systems has wide reaching benefits...
Refinement is one of the cornerstones of a formal approach to software
e...
share