EntityQ1639024· pop 12· linked from 330 articlesmathematical softwareSign in to savesoftware to model, analyze or calculate numeric, symbolic or geometric dataConnectionsautomated theorem provingEntitycomputer algebraEntitymathematicsEntityalgorithmEntitymathematical optimizationEntityMathematicaEntitymathematical biologyEntityQ2858086EntityXcasEntityWolfram AlphaEntityProcessingEntitydifferential formEntityMicrosoft Math SolverEntity3Blue1BrownEntityBasic Linear Algebra SubprogramsEntityCalligra SheetsEntitysatisfiability modulo theoriesEntityNaClEntitycomputerEntitystatisticsEntityCategoriesMathematical software