DEDiscover is a workflow-based differential equation modeling software tool for scientists, statisticians, and modelers. Whether you need to do quick simulation, develop sophisticated models, or teach mathematical concepts, DEDiscover combines a powerful computation engine with a user-friendly interface to give you a tool that's better, faster, and easier-to-use.
TSPSG is intended to generate and solve "travelling salesman problem" (TSP) tasks. It uses the Branch and Bound method for solving. Its input is a number of cities and a matrix of city-to-city travel costs. The matrix can be populated with random values in a given range (which is useful for generating tasks). The result is an optimal route, its price, step-by-step matrices of solving, and a solving graph. The task can be saved in an internal binary format and opened later. The result can be printed or saved as PDF, HTML, or ODF. TSPSG may be useful for teachers to generate test tasks or just for regular users to solve TSPs. Also, it may be used as an example of using the Branch and Bound method to solve a particular task.
AnallogicA is an application that generates logical tables based on logical propositions. It is possible to compare inverse equivalence or logical values. Results can be saved in text files, CSV format, and an internal format. The program supports up to 15 different variables, which in combination would be more than 32000 possibilities. It shows the replacements done step-by-step during the analysis, a special function for students.
Libgvectors is a C++ library for visualizing three dimensional mathematical vectors, providing three fundamental classes for achieving its purpose. It makes as few assumptions as possible about the graphics library used to draw vectors on a screen and is not bound to any particular graphics library.
SciDAVis is an interactive application aimed at data analysis and publication-quality plotting. It combines a shallow learning curve and an intuitive, easy-to-use graphical user interface with powerful features such as scriptability and extensibility. It is similar in its field of application to proprietary Windows applications like Origin and SigmaPlot, as well as free applications like QtiPlot, Labplot, and Gnuplot. What sets SciDAVis apart from the above is its emphasis on providing a friendly and open environment (in the software as well as the project) for new and experienced users alike, and particularly in providing good documentation on all levels.
The ReliaFree Project is an alternative to commercial, proprietary reliability, availability, maintainability, and safety (RAMS) analysis software. The ReliaFree Project is an integrated suite of tools. Any number of analyses can be linked together such that an update to one module will result in all linked modules being updated appropriately. This approach provides a closed loop life-cycle with visibility into a product's performance throughout. The same database is used to store field failure data as is used to store design prediction information.