Integrating multiple sources to answer questions in Algebraic Topology

Details Integrating multiple sources to answer questions in Algebraic Topology Integrating multiple sources to answer questions in Algebraic Topology

2010-04-27

arxiv.org/abs/1005.0749v1

Lectures Notes in Artificial Intelligence, 6167: 331-335, 2010

Computer Science

Symbolic Computation

To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 2010

Scientific paper

We present in this paper an evolution of a tool from a user interface for a concrete Computer Algebra system for Algebraic Topology (the Kenzo system), to a front-end allowing the interoperability among di?erent sources for computation and deduction. The architecture allows the system not only to interface several systems, but also to make them cooperate in shared calculations.

Affiliated with

Also associated with

No associations

Rating

Integrating multiple sources to answer questions in Algebraic Topology does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Integrating multiple sources to answer questions in Algebraic Topology, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Integrating multiple sources to answer questions in Algebraic Topology will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-236143