PiET: Pi Calculus Equivalences Tester 1.0 FREE PiET is a verification tool for ten behavioural equivalences for the Pi Calculus. Download Rating:
daixtrose 0.0.3 FREE Daixtrose ("Differentiable EXpression Templates - the Reusable Open Source Engine") is a C++ header library framework. With Daixtrose, building Expression Template (ET) libraries at home finally becomes easy. Download Rating:
RooFit toolkit for data modelling 00 FREE The RooFit package provides a toolkit for modeling the expected numerical distributions of the results of a scientific experiment. Models created with RooFit can be used for fitting, visualization, and Monte Carlo studies. Download Rating:
PrimChecker 1.0 FREE This small Java Application makes the user availible to calculate if a number is prim without many resource requirements. Download Rating:
SimplexInPHP 1.1 FREE Simplex-in-PHP are PHP scripts that solve small linear programming and integer linear programming problems executing the simplex method step by step, printing the tableau and drawing the graphical analysis. Useful for... Download Rating:
Kinship Algebra Modeller FREE The Kinship Algebra Modeller is a suite of java applications that assist development of an algebra to describe a given kinship terminology, and to support models and simulations of social processes based on relating... Download Rating:
BrlTex 1.1.4 FREE LaTex to braille translator for Maths, intended to be able to support multiple braille codes. Download Rating:
Plexus Graph Library 0.13.1 FREE Plexus is a Java library with specifications and implementations for generic graph data structures. Like the Java Collections Framework, vertices and edges are containers for arbitrary user-defined objects. Download Rating:
Unnamed Math Program 0.8.6 FREE Ump is an easy to use math program that plots in both 2D and 3D. Ump also handles complex numbers, matrices, arbitrary sized integers and ratios. Download Rating:
SPHear FREE SPHear is a coupled smoothed particle hydrodynamics (SPH), finite element (FE) fluid-solid interaction analysis code for dynamic problems. Download Rating:
TOP DOWNLOADS in Education / Mathematics MiKTeX 19 Mathpad 9 LaTeX Equation Editor for Windows 8 Graph 7 Draft Survey 7 PERCENT CE 6 View All Top Downloads
Trending Apps in Education / Mathematics MiKTeX English Telugu Dictionary free Class 12 Nepali Guide Book Railway Exam NTPC - RRB JE, RR Marathi Padhe | मराठी पाढे Dr Dilip's MMS (Medicine Made Toontales - Preschool reading adventures and activities
LATEST ADDITIONS in Education / Mathematics PlotDigitizer 2021-04-09 Surface Explorer 3D 2021-02-23 Guzinta Math 2019-06-27 IW Random Number Generator 2019-06-27 LeoDataAnalysis 2019-06-27 Guzinta Math 7 and 8 2019-06-27 MATRIX GURU ULTIMATE 2018-01-25 View All Additions