Proceedings of the 2014 Symposium on Symbolic-Numeric Computation