Towards the mathematics software bus

Authors:
Jacques Calmet;Karsten Homann
Affiliations:
-;-
Venue:
Theoretical Computer Science - Special volume on computer algebra
Year:
1997

Citing 0
Cited 2

MBase: representing knowledge and context for the intergration of mathematical software systems

Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Mediated Access to Symbolic Computation Systems

Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics

Quantified Score

Hi-index	0.00

Visualization

Abstract