Algèbres associatives et calcul formel (Associative algebras and computer algebra).
Abdenacer MakhloufPublished in: Theor. Comput. Sci. (1997)
Keyphrases
- computer algebra
- theorem prover
- topological spaces
- computer algebra systems
- distributive lattices
- boolean algebra
- associative memory
- automated theorem provers
- clifford algebra
- spreading activation
- temporal reasoning
- feature selection
- search engine
- qualitative and quantitative
- first order logic
- graphical models
- evolutionary algorithm
- relational databases
- expert systems
- relation algebra
- search algorithm
- multiscale
- decision trees