Mathematical Software and Free Documents