Mathematica Configuration

Your system looks as if you have installed Mathematica {{mathematicaConfigSuggestion.suggestion.version}} on {{mathematicaConfigSuggestion.os}}.

Your system looks like {{mathematicaConfigSuggestion.os}}, but Mathematica may not be installed, or not be installed in the default location.

  1. Download Mathematica from Wolfram
  2. Install Mathematica
  3. Activate Mathematica
  4. Configure how KeYmaera X connects to Mathematica below
See also the installation instructions and the activation instructions. Further activation information are in the activation quick answers.

Kernel
This file does not exist on your system: {{linkNameOkPrefix}}{{linkNameWrong}}
The segment of the path highlighted in bold-face seems wrong.
The path exists, but it does not point to {{mathematicaConfigSuggestion.suggestion.kernelName}}.
J/Link Native Library
This file does not exist on your system: {{jlinkLibPathOkPrefix}}{{jlinkLibPathWrong}}
The segment of the path highlighted in bold-face seems wrong.
The path exists, but it does not point to {{mathematicaConfigSuggestion.suggestion.jlinkName}}.
Connection @