Combining Deduction and Algebraic Constraints for Hybrid System Analysis