/nfs/mcs-homes62/mccune/otter-3.2/examples/fringe


These problems illustrate some of Otter's esoteric features: hints, rewriting, tricks with orderings, algebraic geometry.

bring : bring.in : bring.pIII950 :

ec_yql : ec_yql.in : ec_yql.pIII950 :

gl4 : gl4.in : gl4.pIII950 :

gl8 : gl8.in : gl8.pIII950 :

if : if.in : if.pIII950 :

lexical1 : lexical1.in : lexical1.pIII950 :

lexical2 : lexical2.in : lexical2.pIII950 :

lexical3 : lexical3.in : lexical3.pIII950 :

luka5h : luka5h.in : luka5h.pIII950 :

mfl_13 : mfl_13.in : mfl_13.pIII950 :

rob_ocd : rob_ocd.in : rob_ocd.pIII950 :

x3tricks : x3tricks.in : x3tricks.pIII950 :


These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.