# Wolfram Mathematica

Mathematica 8.0.0 Linux frontend | |

Developer(s) | Wolfram Research |
---|---|

Initial release | June 23, 1988^{[1]} |

Stable release | 12.0.0 (April 16, 2019[±] ) ^{[2]}
/ April 16, 2019 |

Written in | Wolfram Language,^{[3]} C/C++, Java^{[4]} |

Platform | Windows (7, 8, 10), macOS, Linux, Raspbian, online service.^{[5]} All platforms support 64-bit implementations.^{[6]} (list) |

Available in | English, Chinese, Japanese |

Type | Computer algebra, numerical computations, information visualization, statistics, user interface creation |

License | Proprietary |

Website | www |

**Wolfram Mathematica** (usually termed **Mathematica**) is a modern technical computing system spanning most areas of technical computing - including neural networks, machine learning, image processing, geometry, data science, visualizations, and others. The system is used in many technical, scientific, engineering, mathematical, and computing fields. It was conceived by Stephen Wolfram and is developed by Wolfram Research of Champaign, Illinois.^{[7]}^{[8]} The Wolfram Language is the programming language used in Mathematica.^{[9]}

## Contents

## Features[edit]

Features of Wolfram Mathematica include:^{[10]}

- Libraries of mathematical elementary functions and special functions
- Support for complex number, arbitrary precision arithmetic, interval arithmetic, numbers with uncertainty censored data, temporal data, time series, and unit based data, and symbolic computation
- Matrix and data manipulation tools including support for sparse arrays and associative arrays
- 2D and 3D data, function and geo visualization and animation tools
- Solvers for systems of equations, diophantine equations, ordinary differential equations (ODEs), non-linear partial differential equations (PDEs), differential algebraic equations (DAEs), delay differential equations (DDEs), stochastic differential equations (SDEs), and recurrence relations
- Finite element analysis including 2D and 3D adaptive mesh generation
- Numeric and symbolic tools for discrete and continuous calculus including continuous and discrete integral transforms
- Constrained and unconstrained local and global optimization
- Multivariate statistics libraries including fitting, hypothesis testing, and probability and expectation calculations on over 160 distributions.
- Calculations and simulations on random processes and queues
- Supervised and unsupervised machine learning tools for data, images and sounds including artificial neural networks
- Tools for text mining including regular expressions, semantic analysis, sentiment analysis and fact extraction
- Data mining tools such as cluster analysis, sequence alignment and pattern matching
- Computational geometry in 2D, 3D and higher dimensions
- Computable Euclid-style geometry
- Libraries for signal processing including wavelet analysis on sounds, images and data
- Audio processing filters and measures including audio recognition
- Linear and non-linear control system libraries
- Tools for 2D and 3D image processing
^{[11]}and morphological image processing including image recognition - Tools for visualizing and analysing directed and undirected graphs
- Tools for combinatoric problems
- Number theory function library
- Tools for cryptography including symmetric and asymmetric keys, hashing and elliptic curve cryptography
- Tools for financial calculations including bonds, annuities, derivatives, options etc.
- Group theory and symbolic tensor functions
- Tools for Automated theorem proving
- Microcontroller kit for giving symbolic specifications from which it automatically generates and deploys code to run autonomously in microcontrollers.
- Tools for Systems modeling including generation and execution of Modelica models.
- Tools for computational chemistry including bond length and angle calculations and databases of chemical properties
- Technical word processing including formula editor and automated report generator
- Presenter tools for generating professional presentations that allow for code to be executed directly within the notebook environment.
- Programming language supporting procedural, functional, object-oriented constructs and parallel programming
- Toolkit for adding user interfaces to calculations and applications
- Tools for creating and deploying cloud based computational applications and services
- Tools to connect to dynamic-link library (DLL), Java, .NET, C++, Fortran, CUDA, OpenCL, and Hypertext Transfer Protocol (HTTP) based systems
- Database tools for connecting to Structured Query Language (SQL), SPARQL, MongoDB databases and various online services
- Import and export filters for data, images, video, sound, computer-aided design (CAD), geographic information systems (GIS),
^{[12]}document and biomedical formats - Database collection for mathematical, scientific, and socio-economic information and access to Wolfram Alpha data and computations
- Read and write to public blockchains (Bitcoin, Ethereum, and ARK)
- Using both "
*free-form linguistic input*" (a natural language user interface)^{[13]}^{[14]}and Wolfram Language in notebook when connected to the Internet

