Tag: formulas
formulas
F*
F (pronounced F star) is an ML-like functional programming language aimed at program verification. Its type system includes po ...
Scientific Workplace
MacKichan Software now offers version 5.5 of Scientific WorkPlace, Scientific Word, and Scientific Notebook. You write text an ...
Isabelle
Isabelle is a proof assistant for writing and checking mathematical proofs by computer. It allows mathematical formulas to be ...
fxSolver
Online math solver, equation library, graphing calculator and science/engineering problem helper. Calculate multiple equations ...
EFRAC Spreadsheet
EFRAC Spreadsheet is a spreadsheet application for BlackBerry and Nokia smartphones. All basic spreadsheet functionality is su ...