Search results
Results from the WOW.Com Content Network
Lis (Library of Iterative Solvers for linear systems; pronounced lis]) is a scalable parallel software library to solve discretized linear equations and eigenvalue problems that mainly arise from the numerical solution of partial differential equations using iterative methods.
NOVAS is a software library for astrometry-related numerical computations. Both Fortran and C versions are available. Netlib is a repository of scientific computing software which contains a large number of separate programs and libraries including BLAS, EISPACK, LAPACK and others. PAW is a free data analysis package developed at CERN.
A simple arithmetic calculator was first included with Windows 1.0. [5]In Windows 3.0, a scientific mode was added, which included exponents and roots, logarithms, factorial-based functions, trigonometry (supports radian, degree and gradians angles), base conversions (2, 8, 10, 16), logic operations, statistical functions such as single variable statistics and linear regression.
Performs complex scalar or matrix based ODE solving with parametric optimization. Has 2D and 3D plotting, 3D animation, and state transition built in. Yorick: n/a n/a n/a 9 January 2015: Free GPL: Programmable, callable 2D+3D plotting. Language syntax similar to C. Interfacing to other software packages via C calls.
Microsoft Math contains features that are designed to assist in solving mathematics, science, and tech-related problems, as well as to educate the user. The application features such tools as a graphing calculator and a unit converter. It also includes a triangle solver and an equation solver that provides step-by-step solutions to each problem.
High-performance multi-threaded primitives for large sparse matrices. Support operations for iterative solvers: multiplication, triangular solve, scaling, matrix I/O, matrix rendering. Many variants: e.g.: symmetric, hermitian, complex, quadruple precision. oneMKL: Intel C, C++, Fortran 2003 2023.1 / 03.2023 Non-free Intel Simplified Software ...
GAMS is designed for modeling and solving linear, nonlinear, and mixed-integer optimization problems. The system is tailored for complex, large-scale modeling applications and allows the user to build large maintainable models that can be adapted to new situations. The system is available for use on various computer platforms.
In computer science and mathematical logic, satisfiability modulo theories (SMT) is the problem of determining whether a mathematical formula is satisfiable.It generalizes the Boolean satisfiability problem (SAT) to more complex formulas involving real numbers, integers, and/or various data structures such as lists, arrays, bit vectors, and strings.