## The Notebook interface[edit]

Wolfram Mathematica is split into two parts, the kernel and the front end. The kernel interprets expressions (Wolfram Language code) and returns result expressions.

The front end, designed by Theodore Gray^{[15]} in 1988, provides a GUI, which allows the creation and editing of Notebook documents^{[16]} containing program code with prettyprinting, formatted text together with results including typeset mathematics, graphics, GUI components, tables, and sounds. All content and formatting can be generated algorithmically or edited interactively. Standard word processing capabilities are supported, including real-time multi-lingual spell-checking.

Documents can be structured using a hierarchy of cells, which allow for outlining and sectioning of a document and support automatic numbering index creation. Documents can be presented in a slideshow environment for presentations. Notebooks and their contents are represented as Mathematica expressions that can be created, modified or analyzed by Mathematica programs or converted to other formats.

The front end includes development tools such as a debugger, input completion, and automatic syntax highlighting.

Among the alternative front ends is the Wolfram Workbench, an Eclipse based integrated development environment (IDE), introduced in 2006. It provides project-based code development tools for Mathematica, including revision management, debugging, profiling, and testing.^{[17]}
There is a plugin for IntelliJ IDEA based IDEs to work with Wolfram Language code which in addition to syntax highlighting can analyse and auto-complete local variables and defined functions.^{[18]}
The Mathematica Kernel also includes a command line front end.^{[19]} Other interfaces include JMath,^{[20]} based on GNU readline and WolframScript^{[21]} which runs self-contained Mathematica programs (with arguments) from the UNIX command line.

## High-performance computing[edit]

In recent years, the capabilities for high-performance computing have been extended with the introduction of packed arrays (version 4, 1999)^{[22]} and sparse matrices (version 5, 2003),^{[23]} and by adopting the GNU Multi-Precision Library to evaluate high-precision arithmetic.

Version 5.2 (2005) added automatic multi-threading when computations are performed on multi-core computers.^{[24]} This release included CPU specific optimized libraries. In addition Mathematica is supported by third party specialist acceleration hardware such as ClearSpeed.^{[25]}

In 2002, gridMathematica was introduced to allow user level parallel programming on heterogeneous clusters and multiprocessor systems^{[26]} and in 2008 parallel computing technology was included in all Mathematica licenses including support for grid technology such as Windows HPC Server 2008, Microsoft Compute Cluster Server and Sun Grid.

Support for CUDA and OpenCL GPU hardware was added in 2010. Also, since version 8 it can generate C code, which is automatically compiled by a system C compiler, such as GCC or Microsoft Visual Studio.

In 2019 support was added for compiling Wolfram Language code to LLVM

## Deployment[edit]

There are several ways to deploy applications written in Wolfram Mathematica:

- Mathematica Player Pro is a runtime version of Mathematica that will run any Mathematica application but does not allow editing or creation of the code.
^{[27]} - A free-of-charge version, Wolfram CDF Player, is provided for running Mathematica programs that have been saved in the Computable Document Format (CDF).
^{[28]}It can also view standard Mathematica files, but not run them. It includes plugins for common web browsers on Windows and Macintosh. - webMathematica allows a web browser to act as a front end to a remote Mathematica server. It is designed to allow a user-written application to be remotely accessed via a browser on any platform. It may not be used to give full access to Mathematica. Due to bandwidth limitations interactive 3D graphics is not fully supported within a web browser.
- Wolfram Language code can be converted to C code or to an automatically generated DLL.
- Wolfram Language code can be run on a Wolfram cloud service as a web-app or as an API either on Wolfram-hosted servers or in a private installation of the Wolfram Enterprise Private Cloud.

## Connections to other applications, programming languages, and services[edit]

Communication with other applications occurs through a protocol called Wolfram Symbolic Transfer Protocol (WSTP). It allows communication between the Wolfram Mathematica kernel and front-end, and also provides a general interface between the kernel and other applications.^{[29]} Wolfram Research freely distributes a developer kit for linking applications written in the programming language C to the Mathematica kernel through *WSTP*. Using *J/Link*.,^{[30]} a Java program can ask Mathematica to perform computations; likewise, a Mathematica program can load Java classes, manipulate Java objects and perform method calls. Similar functionality is achieved with *.NET /Link*,^{[31]} but with .NET programs instead of Java programs. Other languages that connect to Mathematica include Haskell,^{[32]} AppleScript,^{[33]} Racket,^{[34]} Visual Basic,^{[35]} Python^{[36]}^{[37]} and Clojure.^{[38]}

