9 datasets found

Tags: Mathematics

Filter Results

  • ASSISTments12-13

    This dataset is gathered from an online tutoring system ASSISTments which teaches and accesses students in mathematics.

  • ASSISTments09-10

    This dataset is gathered from an online tutoring system ASSISTments which teaches and accesses students in mathematics.

  • Junior Mathematics Dataset

    The dataset used in the paper is a junior mathematics dataset containing 350K exercises.

  • MathMLBen

    The MathMLBen dataset is used to evaluate the performance of formula embedding techniques for mathematical information retrieval.

  • arXMLiv 2018

    The arXMLiv 2018 dataset is an HTML collection of the arXiv.org preprint archive, used as a training corpus for word embedding techniques.

  • HOL Light and Flyspeck corpora

    The dataset consists of the core HOL Light corpus and the Flyspeck corpus, with millions of nodes representing atomic inferences.

  • Math23k

    Math23k is the most commonly used Chinese dataset in MWP solving. It contains 23,162 problems with 21,162 training problems, 1,000 validation problems and 1,000 testing problems.

  • Math Dataset

    The Math dataset is collected from the widely-used online learning system Zhixue1, which contains mathematical exercises and logs of high school examinations.

  • Leibniz University Hannover

        Imported    

    Exercises Tensor Analysis

    Matlab codes for the solution of exercises which can be found in the book "Tensor Calculus and Differential Geometry for Engineers" Related publications: Shahab Sahraee, Peter...
You can also access this registry using the API (see API Docs).