⚠️ Warning: This is a draft ⚠️
This means it might contain formatting issues, incorrect code, conceptual problems, or other severe issues.
If you want to help to improve and eventually enable this page, please fork RosettaGit's repository and open a merge request on GitHub.
==Explanation== Aren't they all to some extent? I guess this category needs a paragraph of explanation. --[[User:Paddy3118|Paddy3118]] 05:09, 2 August 2011 (UTC)
: If we had [[:Category:Domain-specific programming languages]] this would be a subcat. It's a list of languages that are not intended for general use (though many can be used that way) but for solving math problems.
: The list so far includes calculators (bc, GP, and the TI-BASICs), proof assistants (Coq), computer algebra systems (Maple, Mathematica, Maxima), and so forth. : I created it to separate [[:Category:Mathematics]] which was used for both languages and tasks. : [[User:CRGreathouse|CRGreathouse]] 04:11, 5 August 2011 (UTC)