Mathematics

Displaying items 1 to 20 of 45

1 2 3 Next

Cantor

cantor

Caret

caret

CoqIDE Proof Assistant

Graphical interface for the Coq proof assistant

Dr.Geo

Dr.Geo Math Tool

Eficas

Graphical command editor for Code_Aster.

Engauge-digitizer

Extract data from graphs

eXtrema

eXtrema

Fox

Crystal structure determination

FSL 4.1

GeoGebra

Create interactive mathematical constructions and applets.

4 Ratings

Geomview

Interactive geometry viewing program

Grace

An XY plotting tool

GraphThing

Create, manipulate and study graphs.

GrInvIn

ImageVis3D

Desktop volume rendering application for large data

ITK-SNAP

itksnap

JFractionLab

Calculate Fractions is fun!

Kayali

A Computer Algebra System

1 Ratings

kgraphviewer

A Graphviz dot graph viewer for KDE

LibreOffice Math

Create and edit scientific formulas and equations by using Math.

2 Ratings

Displaying items 1 to 20 of 45

1 2 3 Next