The Extensions of the Sisyphe Computer Algebra System: ulysse and athena.
C. FaureAndré GalligoJ. GrimmLoic PottierPublished in: DISCO (1992)
Keyphrases
- computer algebra
- theorem prover
- default logic
- social networks
- efficient implementation
- preprocessing
- computer algebra systems
- automated theorem provers
- wireless sensor networks
- special case
- data mining
- multi agent
- reinforcement learning
- metadata
- search engine
- artificial intelligence
- learning algorithm
- information retrieval