TY - RPRT TI - Smooth coalgebra: testing vector analysis AU - Dusko Pavlovic AU - Bertfried Fauser PY - 2014 DO - 10.1017/s0960129515000511 UR - https://arxiv.org/abs/1402.4414 ID - 1402.4414 ER -