QE problems

format

• Each file defines a list of lists [[a1, b1], [a2, b2], ...]: where each ai is an (extended) first-order formula and bi is a quantifier-free formula which equivalent to ai.

header

• AUTHOR (required)
• DOMAIN (required)
• CITATION (required)

relational operators

LaTeX	Notation
=	=
\ne	<>
<	<
\leq	<=
>	>
\geq	>=

functions

• area
• volume
• abs

How to use

SyNRAC/Maple

F := parse(FileTools[Text][ReadFile]("filename.mpl")):
for fml in F do
  SyNRAC[qe](fml[1]);
end do;

Contribution

See CONTRIBUTING-JP.md (in Japanese)

Related Project

• Remis Search
• A repository for CAD Examples