[texhax] Incorporating TeX into Custom-made Programs
dwyckoff76 at hotmail.com
Thu Feb 16 18:20:59 CET 2006
Thank you all for your kind assistance! I'm gonna try each of the ideas you
guys mentioned. I'm so glad you were nice enough to reply to my desperate
In response to Torsten's comment, yes I'm gonna go open-source with it, if I
ever get a substantial chunk of it done.
In response to Micha's comment, thanks for your concern that I'm gonna be
devoting my whole life to this project. :-) But as far as I know the
conventional CASes don't do what I want them to do. I want a program that
would let you enter in the proof for say Sylow's Theorem in Abstract
Algebra, and would draw visual aids on the screen corresponding directly to
the statements, as the program steps through each statement one at a time.
Yes, it's a tall order, but I have nothing better to do. Thanks for your
>From: Micha Hofri <hofri at cs.wpi.edu>
>To: Daniel Wyckoff <dwyckoff76 at hotmail.com>
>CC: texhax at tug.org
>Subject: Re: [texhax] Incorporating TeX into Custom-made Programs
>Date: Thu, 16 Feb 2006 07:55:32 -0500 (EST)
>you do not tell how deep you already are into your program. If switching
>horses is not yet something you would not dare contemplate, I suggest you
>give any of the CASes (computer algebra systems) such as Maple, the only
>one I am somewhat familiar with, but there are others, Mathematica,
>Macsyma, Maxima..., a good look. They allow the incorporation of text,
>mathematics (of any kind, and a few others), diagrams, plots etc in an
>elegant way, especially, I believe, the first two above, which allow you
>to write a book or prepare complete presentations within the system.
>The rest of your life is, I hope, a long time...
>At 06:07 on 02/16/06 Daniel Wyckoff sent:
>: Dear TUG,
>: I've searched for the last four hours for an answer to my question, and
>: is my last resort. Sorry if I sound ignorant, but here goes:
>: I'm devoting the rest of my life to making a very complicated educational
>: program that runs through abstract mathematical proofs and displays
>: aids. Probably naively, I'm planning to write it in C and use OpenGL.
>: Anyway, I need a way for the program to display mathematical symbols
>: with visualizations of the mathematical structures. So, I need a way to
>: display math symbols graphically on the screen. I thought that somebody
>: have already written some library to achieve this, but I was wrong or
>: thorough enough. How do you suggest that I incorporate TeX symbols into
>: graphical C program?
>: Thanks so much for your help!
>: -Daniel Wyckoff
>: TeX FAQ: http://www.tex.ac.uk/faq
>: Mailing list archives: http://tug.org/pipermail/texhax/
>: More links: http://tug.org/begin.html
>: Automated subscription management: http://tug.org/mailman/listinfo/texhax
>: Human mailing list managers: postmaster at tug.org
More information about the texhax