Matej Urbas, Mateja Jamnik. Heterogeneous Reasoning in Real Arithmetic. In Ashok K. Goel, Mateja Jamnik, N. Hari Narayanan, editors, Diagrammatic Representation and Inference, 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings. Volume 6170 of Lecture Notes in Computer Science, pages 345-348, Springer, 2010. [doi]
Abstract is missing.