Search Results for "liblpsolve55.so"
Sort By:
Showing 25 open source projects for "liblpsolve55.so"
View related business solutions-
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
The Better CRMThe Pipeliner CRM experience is so different from traditional CRM which is why we drive the highest adoption rates, lower Total Cost of Ownership, and rapid Return On Investment. Plus with fast onboarding and how easy it is to learn to use and/or administer the system, there is little to no business interruption when deploying.
-
1
MathScythe
Math tool improving bundled calculations (like triangle properties)
MathScythe improves bundled calculations, so you can enter what you have (like triangle's sides) and you get the rest without a blackboard and a bucket of broken chalk. App includes modules to calculate triangle, disk and directed angle's properties and it's still evolving and gaining new stuff. -
2
popt4jlib
Parallel Optimization Library for Java
...A fast parallel implementation of the network simplex method, and some full-fledged parallel/distributed MIP solvers will be added in the next version. In general, emphasis is given in improving the efficiency of the algorithms in shared-memory models via java threads, since multi-core machines are so wide-spread today. -
3
Belief Reviser
Belief Revision via PS-Merge under constraints belief merging operator
...Here, the Δps (PS-Merge) belief merging operator is extended in order to consider constraints, and this extension is used as a strategy for belief revision. The new evidence is treated as a constraint so the extended merging operator can obtain the revised belief base. -
4
Econball
Equation of stock trading simplified to game of moving resizing balls
The econ theory is the value of buy and sell are usually equal, at whatever free market price at the time, so if we trade between 2 things, holding the total of those 2 equal eachother, then you can buy without anyone selling, or sell without anyone buying. Just change from one equal valued type to the other, and the total of all the A's and all the B's are scaled instantly to be the same amounts. Those who change to the majority side lose, and those who change to the minority side win, since it is scaled to the average. ... -
North One Connected BankingConnect every part of your business to one bank account
-
5
Logic Calculator
A Calculator to perform logical operations
...It has three modes: (1) Evaluation of logic formulae: In this mode we have the basic boolean operations (negation, conjunction, disjunction, conditional and biconditional) so the user can insert the logic formula and the Logic Calculator displays the truth table along with the models of the formula. (2) Logical entailment: In this mode the user can insert a number of premises followed by a number of conclusions, so the Logic Calculator displays the truth table of each premise / conclusion and the result of whether or not these premises logically entail the given conclusions... -
6
xorlisp
Bit level lambda continuations and nothing else - Queue automata
...Continuations are nearly finished code and are represented as a pair of stack and queue. The stack is a linked list of pair of true or false and object pushed on the stack. The queue is also such a linked list but is paired oppositely so previous queue state goes on the left and next object queued on the right of the new pair, so when the queue is navigated in sequence of that astronomically long bitstring (thats exponential of reusing objects in the acyclicNet), the Nav32 (using linearForward and treeForward for random access) first sees the oldest object queued -
7
SEPIA: Security-oriented PN Framework
Petri net framework for security related modeling and reasoning.
...Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and persons/agents participating in the process execution. SEPIA builds upon TOVAL (http://sourceforge.net/p/toval), JAGAL (http://sourceforge.net/p/jagal) and SEWOL (https://sourceforge.net/projects/jawl/). ... -
8
...The plotted graphs can be exported as images, in various format. Language supported: italian. Next version probably will include other languages; certainly english will be the first. This is a beta version, so please report any bug if you find something wrong! Your help will be very appreciated! NEWS! asymptotic diagram plotting function added! the function is in beta test, and does not support complex factor.
-
9
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
...Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large) -
Keep Your Data in Sync. Ensure Reliable Backups!Synchronize your data the easy way: several assistants support you to create scheduled synchronization tasks. Whether it's an individual file or an entire drive, Synchredible will synchronize, copy and save it for you. A software wizard will assist you to determine jobs that are either pre-scheduled or to be done through a USB connection. This way, you can keep your files in sync automatically! Over the years, our state-of-the-art technology in Synchredible has made copying files easy. It also makes matching your files a simple task while it automatically detects changes and synchronizes the most recently edited files safely and reliably! Thanks to its advanced system for identifying similar files, Synchredible saves you time - unedited files may be skipped if desired. This way, large folders are synchronized in seconds! Synchredible not only works when synchronizing files locally on your computer but also for synchronizing folders via an external network or when using a USB device.
-
10
java-numbers
A library for working with various complex numbers in Java.
...Currently I have implemented Rational, which describes rational numbers in vulgar form. For example instead of 1/3 becoming the irrational 0.3333..., it remains 1/3, and so operations on it result in what was intend, i.e. (1/3) * (3) = 1, and not 0.3333... * 3.0 = 0.9999... -
11
This is the downloadable JAVA version of Fast Decimals to Fractions, so you no longer need to log on to convert your decimals. Must have JAVA to run the .JAR file.
-
12
Math Simulator
A simulation software for numerical techniques.
Math Simulator is a java-based application which simulates various mathematical techniques.It is extremely useful for the Engineering students and for professionals. Most importantly, unlike most others Math Simulator is an Application rather than a java - library. So, user is not required to have any computer background. A Unique feature of Math Simulator is that it allows you to save queries for later reference. Hence you can save the problems along with their results. -
13
FroZenLight connects simple line art and mathematics. The source of light can be positioned so that either symmetric reflection patterns or secret messages (Cryptography) are created. Example light patterns and math exercises for education are provided.
-
14
f2what
Lapack/quadprog QP for VBA/.Net/Java
F2what is an open source project to translate algorithmic fortran to a variety of languages (java, dotnet and VBA so far). It offers a Fortran77 parser with code transformations, variable disambiguation, and modular output to other programming languages. It also offers already translated versions of Lapack and quadprog to Java, .Net and VBA, to give access to SVD, LU, QR, Cholesky, eigenvalue decomposition, linear system solving and QP optimization in those three languages. -
15
Radix Player
Easily convert numbers to any radix
Easily convert any number to any valid radix using Radix Player! It's so convenient! One-click to convert any number to binary, hex, oct, and any other valid radix 1-36. Check it out, it's free! -
16
The Harmony of the World
A fair attempt at the Keplerian tradition to explore the solar system
...Apparently his observance of a harmonic law of planetary motion was reason for him to propose a computable system of pitch and harmony deriving from angular velocity. The purpose of the programming project is as a tool to examine his system. With Java 2, it provides an open-source solution for listening to harmonies so generated by planetary motion. This program can run on any computer provided with a Java Virtual Machine (Rev 1.5 or greater). JAVA 2, system independent. Purpose:to encourage research in harmony in astronomy, math and music. Obstacles:math, DSP/synthesis, networks, astronomy. Features:audio, database, graphics Technologies: Telnet, .WAV audio, oggvorbis, other audio -
17
Bracer
Repository has been moved to: http://dtitov.github.com/bracer
Java library for parsing and evaluating math expressions. Javadoc is available at http://bracer.sourceforge.net/javadoc/ P.S. This library depends on Apache Commons Math, so don't forget to include commons-math-2.2.jar to your project. -
18
A program for exploring complex functions, much like the now out-dated f(z). Domain colored plots of complex functions. Click evaluate. Uses reflection so you can code almost anything for your formula. All java. Please help.
-
19
Mark Six Analyst is a database of Hong Kong Lottery or so-called Mark Six. It provides a tool of various statistics method to show relationships between data and forecasts.
-
20
...Provides decimal floating point math for Java via a clean, easy to understand implementation. Much easier to use than Big Decimal, nearly IEEE-854 compliant. Compatible with J2ME, so it can be used on PDAs/phon
-
21
Its a simple calculator written completely in java . I made it when i felt boring by continous studying for exam. oops..
-
22
The new Unit Conversions Lite 1.0.2 can be useful for convert some popular units. For example: oz -> g or in -> cm and so on... This application is written in Java programming language.
-
23
JEPLite is a light-weighted (re)implementation of the Java Expression Parser (jep.sourceforge.net). The intention is to strip some of its not-so-often-used features, and thus speeding the rest. Includes expression optimizer.
-
24
-
25
A computer algebra system for homological angebra computations using chain complexes, including of course a function parser, some support for different datatypes, maybe some group theoretical applications and so on.
- Previous
- You're on page 1
- Next
