Science_Software

Mathematica

Place

computational software program

MATLAB

Place

numerical computing environment

GNU Octave

CreativeWork

numerical computation software

Maple

Thing

computer algebra system

Scilab

Place

free and open source software for numerical computation

SAS

Thing

statistical software

Mathcad

Thing

computer algebra system

Stata

Place

statistical software package

KCalc

Place

Software calculator

COMSOL Multiphysics

Place

application

Bullet

CreativeWork

open source physics engine

MathType

Place

Software for Type And Design Formulas and numerical expressions

Rocq prover

CreativeWork

proof assistant

Lean

CreativeWork

software for interactive and automated theorem proving

Derive

Thing

computer algebra system

Agda

Place

dependently typed, purely functional programming language and proof assistant

Origin

SoftwareApplication

scientific graphing and data analysis software by OriginLab Corporation

Mizar

Place

proof assistant

Idris

Thing

purely functional programming language

GAP

Thing

computer algebra system for computational discrete algebra

GNOME Calculator

Place

calculator application for GNOME

Step

CreativeWork

physics simulation software for KDE

GiNaC

Place

computer algebra system

PARI/GP

CreativeWork

computer algebra system

wxMaxima

Thing

graphical interface for the computer algebra system Maxima built with wxWidgets

Dafny

Place

programming language

Aldor

Place

programming language

NWChem

CreativeWork

computational chemistry software package

MLAB

Place

multi-paradigm numerical computing environment

PolyAnalyst

Place

software for data science, text mining, artificial intelligence, and predictive analytics

FriCAS

Place

programming language

MagicDraw

SoftwareApplication

Systems modelling software

LEGO

Place

logical proof assistant

APMonitor

Thing

modelling language for algebraic equations

OpenMx

Place

open source program for extended structural equation modeling

Electrostatic plotter

class

TOMVIEW

Place

platform for solving applied optimization problems in LabVIEW

Streamline Upwind Petrov Galerkin-Pressure Stabilizing Petrov Galerkin formulation for incompressible Navier-Stokes equations

Thing

stabilization method for incompressible Navier-Stokes equations

Egison

Place

Mitaka

SoftwareApplication

Gappa

CreativeWork

theorem prover

ADOL-C

CreativeWork

mathematical software

SuperLU-DIST

SoftwareApplication

software

MolView

WebSite

open source web application to visualise chemical compounds

modular math system

Thing

mathematics software consisting of a computer algebra system, dynamic geometry software, a function

Jgraph

CreativeWork

computer program for plotting graphs in postscript

Microsoft Mathematics 4.0

CreativeWork

mathematics education application

Econometrics Software Library

Thing

econometrics software

MPFI

CreativeWork

library for arbitrary precision interval arithmetic

Microsoft Visual Modeler

SoftwareApplication

Tool for modeling software

Mass-Up

CreativeWork

Open Source MALDI-TOF software

ChemDoodle

Place

chemical structure editor

matrico

Thing

flonum matrix module for CHICKEN Scheme

Emacs Calc

CreativeWork

an advanced desk calculator and mathematical tool written by Dave Gillespie that runs as part of the

DAMASK

CreativeWork

Düsseldorf Advanced Material Simulation Kit

Trimmomatic

SoftwareApplication

bioinformatics software to filter and trim FASTQ data

Sollya

CreativeWork

tool environment for safe floating-point code development