Talk:Mathematical software

From Wikipedia, the free encyclopedia

[edit] Mozart and Lingo

Why are Mozart and Lingo listed under Computer Algebra Systems? Their description reads they are just programming languages. Gesslein 22:18, 27 April 2006 (UTC)

Good point, I looked up Mozart's features [1] and the two interesing ones from our position are

Constraint Programming

Oz is a powerful constraint language with logic variables, finite domains, finite sets, rational trees and record constraints. The system is competitive in performance with state-of-the-art commercial solutions, but is much more expressive and flexible, providing first-class computation spaces, programmable search strategies, a GUI for the interactive exploration of search trees, parallel search engines exploiting computer networks, and a programming interface to implement new and efficient constraint systems.

Logic Programming

Oz goes beyond Horn-clauses to provide a unique and flexible approach to logic programming. Oz distinguishes between directed and undirected styles of declarative logic programming. For both, Oz lets you specify a program's logical semantics separately from its resolution strategy. Powerful tools and libraries are provided built on the concepts of first-class computation spaces and determinacy-driven disjunctions. Together with distribution, this makes Mozart an ideal platform for both intelligent multi-agent systems and parallel search.

So its a languge which allow some form of logic programming. Not a Computer Algebra System, but might be of interest somewhere here. --Salix alba (talk) 23:19, 27 April 2006 (UTC)

Why not just link to "List of computer algebra systems" under Computer Algebra Systems? Gesslein 16:16, 29 April 2006 (UTC)