Paper search, metadata, document management, literature reports, experiments, and theory generation for scientific research