MathType is a powerful interactive tool for Windows and Macintosh that lets you create mathematical notation for word processing and desktop publishing documents, web pages, presentations, and for TeX & LaTeX and MathML documents. MathType is the Professional Version of Equation Editor that is included in Microsoft Word, Corel, WordPerfect, AppleWorks and many other products.
Products
AnyLogic is a professional simulation tool for complex discrete, continuous and hybrid systems. Powerful and flexible, it is used to model, simulate, visualize and analyze a diverse range of real-world problems. AnyLogic is innovative software based on such advanced technologies as UML, Java, hybrid systems theory, and best numerical methods.
Mathematica, long recognised as the world’s most powerful mathematical software system, has steadily grown in breadth and depth to become today an unparalleled platform for all forms of computation. With thousands of original algorithms and a tightly unified overall design, Mathematica spans projects of all sizes – from simple calculator operations and educational demonstrations to large-scale systems deployment and maximum-power supercomputing.
Speed and ease-of-use have made LINDO Systems a leading supplier of software tools for building and solving optimization models. Their linear, nonlinear and integer programming solvers have been used by thousands of companies worldwide to maximize profit and minimize cost on decisions involving production planning, transportation, finance, portfolio allocation, capital budgeting, blending, scheduling, inventory, resource allocation and more.
Hugin is a unique software package for construction, maintenance and usage of model-based decision support systems in areas characterized by uncertain or incomplete knowledge. It uses a simple knowledge representation, a causal probabilistic network – also known as a Bayesian Network, Belief network, or influence diagrams. Bayesian networks are often used to model domains that are characterized by inherent uncertainty.
AnyLogic is a professional simulation tool for complex discrete, continuous and hybrid systems. Powerful and flexible, it is used to model, simulate, visualize and analyze a diverse range of real-world problems. AnyLogic is innovative software based on such advanced technologies as UML, Java, hybrid systems theory, and best numerical methods.






