Search Results for "reason"

The Mathematics Dataset, developed by Google DeepMind, is a synthetic dataset designed to evaluate and train machine learning models on mathematical reasoning and symbolic manipulation. It generates question-and-answer pairs across a wide range of mathematical topics typically found in school-level curricula, testing a model’s ability to reason about algebra, arithmetic, calculus, probability, and more. Each question is programmatically generated with structured templates to ensure clear logic and reproducibility. The dataset enables models to learn mathematical problem-solving through examples that involve both numeric and symbolic reasoning. Version 1.0 includes over 2 million examples per category, with training splits labeled as “easy,” “medium,” and “hard,” supporting curriculum-based learning strategies. ...

Portable software related to Mersenne numbers. Useful to automate certain tasks related to GIMPS (www.mersenne.org) for computers that cannot run the GIMPS software for whatever reason. Much of the code has been in use since 1990 or so by a few people. The project web site at https://mers.sourceforge.io/mersenne.html has data about Mersenne numbers from many people generated by this and other software, notably from the GIMPS project.

...Possible use-cases: - A project is running out of funding and scientific data collection should be performed in free available/open-source data capture systems - Advantages of reliable EDC systems like: Data security (role/right management), backup infrastructure, support of the entire clinical trial lifecycle, traceability of data (who has when entered what data or changed to what value with what reason) and compliant to regulatory requirements. - Pre- / Pilot-Studies based on spreadsheets should now be enhanced towards multi-site/multi-user data collection. Conversion of SPSS variable structure as well as entered values. To use: - Move s2o.jar into SPSS installation folder (where spss.exe is located) - Call via "java -jar s2o.jar"

...QoSPref allows users to express trade-offs between the various non-functional properties in a simple, but flexible manner. It uses an intuitive notation inspired by the way people reason about their preferences.

...However, when the scientist Kepler discovered special principles about planetary motion, he also reconsidered the music. Apparently his observance of a harmonic law of planetary motion was reason for him to propose a computable system of pitch and harmony deriving from angular velocity. The purpose of the programming project is as a tool to examine his system. With Java 2, it provides an open-source solution for listening to harmonies so generated by planetary motion. This program can run on any computer provided with a Java Virtual Machine (Rev 1.5 or greater). ...

This Java project intends to implement a set of functions allowing a user to manipulate classical propositional logic statements and reason about their properties and connections.

This will be a place to release tools that have not yet been added to SciPy (or will not be added for whatever reason). Currently an interface to ImageMagick is here.