Links are available to many mathematical software packages including OpenOffice.org Calc,^{[39]} Microsoft Excel,^{[40]} MATLAB,^{[41]}^{[42]}^{[43]} R,^{[44]} SageMath (which can also pull up Mathematica),^{[45]}^{[46]}^{[47]}^{[48]} Singular,^{[49]} Wolfram SystemModeler, and Origin.^{[50]} Mathematical equations can be exchanged with other computational or typesetting software via MathML.

Links are available to other applications such as the Unity game engine and the OpenAI Gym.

Mathematica includes interfaces to SQL databases (via Java Database Connectivity JDBC).,^{[51]} MongoDB and it can access RDF graph databases via SPARQL. It can read and write to Multichain and Bitcoin Blockchains. Mathematica can also install web services from a Web Services Description Language (WSDL) description.^{[52]}^{[53]} It can access HDFS data via Hadoop.^{[54]}.

Mathematica can call a variety of cloud services to retrieve or send data including ArXiv, Bing, ChemSpider, CrossRef, Dropbox, Facebook, Factual, Federal Reserve, Fitbit, Flickr, Google (Analytics, Calendar, Contacts, Custom search, Plus, search, translate), Instagram, LinkedIn, MailChimp, Microsoft Translator, Mixpanel, OpenLibrary, OpenPHACTS, PubChem, PubMed, Pushbullet, Reddit, RunKeeper, SeatGeek, SurveyMonkey, TextTranslation, Twilio, Twitter, WebImageSearch, WebSearch, Wikipedia and Yelp.^{[55]}

Mathematica can capture real-time data via a link to LabVIEW,^{[56]} from financial data feeds^{[57]} and directly from hardware devices via GPIB (IEEE 488),^{[58]} USB^{[59]} and serial interfaces.^{[60]} It automatically detects and reads from HID devices. It can read directly from a range of Vernier sensors.^{[61]}

## Computable data[edit]

Wolfram Mathematica includes collections of curated data provided for use in computations. Mathematica is also integrated with Wolfram Alpha, an online computational knowledge answer engine which provides additional data, some of which is kept updated in real time. Some of the data sets include astronomical, chemical, geopolitical, language, biomedical and weather data, in addition to mathematical data (such as knots and polyhedra).^{[62]}

## Reception[edit]

*BYTE* in 1989 listed Mathematica as among the "Distinction" winners of the BYTE Awards, stating that it "is another breakthrough Macintosh application ... it could enable you to absorb the algebra and calculus that seemed impossible to comprehend from a textbook".^{[63]}

## Version history[edit]

Wolfram Mathematica built on the ideas in Cole and Wolfram's earlier Symbolic Manipulation Program (SMP).^{[64]}^{[65]} The name of the program "Mathematica" was suggested to Stephen Wolfram by Apple cofounder Steve Jobs although Wolfram had thought about it earlier and rejected it.^{[66]}

Wolfram Research has released the following versions of Mathematica:^{[67]}

- 1.0 – June 23, 1988
^{[68]}^{[69]}^{[70]}^{[71]} - 1.1 – October 31, 1988
- 1.2 – August 1, 1989
^{[71]}^{[72]} - 2.0 – January 15, 1991
^{[71]}^{[73]} - 2.1 – June 15, 1992
^{[71]} - 2.2 – June 1, 1993
^{[71]}^{[74]} - 3.0 – September 3, 1996
^{[75]} - 4.0 – May 19, 1999
^{[71]}^{[76]} - 4.1 – November 2, 2000
^{[71]} - 4.2 – November 1, 2002
^{[71]} - 5.0 – June 12, 2003
^{[71]}^{[77]} - 5.1 – October 25, 2004
^{[71]}^{[78]} - 5.2 – June 20, 2005
^{[71]}^{[79]} - 6.0 – May 1, 2007
^{[80]}^{[81]} - 7.0 – November 18, 2008
^{[82]} - 8.0 – November 15, 2010
^{[83]} - 9.0 – November 28, 2012
^{[84]} - 10.0 – July 9, 2014
^{[85]} - 10.1 – March 30, 2015
^{[86]} - 10.2 – July 14, 2015
^{[87]} - 10.3 – October 15, 2015
- 10.4 – March 2, 2016
- 10.4.1 – April 18, 2016
- 11.0.0 – August 8, 2016
^{[88]} - 11.0.1 – September 28, 2016
- 11.1 – March 16, 2017
^{[89]} - 11.1.1 – April 25, 2017
- 11.2 – September 14, 2017
^{[90]} - 11.3 – March 8, 2018
^{[91]} - 12.0 – April 16, 2019
^{[92]}

