This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the

This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the

This book builds on decades of research and provides contemporary theoretical foundations for practical applications to intelligent technologies and advances in

"This book satisfies the need for methodological consideration and tools for data collection, analysis and presentation in virtual communities, covering studies

As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, au- mated dedu