Check math axioms and create your own knowledge database
Hilbert II provides you with an intuitive application that allows you to verify mathematical theorems and axioms for accuracy and include them in a knowledge base.
Hilbert II integrates a set of models, thus the application can easily confront the two formulas and check if the input file is valid. The loaded QEDEQ modules can be converted to LaTeX and UTF-8 text format.
Operating system:Windows XP / Vista / 7 / 8 / 8 64 bit
Chemical database software for management of databases of any size, structure drawing, SDF import/export, duplicate removal, diversity analysis, chemical web server, combinatorial chemistry, prediction of LogP/LogC, and MASS/NMR/IR spectra management
Price: $50, Rating: 6, Downloads: 172
Download
Offers the ability to easily work with mapping data in dozens of formats.
Price: $499.00, Rating: 0, Downloads: 106
Download
Magnetic field modelling and visualization
Price: $ 24.75, Rating: 10, Downloads: 104
Download
ThreeDimSim is a powerful 3D mechanics simulation and rendering application. A 3D scene is defined by script using simple shapes and imported meshes from CAD files. Mechanics are simulated and rendered and can be analysed and exported.
Price: $89, Rating: 9, Downloads: 103
Download
Find your biomarkers
Price: $0, Rating: 10, Downloads: 101
Download