×

Axiomatisation des manipulations symboliques en calcul des prédicats. (French) Zbl 0384.68043

MSC:

68W30 Symbolic computation and algebraic computation
68N99 Theory of software
03B10 Classical first-order logic
03B40 Combinatory logic and lambda calculus
03-04 Software, source code, etc. for problems pertaining to mathematical logic and foundations
26-04 Software, source code, etc. for problems pertaining to real functions
PDFBibTeX XMLCite
Full Text: Numdam EuDML

References:

[1] G. BATTANI et H. MELONI . - ”Interpréteur du langage de programmation PROLOG” . - Rapport de DEA, G.I.A., U.E.R. de LUMINY, Université d’AIX-MARSEILLE.- ( 1973 ).
[2] M. BERGMAN . - ”Résolution par la démonstration automatique de quelques problèmes en intégration symbolique sur calculateur” . - Thèse de 3ème cycle. - ( 1973 ).
[3] M. BERGMAN et H. KANOUI . - ”Sycophante, système de calcul formel et d’intégration symbolique sur ordinateur” . - Convention DRME n^\circ 73/828, Rapport Final, Octobre 1975 .
[4] H. KANOUI . - ”Application de la démonstration automatique aux manipulations algébriques et à l’intégration formelle sur ordinateur” . - Thèse de 3ème cycle. - ( 1973 ).
[5] H. KANOUI . - “Some aspects of symbolic integration via Predicate-Logic programming” . - (soumis pour publication).
[6] R. KOWALSKI . - “Logic for problem solving” . - MEMO n^\circ 75, Dept of Artificial Intelligence, University of EDINBURG. - ( 1974 ).
[7] R. LOOS . - “Toward a formal implementation of Computer Algebra” . - Proceedings of EUROSAM 74, SIGSAM BULLETIN V8, N3, ( 1974 ). · Zbl 0282.17006
[8] J. MOSES . - “Symbolic Integration” . - Rapport MAC TR-47, PROJECT MAC, MIT, ( 1967 ). · Zbl 0163.22804
[9] J. MOSES . - “Symbolic Integration, the stormy Decade” . - Proceedings of the second Symposium on symbolic and algebraic Manipulation, ACM ( 1971 ). MR 46 #8466 | Zbl 0228.68009 · Zbl 0228.68009 · doi:10.1145/362637.362651
[10] Ph. ROUSSEL . - ”PROLOG : manuel d’utilisation” , G.I.A., U.E.R. de LUMINY, Université d’AIX-MARSEILLE ( 1975 ).
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.