This article is ratedList-class on Wikipedia'scontent assessment scale. It is of interest to the followingWikiProjects:

MathematicsMid‑priority This article is within the scope ofWikiProject Mathematics, a collaborative effort to improve the coverage ofmathematics on Wikipedia. If you would like to participate, please visit the project page, where you can jointhe discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics Mid This article has been rated asMid-priority on theproject's priority scale. Computing:SoftwareMid‑importance This article is within the scope ofWikiProject Computing, a collaborative effort to improve the coverage ofcomputers,computing, andinformation technology on Wikipedia. If you would like to participate, please visit the project page, where you can jointhe discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing Mid This article has been rated asMid-importance on theproject's importance scale. This article is supported byWikiProject Software (assessed asMid-importance). Systems: Software engineeringMid‑importance This article is within the scope ofWikiProject Systems, which collaborates on articles related tosystems andsystems science.SystemsWikipedia:WikiProject SystemsTemplate:WikiProject SystemsSystems Mid This article has been rated asMid-importance on theproject's importance scale. This article is within the field ofSoftware engineering.

Please update the CAS section, MATLAB also has the Symbolic Math Toolbox which is a general purpose Computer Algebra System. Note, I am a MathWorker (Spalfrey (talk)19:58, 5 January 2018 (UTC))[reply]

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

Good point, I looked upMozart'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)[reply]

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

Other sections might be:optimization software, CFD, FEA, theorem provers, morphological image processing, number theory software. I am sure there are others.Greenmatter (talk)10:23, 1 October 2009 (UTC)[reply]

Hello fellow Wikipedians,

I have just modified one external link onMathematical software. Please take a moment to reviewmy edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visitthis simple FaQ for additional information. I made the following changes:

• Added archivehttps://web.archive.org/web/20150312002846/http://toms.acm.org/Charter.html tohttp://toms.acm.org/Charter.html

When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.

This message was posted before February 2018.After February 2018, "External links modified" talk page sections are no longer generated or monitored byInternetArchiveBot. No special action is required regarding these talk page notices, other thanregular verification using the archive tool instructions below. Editorshave permission to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see theRfC before doing mass systematic removals. This message is updated dynamically through the template{{source check}}(last update: 5 June 2024).

• If you have discovered URLs which were erroneously considered dead by the bot, you can report them withthis tool.
• If you found an error with any archives or the URLs themselves, you can fix them withthis tool.

Cheers.—InternetArchiveBot(Report bug)11:25, 21 January 2018 (UTC)[reply]

Recently,this article's lead section was re-written, but it still seems confusing in some places.

For example:

Specially, It may be sure common sense that to the attention that there is a such as next case in mathematical software using:

1. That is no security to solving neccesaly. [sic]

Does this lead section need to be re-written again?Jarble (talk)22:35, 24 February 2018 (UTC)[reply]

Yes.Eric Rowland (talk)15:50, 5 May 2018 (UTC)[reply]

@Eric Rowland: Since the lead section was incomprehensible, Irestored the previous version of this section (from three years ago).Jarble (talk)15:38, 27 May 2021 (UTC)[reply]

@Eric Rowland: ...butthis section is still mostly unintelligible, so it needs to be rewritten.Jarble (talk)15:57, 27 May 2021 (UTC)[reply]

• List-Class mathematics articles
• Mid-priority mathematics articles
• List-Class Computing articles
• Mid-importance Computing articles
• List-Class software articles
• Mid-importance software articles
• List-Class software articles of Mid-importance
• All Software articles
• All Computing articles
• List-Class Systems articles
• Mid-importance Systems articles
• Systems articles in software engineering
• WikiProject Systems articles