Licenses

• Datasets
  1. AQUA-RAT dataset consists of about 100,000 algebraic word problems with natural language rationales. 'Program Induction by Rationale Generation: Learning to Solve and Explain Algebraic Word Problems.' by Wang Ling, Dani Yogatama, Chris Dyer, and Phil Blunsom. In Proc. ACL. 2017. This dataset has been fully crowdsourced, licensed under the Apache License, Version 2.0.
  2. MAWPS dataset is to provide an extendable collection of math word problems which allows researchers to select the portion of the data that meets their needs. 'MAWPS: A Math Word Problem Repository' by Rik Koncel-Kedziorski, Subhro Roy, Aida Amini, Nate Kushman, and Hannaneh Hajishirzi. In NAACL 2016.
• Algorithms
  1. Mathomatic library is a free, portable, general-purpose computer algebra system (CAS) that can symbolically solve, simplify, combine, and compare algebraic equations, and can perform complex number, modular, and polynomial arithmetic, along with standard arithmetic. Development of Mathomatic was started in the year 1986 by George Gesslein II.
  2. Simon Tatham's Portable Puzzle Collection copyright 2004-2021 Simon Tatham (portions copyright Richard Boulton, James Harvey, Mike Pinna, Jonas Kölker, Dariusz Olszewski, Michael Schierl, Lambros Lambrou, Bernd Schmidt, Steffen Bauer, Lennard Sprong, Rogier Goossens, Michael Quevillon, Asher Gordon and Didi Kohen). is licensed by the MIT licence.
• Books
  1. The Canterbury Puzzles And Other Curious Problems, by Henry Ernest Dudeney, originally published in 1907. "It is a book of remarkable ingenuity and interest." —- Educational Times. "The most ingenious brain in England ... a fascinating new book." —- Evening News. "A capital book of posers." —- Daily News. "The Puzzles ... reach the limit of ingenuity and intricacy; and it is well for the sanity of his readers that the author gives a list of solutions at the end of the book." —- Observer.
  2. Amusements in Mathematics, by Henry Ernest Dudeney, originally published in 1917. "In Mathematicks he was greater than Tycho Brahe or Erra Pater: For he, by geometrick scale, Could take the size of pots of ale; Resolve, by sines and tangents, straight, If bread or butter wanted weight; And wisely tell what hour o' th' day The clock does strike by algebra. -- BUTLER'S Hudibras."
  3. The Puzzle King, by John Scott, originally published in 1899.
• Media
  1. Stratkat and Epic Battle Fantasy III music from The Open Game Art Bundle is licensed by Creative Commons Zero License
  2. Icons made by Alfredo Hernandez, Darius Dan and Freepik from www.flaticon.com are licensed by CC 3.0 BY