The technology of static program analysis, automated theorem proving, computer algebra systems, formula editors, automated planning and scheduling, plan rationale, argumentation software, argument analysis software, related document authoring and editing software as well as the features and ergonomics of such software are of interest to our group.
Towards software or software plugins that can provide argumentation-related features, broadly, some links are provided including to web-based mathematics and planning domain authoring and editing software.
Static Program Analysis
List of Tools for Static Code Analysis
Automated Theorem Proving
List of Theorem Provers and Proof Assistants
Computer Algebra Systems
List of Computer Algebra Systems
Automated Planning and Scheduling Software
Planning and Scheduling