1
$\begingroup$

I'm working through Apostol's 'Calculus, Vol 1', with a focus on learning the theory behind calculus. If you are not familiar, Apostol starts with analysis of the real line and works his way through some basic axiomatic geometry to integration and differentiation. As such, I'm constantly trying to track the relationships between various theorems and axioms.

I was wondering if anyone had any tips or tricks to help this. I have an idea for a visualization program, but I'm not skilled enough to pull it off, and I don't have the time to devote to learning programming just to learn to write it.

Best.

EDIT: I realized I was being silly and all I need is a flowchart.

  • 4
    Could you be specific on which parts you want to see a visualization of?2011-09-19
  • 1
    For visualizing proofs, there are various types of natural deduction (deduction trees, flag notation=Fitch diagrams.) For visualizing links between theorems IMHO programs that visualize graphs (as rectangles connected with arrows) are suitable.2011-09-19
  • 0
    Funny, I'm usually down with Visio for these sorts of things... :)2011-09-19

2 Answers 2