DeductionWriter - Ett verktyg för att skriva matematik.

Det här programmet påbörjades på grund av behovet av att renskriva gamla föreläsningsanteckningar och egna härledningar och beräkningar. Som vanligt fanns flera andra lärande- och utvecklingsaspekter med som syften.

Det är utvecklat i Eclipse och använder Sqlite istället för filsystem och vilar tungt på den omfattande standardisering (UTF) som etablerats för tecken eller glyfer.

Det är uppbyggt med ett huvudprogram för skrivande och redigerande och har några popup-moduler för att sätta samman och gallra paletter av symboler, gör egna symboler och projicera symbolerna på tangentbordet. Samt för att lagra och läsa in teorem och symboluppsättningar.

Programmets dokumentation och API finns att tillgå här: DeductionDocs

Källkoden finns nu också på github och har fått ett mycket bättre GUI och en del andra förbättringar. Nedan finns några bilder med de gamla gränssnitten som visar lite av hur det är tänkt att fungera.