Thanks, He even includes induction. Linda -----Original Message----- From: programming-boun...@forums.jsoftware.com [mailto:programming-boun...@forums.jsoftware.com] On Behalf Of Roger Hui Sent: Friday, January 18, 2013 10:35 AM To: Programming forum Subject: Re: [Jprogramming] Hermitian from triangular
See section 1.4 and section 4 of *Notation as a Tool of Thought<http://www.jsoftware.com/papers/tot.htm> *. On Fri, Jan 18, 2013 at 3:13 AM, Raul Miller <rauldmil...@gmail.com> wrote: > On Fri, Jan 18, 2013 at 5:33 AM, Linda Alvord > <lindaalv...@verizon.net> > wrote: > > What a simple way to write a proof in J. > > I like grouping equalities together, vertically on a page, with > explanatory text separating the groups. (If I need anything more than > short NB. quips to distinguish equalities, my explanation probably was > not good enough.) > > -- > Raul > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
