While commodity technologies are now available for deploying and accessing web (and grid) services, the issue of how a potential user discovers a service which matches his or her requirements is still open. This paper looks at the specific case of mathematical web services and proposes two complementary solutions to this problem.