Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements