A study of mathematical software, which is used to construct examples, prove theorems, and find new mathematical phenomena. The volume is aimed at software developers in mathematics and programming mathematicians, but it also provides opportunities to discuss the topics with mathematicians.