A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs.
Tuan-Minh PhamYves BertotPublished in: Electron. Notes Theor. Comput. Sci. (2012)
Keyphrases
- formal proofs
- dynamic environments
- software development
- three dimensional
- software systems
- graphic user interface
- computer graphics
- user friendly
- software architecture
- geometry theorem proving
- interactive video
- test bed
- artificial intelligence
- neural network
- computer systems
- embedded systems
- software tools
- software maintenance
- software design
- graphical user interfaces
- user interface
- case study
- data mining