Set of libraries for experimental mathematics