name: ideas-math version: 1.2 synopsis: Interactive domain reasoner for logic and mathematics homepage: http://ideas.cs.uu.nl/www/ description: Interactive domain reasoner for logic and mathematics, based on the feedback services of the Ideas framework. Domains supported include propositional logic (disjunctive normal form and equivalence proofs), mathematics (fractions, polynomial equations, powers, derivatives), linear algebra (Gaussian elimination and linear systems), and relation algebra. The domain reasoner is used by learning environments such as the digital mathematical environment of the Freudenthal Institute, MathDox, ActiveMath, and the LogEx logic tool. category: Education copyright: (c) 2015 license: GPL license-file: LICENSE.txt author: Bastiaan Heeren, Alex Gerdes, Johan Jeuring maintainer: bastiaan.heeren@ou.nl stability: provisional extra-source-files: CREDITS.txt build-type: Simple cabal-version: >= 1.8.0.2 tested-with: GHC == 7.4.1, GHC == 7.6.3, GHC == 7.8.3 -- feedback scripts extra-source-files: scripts/logic.txt scripts/math.lineq-en.txt scripts/math.polyeq-en.txt scripts/math.quadreq-en.txt source-repository head type: svn location: https://ideas.cs.uu.nl/svn/MathTutor/trunk -------------------------------------------------------------------------------- Executable ideas-math Main-is: Main.hs ghc-options: -Wall -fno-warn-orphans hs-source-dirs: src Build-Depends: base >= 4.2 && < 5, QuickCheck >= 2.4.1 && < 2.7, containers, random, parsec, ideas == 1.3 Other-modules: Domain.LinearAlgebra.Checks Domain.LinearAlgebra.EquationsRules Domain.LinearAlgebra.Exercises Domain.LinearAlgebra.GramSchmidtRules Domain.LinearAlgebra.LinearSystem Domain.LinearAlgebra.LinearView Domain.LinearAlgebra.Matrix Domain.LinearAlgebra.MatrixRules Domain.LinearAlgebra.Parser Domain.LinearAlgebra.Strategies Domain.LinearAlgebra.Vector Domain.LinearAlgebra Domain.Logic.BuggyRules Domain.Logic.Consequence Domain.Logic.Examples Domain.Logic.Exercises Domain.Logic.Formula Domain.Logic.GeneralizedRules Domain.Logic.Generator Domain.Logic.InverseRules Domain.Logic.Parser Domain.Logic.Proofs Domain.Logic.Rules Domain.Logic.Strategies Domain.Logic.Utils Domain.Logic.Views Domain.Logic Domain.Math.Approximation Domain.Math.CleanUp Domain.Math.Data.DecimalFraction Domain.Math.Data.Interval Domain.Math.Data.MixedFraction Domain.Math.Data.OrList Domain.Math.Data.Polynomial Domain.Math.Data.PrimeFactors Domain.Math.Data.Primes Domain.Math.Data.Relation Domain.Math.Data.SquareRoot Domain.Math.Data.TestingClassLaws Domain.Math.Data.WithBool Domain.Math.Derivative.Examples Domain.Math.Derivative.Exercises Domain.Math.Derivative.Rules Domain.Math.Derivative.Strategies Domain.Math.Equation.BalanceRules Domain.Math.Equation.CoverUpExercise Domain.Math.Equation.CoverUpRules Domain.Math.Equation.Examples Domain.Math.Equation.Views Domain.Math.ExerciseList Domain.Math.Expr.Clipboard Domain.Math.Expr.Data Domain.Math.Expr.Parser Domain.Math.Expr.Symbols Domain.Math.Expr.Views Domain.Math.Expr Domain.Math.Fraction.Exercises Domain.Math.Fraction.Rules Domain.Math.Fraction.Strategies Domain.Math.Numeric.Examples Domain.Math.Numeric.Exercises Domain.Math.Numeric.Generators Domain.Math.Numeric.Rules Domain.Math.Numeric.Strategies Domain.Math.Numeric.Tests Domain.Math.Numeric.Views Domain.Math.Polynomial.Balance Domain.Math.Polynomial.BalanceUtils Domain.Math.Polynomial.BuggyBalance Domain.Math.Polynomial.BuggyRules Domain.Math.Polynomial.Equivalence Domain.Math.Polynomial.Examples Domain.Math.Polynomial.Exercises Domain.Math.Polynomial.Generators Domain.Math.Polynomial.IneqExercises Domain.Math.Polynomial.LeastCommonMultiple Domain.Math.Polynomial.RationalExamples Domain.Math.Polynomial.RationalExercises Domain.Math.Polynomial.RationalRules Domain.Math.Polynomial.Rules Domain.Math.Polynomial.Strategies Domain.Math.Polynomial.Tests Domain.Math.Polynomial.Views Domain.Math.Power.Equation.Examples Domain.Math.Power.Equation.Exercises Domain.Math.Power.Equation.NormViews Domain.Math.Power.Equation.Rules Domain.Math.Power.Equation.Strategies Domain.Math.Power.Examples Domain.Math.Power.Exercises Domain.Math.Power.NormViews Domain.Math.Power.OldViews Domain.Math.Power.Rules Domain.Math.Power.Strategies Domain.Math.Power.Utils Domain.Math.Power.Views Domain.Math.Safe Domain.Math.Simplification Domain.Math.SquareRoot.Tests Domain.Math.SquareRoot.Views Domain.RelationAlgebra.Exercises Domain.RelationAlgebra.Formula Domain.RelationAlgebra.Generator Domain.RelationAlgebra.Parser Domain.RelationAlgebra.Rules Domain.RelationAlgebra.Strategies Domain.RelationAlgebra Main --------------------------------------------------------------------------------