Search Results for "linear program solver" - Page 4
Sort By:
Showing 257 open source projects for "linear program solver"
View related business solutions-
The Most Powerful Software Platform for EHSQ and ESG ManagementChoose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
-
AestheticsPro Medical Spa SoftwareAestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.
-
1
Battleship Puzzle False Clues
Creates a battleship puzzle with a twist - some numbers are false
Creates a battleship puzzle with a twist - some of the numbers beside the rows and columns are false clues. All of the false clues are either (+1) or (-1) relative to the true clues. Additional information provided to the solver is the annotation of segments of adjacent rows or columns as containing or non-containing a false clue, and the type of the false clue if one exists. For example a riddle can be composed of a standard 10*10 board with an annotation declaring the existance of one... -
2
FunctionalCalculator
A functional maths program calculating with functions
FunctionalCalculator is a Mathematical program, which calculates with functions and which is designed to be functional in the sense of convenience and usability. It has a desktop and a mobile edition. FunctionalCalculator has 75 User-Functions and logical / comparison operators (70 in the case of the mobile edition). The User-Functions can have arguments given by matrices, infinitely differentiable functions, complex numbers or arbitrary precision integers. -
3
Subtitle Adjuster
Adjusts the timing of subtitle files (handles *.srt and *.sub formats)
You must agree how annoying it is when you want to relax to a nice movie, but it’s not in your language and there are no subtitles in sight! So you download some, but now they’re not in sync! This is where Subtitle Adjuster comes in - with this program you can adjust the timing of said subtitles. This works by specifying one or two reference points, of which you know the correct timing, after which Subtitle Adjuster can automatically recalculate the rest, saving the result as a new subtitle... -
4
BoxWorldSolver
Graphical Solver for BoxWorld game
This is a graphical solver program for the BoxWorld game. It is a work in progress, and can currently solve around half of the 100 levels quickly, but struggles on the larger puzzles. Further work is needed on the solver algorithm. -
Raima Database Manager is an embedded in-memory database for IoT and Edge devicesRaima Database Manager (RDM) is an embedded relational database optimized to run on resource-constrained IoT edge devices that require real-time response. RDM enables intelligent decisions to be made at the device level within microseconds.
-
5
Nonlinear Schrödinger equation (NSE) is a fundamental equation in nonlinear optics that describes the propagation of a pulse through a dispersive and nonlinear medium. Nonlinear Pulse Propagation Solver (NPP) is a program, written in C/C++, that solves NSE in an arbitrary waveguide. It has a user friendly interface, which allows a user to enter the pulse and waveguide parameters and execute simulations. The program can be invoked within MATLAB and any other scripting language. It can export the results in different formats including ASCII text “.txt” and MATLAB “.mat” format. ...
-
6
Win-Brash
A Windows Native Bourne Shell Interpreter
Win-Brash is a recoding, from scratch, of the Bourne shell as a native Microsoft Windows multi-threaded command line application. It uses Bourne shell syntax but recognizes Windows file names. The TAB key helps convert Unix style pathnames to fully valid windows pathnames. It also adds missing backslashes -- to reduce the need to always type two. For Documentation see: http://www.bordoon.com/brash To give brash.exe a try, use the download link to get winbrash-1.2.16.zip. Unzip... -
7
GLPK for Windows
Windows binaries for the GNU Linear Programming Kit (GLPK)
GLPK 4.65 (GNU Linear Programming Kit, http://www.gnu.org/software/glpk/) is a solver for large-scale linear programming (LP), and mixed integer programming (MIP). This project supplies the most recent Windows executables - 2018-03-17. Linux and OSX users should download the source distribution from http://ftp.gnu.org/gnu/glpk -
8
SLAM++
high-performance nonlinear least squares solver for graph problems
SLAM++ is a minimalist implementation of incremental nonlinear least squares, containing lighting fast implementation of linear algebra on sparse block matrices. It is aimed for use in 3D reconstruction or robotics. -
9
BioPPSy
A biochemical property prediction system
...The program and its databases are all open-source. -
Managed Cybersecurity Platform Built for MSPsIn a world that lives and breathes all things digital, every business is at risk. Cybersecurity has become a major problem for small and growing businesses due to limited budgets, resources, time, and training. Hackers are leveraging these vulnerabilities, and most of the existing cybersecurity solutions on the market are too cumbersome, too complicated, and far too costly.
-
10
abumpack
Fortran library with the Abaqus user material subroutines UMAT/VUMAT
This library contains several of user material subroutines for implicit quasi-static (UMAT) and explicit dynamic (VUMAT) versions of the Abaqus solver. The project web site: http://abumpack.sf.net. The Abaqus is a proprietary finite element (FE) code ( http://www.3ds.com/products-services/simulia/products/abaqus/). Users can write subroutines for use with the Abaqus. Linear elastic, isotropic hardening plasticity, Gurson-Tvergaard-Needleman (GTN), Rousselier constitutive models are provided. ... -
11
TU Calc
Simple tool for numerical calculation
TU Calc is a modular tool that aims to gather numerical methods for solution of mathematical problems. Interacting with the user through a GUI that is analogous to the windows desktop. -
12
CQU
Decision solver for Counting Quantifiers over Unary Predicates
...It also emplouys COIN-OR Clp linear programming solver, and inherit from it. Given a CQUSAT instance in normal form as input, the program returns a solution, if there is one. The implemented method employs dual Simplex Algorithm with Column Generation. At each iteration, a SAT instance is generated and a SAT Solver (minisat) decides its satisfiability. Details about CQUSAT, its normal form and this turing reduction can be found in the paper "CQUSAT.pdf" that comes with this package. ... -
13
Simple Simplex Solver is a tool function algorithms to solve equations in linear programming. its free to distribution, this tool may be useful for people. :-)
-
14
RAtom
solves nonlinear Kohn-Sham equation for the neutral atom.
...High order Gauss quadratures are applied in order to obtain the total energy of atom with absolut accuracy of 1E-6 hartree. Disctretization leads to generalized eigenvalue problem, which is solved by procedures from LAPACK libraries. The program is implemented in C++, it runs as a single thread. The implemented algorithm is described in the following papers: 1. Z. Romanowski, "Adaptive solver of a Kohn-Sham equation for an atom", Modelling Simul. Mater. Sci. Eng. vol. 17, 045001 (2009) 2. Z. Romanowski, "Application of h-adaptive, high order finite element method to solve radial Schrödinger equation", Molecular Physics, vol. 107, pp. 1339-1348 (2009). ... -
15
Guides
Global visual guides for Windows
The Guides application is designed to provide global access to some helpful visual guides. The project is very early in development. Please feel free to jump in and make changes! -
16
TrackingExample
This project presents simple marker detection and 3D augmentation
This is a project demonstrating tracking of a marker consisting of 6 blobs placed on a black palette and drawing a virtual house on it. Detection of the marker and augmentation (drawing of the house) are done in real time. Image from almost any internet camera can be used. The program is using incremental tracking, in which the position of the marker in the previous frame is used to improve the detection. The homography calculation needed for the augmentation can be performed using 4 different methods: -Direct Linear Transform, -basic OpenCV algorithm -OpenCV RANSAC based algorithm -OpenCV Least-Median based algorithm. ... -
17
Explicit/Impicit Finite Element Program with linear/nonlinear, elastic/hyperelastic/hypoelastic/plastic/visco, contact,thermal, fluid capabilities. h/p refinements. Parallel/Distributed solvers available. No shell elements but has 2D beams, trusses.
-
18
HPC Challenge
HPC Challenge is an HPC benchmark for memory access patterns
HPC Challenge benchmark consists of 7 tests: (1) HPL - the Linpack TPP benchmark which measures the floating point rate of execution for solving a linear system of equations. (2) DGEMM - measures the floating point rate of execution of double precision real matrix-matrix multiplication. (3) STREAM - a simple synthetic benchmark program that measures sustainable memory bandwidth (in GB/s) and the corresponding computation rate for simple vector kernel. (4) PTRANS (parallel matrix transpose) - exercises the communications where pairs of processors communicate with each other simultaneously - a useful test of the total communication capacity of the network. (5) RandomAccess - measures the rate of integer random updates of memory (GUPS). (6) FFT - measures the floating point rate of execution of double precision complex one-dimensional Discrete Fourier Transform (DFT). (7) Communication bandwidth and latency test for simultaneous communication patterns. http://icl.cs.utk.edu/hpcc -
19
ICE (Interval Calculator for Engineer)
Interval Calculator for Engineer
ICE is a simple mathematical calculator with very useful shortcuts for Engineer: works natively with tolerance, can run Monte Carlo analysis, uses engineer notation, includes most of the day by day functions used by engineers. -
20
TEPG
tutor of linear equations using python
program that solves linear equations and explains the solution and the sample in a pdf file. -
21
Crevice
Modeling environment for linear and nonlinear optimization
Crevice provides a modeling environment for linear and nonlinear optimization and bindings for solver libraries. Binaries for 32 and 64bit Windows as well as makefiles for Linux are available. -
22
CFD2D
The incompressible Navier-Stokes equations solver in 2D domains
CFD2D is open source software for Linux for solving the non-dimensionalized incompressible Navier-Stokes equations (NSE) inside an arbitrary two-dimensional domain inscribed in a unit square with Dirichlet and "do-nothing" boundary conditions. The space discretization is based on Finite Element Method (FEM) using an approximately uniform triangular mesh. The two choices of FE spaces are offered, these are of the so called MINI-element and of the Taylor-Hood element. The first element... -
23
tabipb
A treecode-accelerated boundary integral Poisson-Boltzmann solver
TABI (treecode-accelerated boundary integral) solves the linear Poisson-Boltzmann equation. The solver employs a well-conditioned boundary integral formulation for the electrostatic potential and its normal derivative on the molecular surface, which is triangulated and the integral equations are discretized by centroid collocation. The linear system is solved by GMRES iteration and the matrix-vector product is carried out by a Cartesian terraced which reduces the cost from O(N^2) to O(N*logN), where N is the number elements. ... -
24
WODA solver
A finite volume groundwater simulator
WODA (Well Outline and Design Aid) is a groundwater simulator developed at the Group for Numerical Analysis, Jaroslav Cerni Institute, Belgrade, Serbia. WODA does not have its own graphical user interface, but it can work with groundwater models constructed using the freely available Lizza interface, http://www.bioirc.ac.rs/index.php/groundwater-flow-software. -
25
Programs for Numerical Methods
Didactic program to aid students in learning Numerical Methods.
The program contents and capabilities are the following: 1. Matrices. 1.1 Matrix definition and special types of matrices. 1.2 Determinant of a matrix. 1.3 Inverse of a matrix. 2. Linear equation system. 2.1 Direct methods (Inverse of a Matrix, Cramer's Rule, Gauss Jordan, Montante). 2.2 Iterative methods (Jacobi, Gauss-Seidel). 3.
