# Property:Mathematics

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
• financial modeling
• plotting
• proof-checker
• statistics
• symbolic
• theorem-prover

Mathematics

This property is a subproperty of Use.

## Pages using the property "Mathematics"

Showing 75 pages using this property.

### A

Apophenia +statistics  +
Aris +proof-checker  +
Asymptote +plotting  +
Autoclass +statistics  +

### B

Bc +statistics  +
Besssugo +plotting  +

### C

C-Graph +theorem-prover  +
Cl-ana +plotting  +, statistics  +
Coq +proof-checker  +, theorem-prover  +
Ctioga2 +plotting  +

### D

DUNE-Common +plotting  +
DUNE-Grid +plotting  +
DUNE-Grid How To +plotting  +
DUNE-Istl +plotting  +
Dap +statistics  +
Data Frame +statistics  +
DataCaptureTool +plotting  +
DataStatix +statistics  +
Datamash +statistics  +
Dinrhiw2 +statistics  +
Dr. geo +plotting  +

### F

FroZenLight +plotting  +
FunkyPlot +plotting  +

### G

GiNaC +symbolic  +
Giac +symbolic  +
Gsegrafix +plotting  +

### J

Jacal +symbolic  +

### K

KNIME +statistics  +
Kmplot +plotting  +
Kpl +plotting  +

### L

LibreOffice +plotting  +

### M

MLPACK +statistics  +
Mastrave +statistics  +
MathEOS +plotting  +, symbolic  +
MathGene +statistics  +, symbolic  +, financial modeling  +
MathStudio +symbolic  +
Mathomatic +symbolic  +
Maxima +symbolic  +
Mcsim +statistics  +
MedianTracker +statistics  +
Mpmath +plotting  +

### O

Octave-interval +plotting  +, theorem-prover  +
OpenPlaG +plotting  +
Opennn +statistics  +
Opmuse +financial modeling  +
OptionMatrix +statistics  +, financial modeling  +
Otter Mace +proof-checker  +, theorem-prover  +

### P

Papertrail +statistics  +
Ploticus +statistics  +
Plotutils +plotting  +
Plplot +plotting  +
Poly ML +proof-checker  +, theorem-prover  +
PredictionIO +statistics  +
Prover 9 +proof-checker  +, theorem-prover  +
Pspp +statistics  +
PuffinPlot +plotting  +, statistics  +
PyChem +statistics  +

### Q

QChartist +financial modeling  +

### R

ReferenceFinder +plotting  +

### S

Sage +plotting  +, statistics  +, symbolic  +
SalStat +statistics  +
SciGraphica +plotting  +
Shoali +financial modeling  +
SimThyr +plotting  +
Snow Path Formation Simulator +plotting  +
Statist +statistics  +
StatistX +statistics  +
Statlib +statistics  +

### T

TOCHNOG +plotting  +
TensorFlow +plotting  +, statistics  +

### U

Unit Circle +plotting  +

### V

VStar +plotting  +
Veusz +plotting  +
Vilno +statistics  +

### Z

Zenon +proof-checker  +, theorem-prover  +

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.