Implicit Real Vector Automata