Re: Big-O notation, multiple variables

In article <f63akd$7o2$1@xxxxxxxxxxxxxxx>, Rod Howell <rhowell@xxxxxxx> wrote:
A draft of my paper entitled, "On Asymptotic Notation with Multiple
Variables", can be found at

http://people.cis.ksu.edu/~rhowell/asymptotic.pdf

Nice piece of work!

I'd suggest that you send a copy to Jeremy Avigad, who has formalized big-O
notation for a single variable in Isabelle and who might be interested in
implementing your definition.

http://www.andrew.cmu.edu/user/avigad/

You might also try sending it to Knuth, who doesn't read email and doesn't
even read all the unsolicited papers he gets, but who I think would find
your paper interesting. It's the sort of thing I think he would want to put
in TAOCP, though who knows when he'll get around to revising that section
again.

http://www-cs-faculty.stanford.edu/~knuth/email.html
--
Tim Chow tchow-at-alum-dot-mit-dot-edu
The range of our projectiles---even ... the artillery---however great, will
never exceed four of those miles of which as many thousand separate us from
the center of the earth. ---Galileo, Dialogues Concerning Two New Sciences
.