REXPR

What is rexpr?

Rexpr is a little bit of javascript and html that can build random mathematical expressions based on user specified relations. The ouput is formatted using latex and mathjax. I made this program as an extension of my previous logic expression generator scripts that I built alongside the exprtest prover. The main intention is for generating practice problems as shown in some of the demos below but feel free to use it for anything you want.

Demo Session:

A sample of how rexpr works.

exprTest Session:

Build formulas for the prover.

Calculus Session:

Basic calculus expression formats.

Propositional Logic Session:

Generates propositional logic expressions, could be used for proofs.

Algebra Session:

Some simple algebraic/arithmetic formats.

Set Equation Session:

Random set identity formats.

Notes:

• Sometimes Wolfram Alpha misinterprets properly formatted latex
• For certain operations it may be safer to pad out some extra spacing around X,V and C to be safe.
• You may need to scroll around on Wolfram a bit.
• I might try to find a way to increase the likelihood of certain expressions being selected.