Thanks, He even includes induction. Linda -----Original Message----- From: [email protected] [mailto:[email protected]] 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 <[email protected]> wrote: > On Fri, Jan 18, 2013 at 5:33 AM, Linda Alvord > <[email protected]> > 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
