Search Results for "linear program solver" - Page 3
Sort By:
Showing 129 open source projects for "linear program solver"
View related business solutions-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
1
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. ...
-
2
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... -
3
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. -
4
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. ... -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
5
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. ... -
6
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. ... -
7
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.
-
8
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. -
9
TEPG
tutor of linear equations using python
program that solves linear equations and explains the solution and the sample in a pdf file. -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
10
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. ... -
11
Grammar based Combinatorial Solver
Solver with Applications in Computer Network Systems Design
The solver performs an exhaustive search on the space defined using simple formal language grammar constructs to identify solutions that meet the objective and constraints. It can be used to easily define complex discrete multi-dimensional combinatorial problems that are otherwise difficult to model using Mixed Integer Linear Programming solvers. -
12
This java program will ultimately solve grid-type logic problems if given enough clues in a pseudo english language. Features a user friendly GUI letting the user know the progression of the solving process based on the clues entered.
-
13
ViennaCL
Linear algebra and solver library using CUDA, OpenCL, and OpenMP
ViennaCL provides high level C++ interfaces for linear algebra routines on CPUs and GPUs using CUDA, OpenCL, and OpenMP. The focus is on generic implementations of iterative solvers often used for large linear systems and simple integration into existing projects. -
14
Happy Cube Solver
Design and Display Happy Cube solutions
The Happy Cube Solver is an interactive interface for designing and building cubes and other designs from the Happy Cube 3D puzzles. It integrates a graphic engine for creating and viewing designs and a simple engine for solving them. Online version: http://shooshx.github.io/happysolver/emscripten/index.html Maintainance of this project moved to: https://github.com/shooshx/happysolver This program is indented to support you while playing live with the Happy Cube©® Puzzles. ... -
15
PortOpt
A portfolio-optimizer using Markowitz(1952) mean-variance model
PortOpt [Portfolio Optimizer] is a C++ program (with Python binding) implementing the Markowitz(1952) mean-variance model with agent's linear indifference curves toward risk in order to find the optimal assets portfolio under risk. You have to provide PortOpt (in text files or - if you use the api - using your own code) the variance/covariance matrix of the assets, their average returns and the agent risk preference. -
16
Quadratic Equation Solver
This Can Find Value of X Value(s) if a quadratic equation
This program will just need you to input the equation in and then it will give you the value(s) of x and its roots and also it has gotten all the information needed in the program created by Ojas Ajay Deshpande -
17
QSapecNG is a Qt-based symbolic analysis program for linear analog circuits. In fact, it consists of two indipendently parts: the SapecNG framework engine, and the application gui QSapecNG.
-
18
JMCAD is an program for the modeling and simulation of complex dynamic systems. This includes the ability to construct and simulate block diagrams. The visual block diagram interface offers a simple method for constructing, modifying and maintaining complex system models. The simulation engine provides fast and accurate solutions for linear, nonlinear, continuous time, discrete time, time varying and hybrid system designs.
-
19
Linear Equations Set Solver
Solving Set Of Linear Equations with use of Gauss elimination method.
-
20
SCaVis
Scientific Computation and Visualization Environment
SCaVis is an environment for scientific computation, data analysis and data visualization for scientists, engineers and students. The program is fully multiplatform (100% Java) and integrated with Java and a number of scripting languages: Jython (Python), Groovy, JRuby, BeanShell. SCaVis can be used to plot functions and data in 2D and 3D, perform statistical tests, data mining, numeric computations, function minimization, linear algebra, solving systems of linear and differential equations. ... -
21
Cenobi
cost estimation and management accounting, using neural networks
...Carefully arranged default settings make sure you can concentrate on Cenobi's many accounting features rather than worrying about setting up artificial neural networks or genetic algorithms, which are the main machine learning tools under Cenobi's hood. Cenobi's main benefits are: - ease of use - Utilizing artificial neural networks to estimate cost relationships, Cenobi is able to reflect the non-linear cost-behavior, that occurs in most business processes. - This makes your cost estimations more accurate and reliable. - Therefore Cenobi facilitates better informed management decisions. Although Cenobi is particularly suitable for management accounting purposes, it can also be used as a general machine learning tool. The neural networks at the heart of the program are fully object-oriented and therefore highly adaptable. ... -
22
HSolver is a program for verification of hybrid systems based on the constraint solver RSOLVER. Unlike other packages its correctness does not depend on floating point rounding errors.
-
23
Maze Solver
Solves mazes
Why solve a maze when you can get a computer to do it for you? All you have to do is draw the maze in a text file using: the character 'T' to represent a free space, 'P' to represent a wall, the character 'S' to represent the starting point, and 'F' to represent the finishing point. Just drag and drop the text file into the program and select which algorithm you would like the program to use to solve the maze. Currently you can choose either the Recursive algorithm (which does not give you... -
24
Ezys
Ezys 3D medical image registration program
Ezys is a non-linear 3D medical image registration program. Ezys fully exploits the parallel computing power of inexpensive commercial graphics processing units (GPU), resulting in a very fast and accurate program capable of running on desktop PCs and even some laptops. On these systems, non-linear image registrations take less than a minute to complete. -
25
This is the program and data to accompany both the thesis and paper under the name A MINE ALTERNATIVE TO D-OPTIMAL DESIGNS FOR THE LINEAR MODEL This contains the program and summary of the data used for the paper.
