WOLFRAM

The Wolfram|Alpha Blog is now part of the Wolfram Blog. Please update your subscriptions and follow us here.
Education & Academic

The Semantic Representation of Pure Mathematics

Introduction

Building on thirty years of research, development and use throughout the world, Mathematica and the Wolfram Language continue to be both designed for the long term and extremely successful in doing computational mathematics. The nearly 6,000 symbols built into the Wolfram Language as of 2016 allow a huge variety of computational objects to be represented and manipulated---from special functions to graphics to geometric regions. In addition, the Wolfram Knowledgebase and its associated entity framework allow hundreds of concrete "things" (e.g. people, cities, foods and planets) to be expressed, manipulated and computed with. Despite a rapidly and ever-increasing number of domains known to the Wolfram Language, many knowledge domains still await computational representation. In his blog "Computational Knowledge and the Future of Pure Mathematics," Stephen Wolfram presented a grand vision for the representation of abstract mathematics, known variously as the Computable Archive of Mathematics or Mathematics Heritage Project (MHP). The eventual goal of this project is no less than to render all of the approximately 100 million pages of peer-reviewed research mathematics published over the last several centuries into a computer-readable form. In today's blog, we give a glimpse into the future of that vision based on two projects involving the semantic representation of abstract mathematics. By way of further background and motivation for this work, we first briefly discuss an international workshop dedicated to the semantic representation of mathematical knowledge, which took place earlier this year. Next, we present our work on representing the abstract mathematical concepts of function spaces and topological spaces. Finally, we showcase some experimental work on representing the concepts and theorems of general topology in the Wolfram Language.
Computation & Analysis

Protecting NHS Patients with the Wolfram Language

The UK's National Health Service (NHS) is in crisis. With a current budget of just over £100 billion, the NHS predicts a £30 billion funding gap by 2020 or 2021 unless there is radical action. A key part of this is addressing how the NHS can predict and prevent harm well in advance and deliver a "digital healthcare transformation" to their frontline services, utilizing vast quantities of data to make informed and insightful decisions. This is where Wolfram comes in. Our UK-based Technical Services Team worked with the British NHS to help solve a specific problem facing the NHS---one many organizations will recognize: data sitting in siloed databases, with limited analysis algorithms on offer. They wanted to see if it was possible to pull together multiple data sources, combining off-the-shelf clinical databases with the hospital trusts' bespoke offerings and mine them for signals. We set out to help them answer questions like "Can the number of slips, trips and falls in hospitals be reduced?"
Education & Academic

Launching Wolfram|Alpha Open Code

Note added 09/29/2021: Some information regarding Wolfram Cloud products described in this post may be outdated. Please visit https://www.wolfram.com/cloud to learn more. Code for Everyone Computational thinking needs to be an integral part of modern education—and today I’m excited to be able to launch another contribution to this goal: Wolfram|Alpha Open Code. Every day, millions […]

Computation & Analysis

Edit Your NaNoWriMo Novel with the Wolfram Language

If you're like many of us at Wolfram, you probably know that November was National Novel Writing Month (NaNoWriMo). Maybe you even spent the past few weeks feverishly writing, pounding out that coming-of-age story about a lonely space dragon that you've been talking about for years. Congratulations! Now what? Revisions, of course! And we, the kindly Wolfram Blog Team, are here to get you through your revisions with a little help from the Wolfram Language.
Computation & Analysis

New in the Wolfram Language: FeatureExtraction

Two years ago, we introduced the first high-level machine learning functions of the Wolfram Language, Classify and Predict. Since then, we have been creating a set of automatic machine learning functionalities (ClusterClassify, DimensionReduction, etc.). Today, I am happy to present a new function called FeatureExtraction that deals with another important machine learning task: extracting features from data. Unlike Classify and Predict, which follow the supervised learning paradigm, FeatureExtraction belongs to the unsupervised learning paradigm, meaning that the data to learn from is given as a set of unlabeled examples (i.e. without an input -> output relation). The main goal of FeatureExtraction is to transform these examples into numeric vectors (often called feature vectors). For example, let's apply FeatureExtraction to a simple dataset:
Announcements & Events

Launching Wolfram Player for iOS

UPDATE:

Wolfram Player for iOS is out of beta! You can download it from the App Store today. Learn more in this blog post. It's been a long road. To some degree, we've been working on a Wolfram notebook front end for iOS for about six years now. And in the process, we've learned a lot about notebook front ends, a thing we already knew a lot about. Let's rewind the tape a bit and review.
Current Events & History

Celebrating Gottfried Leibniz on the 300th Anniversary of His Death

Today is the 300th anniversary of the death of Gottfried Leibniz, a man whose work has had a deep influence on what we do here at Wolfram Research. He was born July 1, 1646, in Leipzig, and died November 14, 1716, in Hanover, which was, at the time, part of the Holy Roman Empire. I associate his name most strongly with my time learning calculus, which he invented in parallel with Isaac Newton. But Leibniz was a polymath, and his ideas and influence were much broader than that. He invented binary numbers, the integral sign and an early form of mechanical calculator.