Interactive mathematics over the Internet is particularly appealing in that it can take advantage of the wealth of resources available online. In particular, a problem-solving framework integrating computing and proving tools is of great interest. Several modes of advantageous cooperation can be envisioned. Proving is undoubtedly useful to computation for checking assertions and side conditions, whereas computation is useful for shortening the lengths of proofs. Both modes are definitely needed in interactive mathematics. In the interaction we do not want to waste resources by sending or receiving meaningless requests. There Strong OpenMath comes in, as it is possible to type-check the well-typedeness, hence the meaningfullness, of the mathematical objects it represents.