Development of automatic reasoning tools in GeoGebra.
Miguel A. AbánadesFrancisco BotanaZoltán KovácsTomás RecioCsilla Sólyom-GecsePublished in: ACM Commun. Comput. Algebra (2016)
Keyphrases
- automatic processing
- end users
- design tools
- development process
- user friendly
- fully automatic
- decision support
- software developers
- web technologies
- case study
- design principles
- rapid development
- design decisions
- automated reasoning
- reasoning systems
- reasoning processes
- logic programs
- software tools
- software engineering
- qualitative reasoning
- technical issues