Domain reasoner ideas.math

Description
Domain reasoner for mathematics and logic

versionversion 1.3.3 (revision 7998, Thu, 18 Jun 2015)
exercises43
services40

Exercise aliases

aliasexercise
math.coverupalgebra.equations.coverup
math.lineqalgebra.equations.linear
math.lineq-mixedalgebra.equations.linear.mixed
math.quadreqalgebra.equations.quadratic
math.quadreq-no-abcalgebra.equations.quadratic.no-abc
math.quadreq-with-approxalgebra.equations.quadratic.approximate
math.higherdegreealgebra.equations.polynomial
math.rationaleqalgebra.equations.rational
math.linineqalgebra.inequalities.linear
math.quadrineqalgebra.inequalities.quadratic
math.ineqhigherdegreealgebra.inequalities.polynomial
math.factoralgebra.manipulation.polynomial.factor
math.simplifyrationalalgebra.manipulation.rational.simplify
math.simplifypoweralgebra.manipulation.exponents.simplify
math.nonnegexpalgebra.manipulation.exponents.nonnegative
math.powerofalgebra.manipulation.exponents.powerof
math.derivativecalculus.differentiation
math.fractionarithmetic.fractions
math.calcpowerarithmetic.exponents
linalg.gaussianelimlinearalgebra.gaussianelim
linalg.gramschmidtlinearalgebra.gramschmidt
linalg.linsystemlinearalgebra.linsystem
linalg.systemwithmatrixlinearalgebra.systemwithmatrix
logic.dnflogic.propositional.dnf
logic.dnf-unicodelogic.propositional.dnf.unicode
logic.prooflogic.propositional.proof
relationalg.cnfrelationalgebra.cnf
gaussianeliminationlinearalgebra.gaussianelim
gramschmidtlinearalgebra.gramschmidt
solvelinearsystemlinearalgebra.linsystem
solvelinearsystemwithmatrixlinearalgebra.systemwithmatrix

Feedback scripts

exercisescript
logic.propositional.dnflogic.txt
logic.propositional.dnf.unicodelogic.txt
algebra.equations.linearmath.lineq-en.txt
algebra.equations.quadraticmath.quadreq-en.txt
algebra.equations.polynomialmath.polyeq-en.txt