Why AM an EUISKO appear to work.
Artificial Intelligence
A semantics of multiple inheritance.
Proc. of the international symposium on Semantics of data types
Methods and applications of error-free computation
Methods and applications of error-free computation
Computer algebra: symbolic and algebraic computation (2nd ed.)
Computer algebra: symbolic and algebraic computation (2nd ed.)
RUBRIC: A System for Rule-Based Information Retrieval
IEEE Transactions on Software Engineering - Special issue on COMPSAC 1982 and 1983
Expert Systems and the "Myth" of Symbolic Reasoning
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Introduction to the Graphical Kernel System (GKS) (2nd ed. revised for international standard)
Introduction to the Graphical Kernel System (GKS) (2nd ed. revised for international standard)
An object-oriented approach to algebra system design
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Integration of graphical tools in a computer algebra system
Proceedings of the 4th International Conference, AAECC-4 on Applicable algebra, error-correcting codes, combinatorics and computer algebra
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On the criteria to be used in decomposing systems into modules
Communications of the ACM
On proving inductive properties of abstract data types
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Software Specification Techniques (International Computer Science Series)
Software Specification Techniques (International Computer Science Series)
Design and Implementation of a Generic, Logic and Functional Programming Language
ESOP '86 Proceedings of the European Symposium on Programming
AAECC-2 Proceedings of the 2nd International Conference on Applied Algebra, Algorithms and Error-Correcting Codes
A Primer: 11 Keys to New Scratchpad
EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation
Software Engineering, An Advanced Course, Reprint of the First Edition [February 21 - March 3, 1972]
Sufficient Completness, Term Rewriting Systems and "Anti-Unification"
Proceedings of the 8th International Conference on Automated Deduction
A language for computational algebra
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
The algorithm description language ALDES (report)
ACM SIGSAM Bulletin
A deductive database of the groups of order dividing 128
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Hi-index | 0.00 |
This paper reports on a work in progress aiming at designing and implementing a system for representing and manipulating mathematical knowledge. Its kernel is a computer algebra system but it shows several of the features of the so-called knowledge-based systems. The main issues considered here are the software engineering aspects of the project, the definition of a new language to support the system and the use of AI techniques in a field where algebraic algorithms are the building stones of systems. This defines an environment which enables not only to have data-bases of knowledge but also to implement an expert use of this knowledge.