Seol mar théacs é seo: Sources and development of mathematical software /