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


These problems were contributed by Larry Wos in 1994. Most illustrate the resonance strategy.

cursory : cursory.in : cursory.pIII950 :

grp_exp3 : grp_exp3.in : grp_exp3.pIII950 :

grp_exp4 : grp_exp4.in : grp_exp4.pIII950 :

manyval : manyval.in : manyval.pIII950 :

rigorous : rigorous.in : rigorous.pIII950 :

rob_occ : rob_occ.in : rob_occ.pIII950 :

twoval : twoval.in : twoval.pIII950 :


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