While the object oriented paradigm and its instantiation within programming languages such as Java has become a ubiquitous part of both the commercial and educational landscapes, its usage as a visualization technique within mathematics undergraduate programmes of study has perhaps been somewhat underestimated. By regarding the object oriented…

This paper describes applications of logic programming technology to the teaching of the inductive method in computer science and mathematics. It discusses the nature of inductive thought and its place in those fields of inquiry, arguing that a complete logic programming system for supporting inductive inference is not only feasible but necessary.…

NS-eCMS is developing an open web-based content management, communication, and collaboration eLearning platform that addresses the specialized requirements for distance education in natural sciences. The federated architecture enables straightforward development, exchange, and publication of material through open standards like XML/MathML. The…