Relation Explorer is a powerful mathematical graphing software, which can accurately and efficiently plotting images of arbitrarily complex binary implicit functions (including equations and inequalities).