## See also[edit]

- Comparison of multi-paradigm programming languages
- Comparison of numerical analysis software
- Comparison of programming languages
- Comparison of regular expression engines
- Computational X
- Dynamic programming language
- Fourth-generation programming language
- Functional programming
- List of computer algebra systems
- List of computer simulation software
- List of graphing software
- Literate programming
- Mathematical markup language
- Mathematical software
- Wolfram Alpha, a web answer engine
- Wolfram Language
- Wolfram SystemModeler, a physical modeling and simulation tool which integrates with Mathematica

## References[edit]

**^**Wolfram, Stephen (23 Jun 2008),*Mathematica Turns 20 Today*, Wolfram, retrieved 16 May 2012**^**"Mathematica Quick Revision History". Retrieved 2019-04-16.**^**"Celebrating Mathematica's First Quarter Century". Retrieved 11 August 2015.**^**The Software Engineering of Mathematica—Wolfram Mathematica 9 Documentation. Reference.wolfram.com. Retrieved on 2015-03-23.**^**Raspberry Pi Includes Mathematica for Free The Verge**^**"Wolfram Mathematica". Retrieved 11 August 2015.**^**Stephen Wolfram: Simple Solutions; The iconoclastic physicist's Mathematica software nails complex puzzles, BusinessWeek, October 3, 2005.**^**"Contact Wolfram Research". Retrieved 11 August 2015.**^**"Stephen Wolfram's new programming language: Can he make the world computable?".*Slate Magazine*. Retrieved 11 August 2015.**^**"Wolfram Language & System Documentation Center". Retrieved 11 August 2015.**^**Review: Mathematica 7. Technical computing powerhouse gets more oomph Macworld, Jan 2009**^**Mathematica 6 Labs Review Cadalyst Feb 1, 2008**^**"The Free-Form Linguistics Revolution in Mathematica". Retrieved 11 August 2015.**^**"Free-Form Linguistic Input". Retrieved 11 August 2015.**^**Patent US8407580 Google Patent Search**^**Hayes, Brian (1990-01-01). "Thoughts on Mathematica" (PDF).*Pixel*.**^**"Wolfram intros Workbench IDE for Mathematica".*Macworld*. 21 June 2006. Retrieved 11 August 2015.**^**Mathematica plugin for IntelliJ IDEA**^**Using a Text-Based Interface documentation at wolfram.com**^**"JMath: A GNU Readline based frontend for Mathematica". Retrieved 11 August 2015.**^**{{cite web|url=https://reference.wolfram.com/language/ref/program/wolframscript.html%7Ctitle=Directory listing:|publisher=|access-date=18 April 2019}**^**Math software packs new power; new programs automate such tedious processes as solving nonlinear differential equations and converting units by Agnes Shanley,*Chemical Engineering*, March 1, 2002.**^**Mathematica 5.1: additional features make software well-suited for operations research professionals by ManMohan S. Sodhi,*OR/MS Today*, December 1, 2004.**^**The 21st annual Editors' Choice Awards, Macworld, February 1, 2006.**^**"ClearSpeed Advance Accelerator Boards Certified by Wolfram Research; Math Coprocessors Enable Mathematica Users to Quadruple Performance". Retrieved 11 August 2015.**^**gridMathematica offers parallel computing solution by Dennis Sellers, MacWorld, November 20, 2002.**^**Mathematica Player Pro - new Application Delivery System for Mathematica www.gizmag.com**^**"Computable Document Format (CDF) for Interactive Content". Retrieved 11 August 2015.**^**Wolfram Symbolic Transfer Protocol (WSTP)**^**Mathematica 4.2 Archived 2007-11-21 at the Wayback Machine by Charles Seiter,*Macworld*, November 1, 2002.**^**.NET/Link: .NET/Link is a toolkit that integrates Mathematica and the Microsoft .NET Framework.**^**"mathlink: Write Mathematica packages in Haskell - Hackage". Retrieved 11 August 2015.**^**S.Kratky. "MathLink for AppleScript". Retrieved 11 August 2015.**^**"MrMathematica: Calling Mathematica from Scheme". Retrieved 11 August 2015.**^**"Mathematica for ActiveX - from Wolfram Library Archive". Retrieved 11 August 2015.**^**"erocarrera/pythonika".*GitHub*. Retrieved 11 August 2015.**^**"PYML (Python Mathematica interface) - from Wolfram Library Archive". Retrieved 11 August 2015.**^**"Clojuratica - Home". Clojuratica.weebly.com. Retrieved 2013-08-16.**^**CalcLink Lauschke Consulting**^**"Mathematica Link for Excel: Bringing the Power of Mathematica to Excel". Retrieved 11 August 2015.**^**R. Menon, Sz. Horvát. "MATLink". Retrieved 11 August 2015.**^**Ben Barrowes (10 June 2010). "Mathematica Symbolic Toolbox for MATLAB–Version 2.0". Retrieved 11 August 2015.**^**"MaMa: Calling MATLAB from Mathematica with MathLink - from Wolfram Library Archive". Retrieved 11 August 2015.**^**RLink Mathematica Documentation**^**Gourgoulhon, Eric; Bejger, Michal; Mancini, Marco (21 Dec 2014). "Tensor calculus with open-source software: the SageManifolds project".*Journal of Physics: Conference Series*.**600**: 012002. arXiv:1412.4765. Bibcode:2015JPhCS.600a2002G. doi:10.1088/1742-6596/600/1/012002.**^**"Interface to Mathematica - Sage Reference Manual v7.4: Interpreter Interfaces".*doc.sagemath.org*. Retrieved 2017-01-08.**^**"Using Mathematica within Sagemath | LSUMath".*www.math.lsu.edu*. Retrieved 2017-01-08.**^**Pruim, Randall (5 May 2010). "Can Sage replace Maple and Mathematica?" (PDF).*Calvin College*. Retrieved 8 Jan 2016.**^**Manuel Kauers and Viktor Levandovskyy of the Johannes Kepler University Linz, in Austria**^*** Interface Links Origin And Mathematica Software Archived 2007-03-20 at the Wayback Machine Electronic Design**^**Mathematica 5.1 Available, Database Journal, Jan 3, 2005.**^**Mathematical Web Services: W3C Note 1 August 2003**^**Introduction to Web Services, Mathematica Web Services Tutorial**^**"shadanan/HadoopLink".*GitHub*. Retrieved 11 August 2015.**^**Wolfram Language Documentation Yelp service Cconnection**^**Mathematica Link to Labview BetterView Consulting**^**DDFLink Lauschke Consulting**^**GITM SourceForge. Note that the GITM project currently (as of 2014-08-03) has no downloadable artefacts and appears to be inactive so GPIB support for Mathematica may not actually exist.**^**BTopTools A commercial interface to USB devices**^**"Interfacing Hardware with Mathematica - from Wolfram Library Archive". Retrieved 11 August 2015.**^**Vernier and Mathematica**^**"Scientific and Technical Data",*Mathematic Guide*, Wolfram Research, archived from the original on 10 May 2012, retrieved 16 May 2012**^**"The BYTE Awards".*BYTE*. January 1989. p. 327.**^**Math, the universe, and Stephen: the author of Mathematica created a whirlwind of scientific controversy this year when, after more than 10 years of research, he published his treatise on the ability of simple structures to create unpredictable complex patterns. (2002 Scientist Of The Year).(Stephen Wolfram) by Tim Studt, R&D, November 1, 2002.**^**A Top Scientist's Latest: Math Software by Andrew Pollack,*The New York Times*, June 24, 1988.**^**Wolfram, Stephen (6 Oct 2011),*Steve Jobs: A Few Memories*, Wolfram Alpha, retrieved 16 May 2012**^**"Mathematica Latest Version and Quick Revision History". Retrieved 11 August 2015.**^***Mathematica: The Scrapbook*, Wolfram, archived from the original on 18 May 2012, retrieved 16 May 2012**^**"The Mathematica Journal: Volume 9, Issue 1: News Bulletins". Retrieved 11 August 2015.**^**Supercomputer Pictures Solve the Once Insoluble, John Markoff, October 30, 1988.- ^
^{a}^{b}^{c}^{d}^{e}^{f}^{g}^{h}^{i}^{j}^{k}Nasser M. Abbasi. "A little bit of Mathematica history". **^**Mathematica 1.2 adds new graphics options: upgrade also promises concurrent operations by Elinor Craig,*MacWeek*, July 25, 1989.**^**Mathematica + 283 functions = Mathematica 2.0 by Raines Cohen,*MacWeek*, January 15, 1991.**^**New version of Mathematica,*Mechanical Engineering*, June 1, 1993.**^**"Wolfram News Archive". Wolfram.com. Retrieved 2013-08-16.**^**Mathematica 4.0 by Charles Seiters,*Macworld*, October 1, 1999.**^**Mathematica 5.0 Adds Up: Exactly 15 years after Mathematica's initial release, Wolfram Research has released Mathematica,*PC Magazine*, September 3, 2003.**^**Mathematica 5.1's Web Services Add Up; Mathematica 5.1 delivers improvements over Version 5.0 that are vastly out of proportion for a .1 upgrade. by Peter Coffee,*eWeek*, December 6, 2004.**^**Mathematica hits 64-bit,*MacWorld*UK, July 13, 2005.**^**Today, Mathematica is reinvented – Blog by Stephen Wolfram**^**Mathematica 6: Felix Grant finds that version 6 of Wolfram Research's symbolic mathematical software really does live up to its expectations. Scientific Computing, 2007.**^**Mathematica 7.0 Released Today! – Blog by Stephen Wolfram**^**"Stephen Wolfram blog: Mathematica 8!". Retrieved 18 November 2010.**^**"Stephen Wolfram blog: Mathematica 9 Is Released Today!". Retrieved 28 November 2012.**^**"Stephen Wolfram blog: Launching Mathematica 10–with 700+ New Functions and a Crazy Amount of R&D". Retrieved 9 July 2014.**^**"Wolfram Research News » Mathematica 10.1 is Now Available!". Retrieved 11 August 2015.**^**"Mathematica Latest Version and Quick Revision History". Retrieved 11 August 2015.**^**"Stephen Wolfram blog: Today We Launch Version 11!". Retrieved 8 August 2016.**^**"Stephen Wolfram blog: The R&D Pipeline Continues: Launching Version 11.1". Retrieved 16 March 2017.**^**"Stephen Wolfram blog: It's Another Impressive Release! Launching Version 11.2 Today". Retrieved 14 September 2017.**^**"Stephen Wolfram blog: Roaring into 2018 with Another Big Release: Launching Version 11.3 of the Wolfram Language & Mathematica". Retrieved 8 March 2018.**^**"Stephen Wolfram blog: Version 12 Launches Today! (And It's a Big Jump for Wolfram Language and Mathematica)". Retrieved 16 April 2019.

## External links[edit]

- Official website
- Mathematica Documentation Center
- Wolfram Open Cloud limited free access to Mathematica via a browser
- Image identification website powered by Mathematica
- Wolfram Demonstrations Project Mathematica based demonstrations
- A little bit of Mathematica history documenting the growth of code base and number of functions over time
- Wolfram Screencast & Video Gallery: Hands-on Start to Mathematica

- Image processing software
- 1988 software
- Astronomical databases
- Computational notebook
- Computer algebra system software for Linux
- Computer algebra system software for MacOS
- Computer algebra system software for Windows
- Computer algebra systems
- Cross-platform software
- Data mining and machine learning software
- Earth sciences graphics software
- Econometrics software
- Formula editors
- Interactive geometry software
- Mathematical optimization software
- Mathematical software
- Numerical analysis software for Linux
- Numerical analysis software for MacOS
- Numerical analysis software for Windows
- Numerical programming languages
- Numerical software
- Physics software
- Pi-related software
- Plotting software
- Proprietary commercial software for Linux
- Proprietary cross-platform software
- Regression and curve fitting software
- Simulation programming languages
- Software that uses Qt
- Statistical programming languages
- Theorem proving software systems
- Time series software
- Wolfram Research