# Mathematical software ## Links (Wikipedia order) <!-- injected from _registry/childlinks/Mathematical_software.json (2026-07-30T02:09:12Z) --> `3Blue1Brown` · `ACL2` · `ACM_Transactions_on_Mathematical_Software` · `ADMB` · `ADaMSoft` · `AIMMS` · `ALGLIB` · `AMPL` · `ANTIGONE` · `APMonitor` · `ARPACK` · `ASCEND` · `ASReml` · `AUCTeX` · `Accord.NET` · `Adept_(C++_library)` · `Advanced_Simulation_Library` · `Agda_(programming_language)` · `Albatross` · `Algebra_of_physical_space` · `Algebraic_structure` · `Algorism` · [[Algorithm]] · `Alt-Ergo` · `Analysis_of_algorithms` · `Analytica_(software)` · `Analytical_mechanics` · `Angoss` · `Apache_OpenOffice` · `Apophysis_(software)` · `Applied_mathematics` · `Approximation_theory` · `Armadillo_(C++_library)` · `AsciiMath` · `Automata_theory` · `Automated_theorem_proving` · `Automath` · `Automatically_Tuned_Linear_Algebra_Software` · `Axiom_(computer_algebra_system)` · `BARON` · `BLIS_(software)` · `BMDP` · `Basic_Linear_Algebra_Subprograms` · `Biophysics` · `Biostatistics` · `Blitz++` · `Boost_(C++_libraries)` · `Bosonic_string_theory` · `Bouncy_Castle_(cryptography)` · `Bryce_(software)` · `CARINE` · `CGAL` · `COIN-OR` · `CPLEX` · `C_(programming_language)` · `CaRMetal` · `Cadabra_(computer_program)` · `Calcpad` · [[Calculus_of_variations]] · `Calligra_Sheets` · `Calligra_Words` · `Cantor_(mathematics_software)` · `CasADi` · [[Chaos_theory]] · `Chronux` · `Class_Library_for_Numbers` · `Classical_field_theory` · `Clifford_algebra` · `Clifford_analysis` · `Coding_theory` · `Colt_(libraries)` · `Combinatorics` · [[Comparison_of_EM_simulation_software]] · `Comparison_of_JavaScript_charting_libraries` · `Comparison_of_TeX_editors` · `Comparison_of_cryptography_libraries` · `Comparison_of_linear_algebra_libraries` · `Comparison_of_software_calculators` · [[Comparison_of_software_for_molecular_mechanics_modeling]] · `Comparison_of_statistical_packages` · `Computational_geometry` · `Computational_group_theory` · `Computational_mathematics` · `Computational_number_theory` · `Computational_physics` · `Computational_statistics` · `Computer` · `Computer-based_mathematics_education` · `Computer_algebra` · `Computer_algebra_system` · `Computer_program` · `Conformal_field_theory` · `Constraint_programming` · `Constraint_satisfaction_problem` · [[Control_theory]] · `Conway's_Game_of_Life` · `Couenne` · `Crypto++` · `Cryptography` · `CuPy` · `D3.js` · `DAP_(software)` · `Dask_(software)` · `Data_assimilation` · `Dataplot` · `Deal.II` · [[Decision_theory]] · [[Differential_equation]] · `Differential_form` · `Differential_geometry` · `Discrete_geometry` · `Discrete_mathematics` · `Dlib` · `DrGeo` · [[Dynamical_system]] · `EISPACK` · `EViews` · `Effective_field_theory` · `Efficient_Java_Matrix_Library` · `Eigen_(C++_library)` · `Electric_Sheep` · `Exterior_algebra` · `F*_(programming_language)` · `FICO_Xpress` · `Fastest_Fourier_Transform_in_the_West` · `Fityk` · `Fortran` · [[Fourier_analysis]] · `Fractint` · `FriCAS` · [[Functional_analysis]] · `Functional_integration` · `Fyre_(software)` · `GAP_(computer_algebra_system)` · `GLIM_(software)` · `GNOME_Calculator` · `GNU_Linear_Programming_Kit` · `GNU_MPFR` · `GNU_Octave` · `GNU_Oleo` · `GNU_Scientific_Library` · `GNU_TeXmacs` · `Galahad_library` · [[Game_theory]] · `Gauge_theory` · `Gauge_theory_(mathematics)` · `Gekko_(optimization_software)` · `GeoGebra` · `Geometric_algebra` · `Geometric_analysis` · `Geometric_calculus` · `GetFEM++` · `GnuTLS` · `Gnumeric` · `Gnuplot` · `Google_Sheets` · `GraphCalc` · [[Graph_theory]] · `Grasshopper_3D` · `Gretl` · `Gummi_(software)` · `Gurobi_Optimizer` · `Gödel's_incompleteness_theorems` · `Hamiltonian_mechanics` · `HiGHS_optimization_solver` · `Houdini_(software)` · `Hypre` · `IML++` · `IMSL_Numerical_Libraries` · `IPOPT` · `IT++` · [[Information_theory]] · `Inkscape` · `Integer_set_library` · `International_Council_for_Industrial_and_Applied_Mathematics` · `Invention` · `IsaPlanner` · `Isabelle_(proof_assistant)` · `JAMA_(numerical_linear_algebra_library)` · `JASP` · `Jamovi` · `Japan_Society_for_Industrial_and_Applied_Mathematics` · `Jape_(software)` · `KCalc` · `KNIME` · `KSEG_(software)` · `KaTeX` · `Kaggle` · `Kent_State_University` · `Kig_(software)` · `Kile` · `LAPACK` · `LAPACK++` · `LIBSVM` · `LIMDEP` · `LINPACK` · `LaTeX` · `LabPlot` · `Lagrangian_mechanics` · `Lean_(proof_assistant)` · `Libfixmath` · `Library_(computing)` · `LibreOffice_Calc` · `Librsb` · `Lis_(linear_algebra_library)` · `List_of_arbitrary-precision_arithmetic_software` · `List_of_charting_software` · [[List_of_computational_fluid_dynamics_software]] · [[List_of_computational_physics_software]] · `List_of_computer_algebra_systems` · `List_of_computer_simulation_software` · `List_of_cosmological_computation_software` · [[List_of_data_science_software]] · `List_of_finite_element_software_packages` · `List_of_free_and_open-source_software_packages` · `List_of_information_graphics_software` · `List_of_interactive_geometry_software` · `List_of_mathematical_art_software` · `List_of_music_software` · `List_of_numerical-analysis_software` · [[List_of_numerical_libraries]] · `List_of_open-source_software_for_mathematics` · `List_of_optimization_software` · `List_of_programming_languages_by_type` · `List_of_quantum_chemistry_and_solid-state_physics_software` · `List_of_software_for_Monte_Carlo_molecular_modeling` · `List_of_spreadsheet_software` · `List_of_statistical_software` · `List_of_systems_biology_modeling_software` · `Logic_in_computer_science` · `Lotus_1-2-3` · `Lp_solve` · `LyX` · `MATLAB` · `MFEM` · `MIDACO` · `MINOS_(optimization_software)` · `MINPACK` · `MOSEK` · `MPIR_(mathematics_software)` · `Magma_(computer_algebra_system)` · `Malliavin_calculus` · `Mandelbulb` · `Maple_(software)` · `Math.NET_Numerics` · `MathJax` · `MathML` · `MathOverflow` · `Mathcad` · `Mathematical_analysis` · `Mathematical_and_theoretical_biology` · `Mathematical_chemistry` · `Mathematical_economics` · `Mathematical_finance` · [[Mathematical_model]] · `Mathematical_notation` · [[Mathematical_optimization]] · `Mathematical_physics` · `Mathematical_psychology` · `Mathematical_sociology` · `Mathematics` · `Mathomatic` · `Matita` · `Matplotlib` · `Matrix_Template_Library` · `Matrix_Toolkit_Java` · `Maxima_(software)` · `Meta.Numerics` · `Metamath` · `Microsoft_Excel` · `MilkDrop` · `MiniZinc` · `Minitab` · `Mizar_system` · `Modeling_and_simulation` · `Moore's_law` · `MuPAD` · `Multilinear_algebra` · `Multivariable_calculus` · `Music_and_mathematics` · `NAG_Numerical_Library` · `NCSS_(statistical_software)` · `NEOS_Server` · `NLOGIT` · `NMath` · `NaCl_(software)` · `National_Institute_of_Standards_and_Technology` · `Netlib` · `NetworkX` · `Neural_Designer` · `Notepad++` · `Nqthm` · `NumPy` · `Number_Theory_Library` · `Numbers_(spreadsheet)` · `Numerical_Recipes` · `Numerical_analysis` · `Numerical_linear_algebra` · `Numerical_methods_for_ordinary_differential_equations` · `Numerical_methods_for_partial_differential_equations` · `O-Matrix` · `OR-Tools` · `OjAlgo` · `OpenBLAS` · `OpenBUGS` · `OpenEpi` · `OpenMx` · `OpenNN` · `OpenPlaG` · `OpenSSL` · [[Operations_research]] · `Operator_algebra` · `Operator_theory` · `OptimJ` · `Orange_(software)` · [[Ordinary_differential_equation]] · `Origin_(data_analysis_software)` · `Overleaf` · `PARI/GP` · `PGF/TikZ` · `PSPP` · `Pandas_(software)` · `Paradox_(theorem_prover)` · `Parallel_Colt` · [[Partial_differential_equation]] · `Particle_physics_and_representation_theory` · `Perl_Data_Language` · `Perturbation_theory` · `Perturbation_theory_(quantum_mechanics)` · `PhoX` · `Picogen` · `PlanMaker` · `Plot_(graphics)` · `Poisson_algebra` · `Potential_theory` · `Probability_distribution` · `Probability_theory` · `Processing` · `Project_Jupyter` · `Proof_assistant` · `Prototype_Verification_System` · `Prover9` · `PyMC` · `Pyomo` · `Pyspread` · `QUADPACK` · `Qalculate!` · `Qlucore` · `Quantum_field_theory` · `Quantum_group` · `Quattro_Pro` · `ROOT` · `R_(programming_language)` · `Random_variable` · `RapidMiner` · `Reduce_(computer_algebra_system)` · `Renormalization_group` · `Rocq` · `S-PLUS` · `SAS_(software)` · `SLATEC` · `SMath_Studio` · `SNOPT` · `SOFA_Statistics` · `SPARK_(programming_language)` · `SPSS` · `SPSS_Modeler` · `SU2_code` · `SYSTAT_(statistics_package)` · `SageMath` · `Salstat` · `Satisfiability_modulo_theories` · `Sc_(spreadsheet_calculator)` · `SciPy` · `Scilab` · `Shogun_(toolbox)` · `Simulink` · `Social_choice_theory` · `Society_for_Industrial_and_Applied_Mathematics` · `Société_de_Mathématiques_Appliquées_et_Industrielles` · `Software` · `Solver` · `Spacetime_algebra` · `Stan_(software)` · `Stata` · `Statistica` · `Statistical_field_theory` · `Statistics` · `Statistics_Online_Computational_Resource` · `StatsDirect` · `Stochastic_calculus` · `Stochastic_differential_equation` · `Stochastic_process` · `String_theory` · `SuperCollider` · `Superalgebra` · `Supersymmetric_quantum_mechanics` · `Supersymmetric_theory_of_stochastic_dynamics` · `Supersymmetry` · `Supersymmetry_algebra` · `SymPy` · `TK_Solver` · `TOMLAB` · `TeX` · `TeXShop` · `TeXnicCenter` · `TeXstudio` · `TeXworks` · `Template_Numerical_Toolkit` · [[Tensor]] · `Tensor_software` · `Terragen` · `Texmaker` · `The_Unreasonable_Effectiveness_of_Mathematics_in_the_Natural_Sciences` · `Theano_(software)` · `Time_complexity` · `Topological_string_theory` · `Torch_(machine_learning)` · `Trilinos` · `Tux,_of_Math_Command` · `Twelf` · `Typesetting` · `UMFPACK` · `UPIC` · `Unity_(game_engine)` · `Validated_numerics` · `Vector_calculus` · `Vim_(text_editor)` · `Visual_Studio_Code` · `WORHP` · `WPS_Office` · `WRPN_Calculator` · `WarpPLS` · [[Wayback_Machine]] · `WinBUGS` · `WolframAlpha` · `Wolfram_Language` · `Wolfram_Mathematica` · `World_Programming_System` · `X-13ARIMA-SEATS` · `XaoS` · `Xcas` · `Yacas` · `Z3_Theorem_Prover` ## From the Real GENERATIVE library ![Mathematical software](https://upload.wikimedia.org/wikipedia/commons/thumb/e/e8/Crystal_Clear_app_kedit.svg/40px-Crystal_Clear_app_kedit.svg.png) *Mathematical software — placed from the Real G.E.N.E.R.A.T.I.V.E. course library (Information room). Source: Wikimedia Commons (via Wikipedia article media). [Details & license](https://commons.wikimedia.org/wiki/File:Crystal_Clear_app_kedit.svg).* > Mathematical software is software used to model, analyze or calculate numeric, symbolic or geometric data.[1] ([Wikipedia](https://en.wikipedia.org/wiki/Mathematical_software)) <!-- REAL-GENERATIVE-MEDIA:END --> > Summary stub · part of Systems Engineering · [Wikipedia source](https://en.wikipedia.org/wiki/Mathematical_software) ## Summary Mathematical software is software used to model, solve, explore, or teach mathematical problems, ranging from numerical computation and symbolic algebra to visualization and statistics. It includes computer algebra systems, numerical computing environments, and specialized libraries, with well-known examples such as MATLAB, Mathematica, Maple, and open-source tools like SageMath, NumPy, and R. Such software is foundational to [[Engineering|engineering]] analysis, scientific research, and education. It lets users perform computations that would be infeasible by hand. ## Key points - Software for numerical, symbolic, and statistical mathematics - Includes computer algebra systems and numerical environments - Examples include MATLAB, Mathematica, Maple, SageMath, and R - Foundational to engineering and scientific analysis - Enables computations infeasible by hand ## Relation to Systems Engineering Mathematical software is the workbench of systems engineering analysis, used to model dynamics, optimize designs, and evaluate trade-offs quantitatively. ## Sources - [Mathematical software — Wikipedia](https://en.wikipedia.org/wiki/Mathematical_software) Back to Systems Engineering --- <!-- SEMIOTIC-PROFILE:START --> ## Semiotic profile > *The semiotic universals this article invokes, machine-derived from the crossref — **unverified** (born so). Populated 2026-07-06 for the Systems room.* **Universals (4):** 🟡 system (8) · 🟡 visualization (2) · 🟢 optimization (1) · 🟢 tradeoff balance (1) **Enter by sign:** Systems Semiotic Gateway · Alphabetum · Icon Registry · ← Systems Portal <!-- SEMIOTIC-PROFILE:END --> <!-- REAL-GENERATIVE-MEDIA:START --> ## Wikipedia : Wikitube **Strict pair:** [Wikipedia](https://en.wikipedia.org/wiki/Mathematical_software) : [Wikitube](https://en.wikitube.io/wiki/Mathematical_software) ## Previous hub tags Tree parents: [[Decision_theory]] · [[Graph_theory]] · [[Information_theory]] · [[Systems_engineering]]. Legacy hubs: none. --- *Sources: 1 legacy note. Minted wave 1, 2026-07-30 (v1.6 order).*