Bill, I've been continuing the proviso research. I notice from your book bibliography that Hansen has quite a few papers published and referenced. Are these online anywhere? I checked CMU's library but they only have the Topics in Interval Analysis proceedings.
Tim _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
