HLM Proof Assistant FREE HLM 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... Download Rating:
mathematics development language 0.8.7 FREE mdl 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... Download Rating:
maket 10 FREE Maket is a instrument for building knowledge bases for economics domains. The project has moved to Download Rating:
Prime Numbers Informer FREE This is a simple application that give to the user the possibility to know prime numbers. Features designation of prime numbers Download Rating:
Ordinal calculator FREE The 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... Download Rating:
Madagascar 3.1 FREE Madagascar 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... Download Rating:
LameUtils FREE LameUtils contails LameInts (large integer numbers signed and unsigned), LameStrings, and LameArray. Features LameInt is a large number integer class LameString is a string class LameArray is a template contain Download Rating:
Mathlete 2011.01.08 FREE Mathlete is a easy but powerful mathematical tool in which you can calculate algebraic functions, with variable support. You can use it for converting different measurements within the areas: Temperature, Weight and... Download Rating:
JSci - A science API for Java 2 FREE JSci is a set of open source Java packages. The aim is to encapsulate scientific methods/principles in the most natural way possible. As such they should greatly aid the development of scientific based software. Download Rating:
open_data_assimilation 0.0 FREE Generic data-assimilation toolbox written in java, with native (c and fortran) libraries for high performance computing. Provides tools to couple to your own model and a wide range of algorithms, ranging from parameter... 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