I am aware of it -- let me look at in greater detail. Thanks!
On Sunday, May 5, 2019 at 10:31:39 AM UTC-4, David Joyner wrote: > > > > On Sun, May 5, 2019 at 9:23 AM Meem <[email protected] <javascript:>> > wrote: > >> Hi, >> >> (Not sure if this is the correct forum for this question). >> >> When I don't have access to paper and/or a large work surface (for >> example on a coach seat in an airplane): I try to compose my proofs using >> LaTeX. >> >> So I copy the previous line -- cross out terms -- perform additional >> manipulations and continue till I hit a wall or finish the proof. >> >> I'm half decent at LaTeX, but the syntax is so verbose that it becomes >> tiring. >> >> I am thinking of using a more compact representation with some possible >> algebraic support from the underlying system. >> >> I've been (briefly) checking out Sage and am delighted that I can convert >> stuff to LaTeX. >> >> So I guess my question has the following parts: >> >> 1. Is Sage suitable for writing proofs? >> >> 2. Does it have any facilities to keep the arguments/steps in a proof >> format -- kind of like in LaTeX there is a proof typesetting option? >> >> > Are you using sagetex? There's a manual here: > https://doc.sagemath.org/html/en/tutorial/sagetex.html > > > >> 3. What tutorials should I look at for this type of work -- the stuff I >> wish to tackle first is mostly simple proofs from say an introductory >> course in analysis -- mostly delta/epsilon stuff. >> >> Thanks! >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sage-edu" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected] <javascript:>. >> To post to this group, send email to [email protected] >> <javascript:>. >> Visit this group at https://groups.google.com/group/sage-edu. >> For more options, visit https://groups.google.com/d/optout. >> > -- You received this message because you are subscribed to the Google Groups "sage-edu" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-edu. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-edu/a674eed8-4cb4-4e80-b4b4-157a706aa6e9%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
