PaCal 1.5.1FREEProbAbilistic CALculator - a package for computing with probability distributionsRead More Rating:
OFELI 3.0.2FREEOFELI (Object Finite Element LIbrary) is a library of finite element C++ classes for multipurpose development of finite element software. It is intended for teaching, research and industrial developments as well.Read More Rating:
MathCast Equation Editor 0.92FREEA Mathematics Equation Editor. Lets you type in equations, which can be added to documents, emails, and webpages or simply exported to picture files. It features a simple graphical interface, equation list management, MathML support, and the unique...Read More Rating:
HLM Proof AssistantFREEHLM is a proof assistant for everyday mathematics, which is currently being developed. It aims for a user experience as close as possible to regular mathematical practice, and proofs which are understandable by humans with little extra effort.Read More Rating:
mathematics development language 0.8.7FREEmdl is a system of formal mathematics, which is split into 2 levels: a high-level language for human-readable representation of math and low-level language for trustworthy verification. Currently, as low-level language mdl uses metamath system.Read More Rating:
maket 10FREEMaket is a instrument for building knowledge bases for economics domains. The project has moved toRead More Rating:
Prime Numbers InformerFREEThis is a simple application that give to the user the possibility to know prime numbers.FeaturesdesignationofprimenumbersRead More Rating:
Ordinal calculatorFREEThe program evaluates ordinal expressions and relations. displaying the normal form output in plain text and/or TeX format. It supports notations for ordinals through and somewhat beyond those definable by the Veblen function.FeaturesInteractive tool...Read More Rating:
Madagascar 3.1FREEMadagascar is a software package for geophysical data processing and reproducible numerical experiments. The package mission is to provide a convenient environment for researchers working with digital image and data processing in geophysics and...Read More Rating:
LameUtilsFREELameUtils contails LameInts (large integer numbers signed and unsigned), LameStrings, and LameArray.FeaturesLameInt is a large number integer classLameString is a string classLameArray is a template container classtests with makefiles for linux and...Read More Rating:
TOP DOWNLOADSin Education / MathematicsMatCont13D Calculator03D Geometrical Objects0A-Converter0Abacus Math Writer0Abilities Builder Whole Numbers Plus0Add & Subtract Whole Numbers0 View All Top Downloads
TRENDING APPSin Education / MathematicsClimeCalcMathematicsWorks 2005 | Mathematician 3blibitVisual ProbabilityRo3nLGS-HelferMonte Carlo PDE Solver
LATEST ADDITIONSin Education / MathematicsClimeCalc2026-11-05MathematicsWorks 2005 | Mathematician 3b2026-11-05libit2026-11-05Visual Probability2026-11-05Ro3n2026-11-04LGS-Helfer2026-11-04Monte Carlo PDE Solver2026-11-04 View All Top Additions
