Search Results for "integer set library"
Sort By:
Showing 91 open source projects for "integer set library"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
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.
-
1
bignumber.js
A JavaScript library for arbitrary-precision decimal arithmetic
...Wide platform compatibility, uses JavaScript 1.5 (ECMAScript 3) features only. If a smaller and simpler library is required see big.js. It's less than half the size but only works with decimal numbers and only has half the methods. It also has fewer configuration options than this library, and does not allow NaN or Infinity. See also decimal.js, which among other things adds support for non-integer powers, and performs all operations to a specified number of significant digits. -
2
LazySets.jl
Scalable Symbolic-Numeric Set Computations
...This library implements types to construct set formulas and methods to efficiently and accurately approximate the projection in low dimensions. -
3
LMath library
Math library for Free Pascal and Lazarus.
...It is organized s set of lazarus packages which makes it easily extensible and helps to include only really needed features in your project. -
4
Interval arithmetic for Ada
An implementation of interval arithmetic
The library provides an implementation of intervals for Ada. It includes arithmetic and relational operations. The library supports intervals with integer and floating-point bounds. Dimensioned intervals are also supported -
$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.
-
5
DWSIM - Open Source Process Simulator
Simulate chemical processes using advanced thermodynamic models
DWSIM is an open source, CAPE-OPEN compliant chemical process simulator for Windows, Linux and macOS systems. Written in VB.NET and C#, DWSIM features a comprehensive set of unit operations, advanced thermodynamic models, support for reacting systems, petroleum characterization tools and a fully-featured graphical interface. DWSIM Pro is a commercial sibling of DWSIM built on top of open-source software. It offers extended features, comes with private support, and is accessible in the... -
6
ntuacarlo
A open-source implementation library of optimization algorithms
...All the functions support lower and upper bounds, linear and non-linear constraints, and integer variables.Octave -
7
stkpp
C++ Statistical ToolKit
STK++ (http://www.stkpp.org) is a versatile, fast, reliable and elegant collection of C++ classes for statistics, clustering, linear algebra, arrays (with an Eigen-like API), regression, dimension reduction, etc. Some functionalities provided by the library are available in the R environment as R functions (http://cran.at.r-project.org/web/packages/rtkore/index.html). At a convenience, we propose the source packages on sourceforge. The library offers a dense set of (mostly) template classes in C++ and is suitable for projects ranging from small one-off projects to complete data mining application suites. -
8
calc: C-style arbitrary precision system
Calc: arbitrary precision C-like arithmetic & calculator
Calc is arbitrary precision C-like arithmetic system that is a calculator, an algorithm prototyper and mathematical research tool. Calc comes with a rich set of builtin mathematical and programmatic functions. -
9
glslmath
C++ header-only library that simulates GLSL math
GLSLmath provides C++ math operations as defined by GLSL. For example, it provides methods to easily setup viewing transformations and perspective projections. GLSLmath has been inspired by the glm and slmath libraries, which aim to mimic GLSL, but in contrast to those GLSLmath does not focus on a complete conforming implementation of GLSL. It rather aims to provide a convenient single header file that implements the most commonly used subset of GLSL so that it is easy to use for rapid... -
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.
-
10
relations
Kotlin library to analyze finite heterogeneous relations and endorelat
-
11
RSolver is a program and library for solving quantified inequality constraints over the real numbers. Problems like projecting the solution set of a set of inequality constraints to two dimensions can be directly formulated as such constraints.
-
12
opbdp
opbdp (non-linear) pseudo-Boolean optimization
opbdp is an implementation in C++ of an implicit enumeration algorithm for solving (non)linear 0-1 (or pseudo-Boolean) optimization problems with integer coefficients. A research report describing the techniques used in opbdp is included. -
13
PeCalc
PeCalc is a polyvalent engineering calculator for S&T students
PeCalc allows making calculations with integer fractions, complex numbers, complex matrices, rational functions and complex polynomials. It also allows making changes of numeric base, prime factor decomposition, solving linear equation systems, statistical and financial computations, rational fraction decomposition and plotting some control engineering graphs. PeCalc includes comprehensive user help in English and Spanish. Currently PeCalc runs on Android and MS Windows. A version for GNU... -
14
slimcpplib
Simple Long Integer Math for C++
SLIMCPP is C++ header-only library that implements long integers that exceed maximum size of native type supported by a specific compiler by 2-4 times. All classes, methods and functions were not created or designed to work with huge numbers, for which there are specialized big integer mathematical libraries. In some cases, it is necessary to temporarily perform calculations with precision exceeding the maximum supported size of integers, and then return the result to its native size again. -
15
HMD Mathematics
Numerical mathematics platform, Matlab alternative
Matlab alternative. Scilab alternative. GNU Octave alternative. Mathematics software for numerical computation. Ordinary differential equations solver and finite elements solver. It has a console script interpreter, as well as a graphical interface script interpreter, for entering equations and statements, and a line plot display. -
16
lpsolve
Mixed Integer Linear Programming (MILP) solver.
Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS This project is moved to github: https://lp-solve.github.io/ -
17
GLPK for Java
Java language binding for the GNU Linear Programming Kit (GLPK)
GLPK for Java provides a Java language binding for the library GLPK. GLPK is a proven solver for linear and mixed integer mathematical programming problems. For Windows binaries see project GLPK for Windows (http://sourceforge.net/projects/winglpk/). -
18
gsasnp2
PubMed ID: 29562348 / DOI: 10.1093/nar/gky175
* GSA-SNP2 is a successor of GSA-SNP (Nam et al. 2010, NAR web server issue). GSA-SNP2 accepts human GWAS summary data (rs numbers, p-values) or gene-wise p-values and outputs pathway genesets ‘enriched’ with genes associated with the given phenotype. It also provides both local and global protein interaction networks in the associated pathways. * Article: SYoon, HCTNguyen, YJYoo, JKim, BBaik, SKim, JKim, SKim, DNam, "Efficient pathway enrichment and network analysis of GWAS summary data... -
19
-
20
-
21
Konbu Check
Linear constraint feasibility check and get program.
This program aims to check and gain a inner point from multiple set of linear constraints. This software works better in the case that range of variables are known and parameters are configured so. C++ and Eigen library needed, and to calculate more accurate, we may need mpfr++ library or, QD library. Freezed. -
22
RegexToNFA
Compiles regular expressions into modular NFA
This program compiles regular expressions (regexes) written in the modified ECMAScript regex grammar into modular nondeterministic finite automata suitable for hardware acceleration. This was originally an extended re-implementation of the "front-end" part in the following paper: https://www.computer.org/csdl/proceedings/reconfig/2008/3474/00/3474a073-abs.html It has since grown to include conversion of a set of NFAs to a DFA; compilation of NFAs to instruction suitable for... -
23
ampclib
Arithmetic Multlple Precision Computation Library
ampclib is a simple to use platform independed C++ library for arithmetic multiple precision computations with a ritch and self explaining interface. It provides number theoretic functions and primality tests. The ampclib consists of three classes: +Integer (multiple precision integers) +Rational (multiple precision rational numbers using the Integer class) +Primes (prime number computations and number theoretic functions for unsigned 32 bit integers) The latest release contains optimizations and bug fixes. -
24
octave-intinf
Infinite-precision integer arithmetic for Octave, written in Octave
Octave code to perform arbitrary-precision integer arithmetic. It may or may not work in Matlab. The supported operations are: >> s = a = intinf (126) % Creation of intinf-class object from integer or string >> b = intinf ('-792716404922304611755050042308687') >> c = a + b % Addition >> d = a - b % Subtraction >> e = c * d % Multiplication >> f = (e - a^2) / b %... -
25
cocolib / light field suite
CUDA library for continuous optimization and light field analysis
Library for continuous convex optimization in image analysis, together with a command line tool and Matlab interface. Implements several recent algorithms for inverse problems and image segmentation with total variation regularizers and vectorial multilabel transition costs. Also included is a suite for variational light field analysis, which ties into the HCI light field benchmark set and givens reference implementations for a number of our recently published algorithms. *** NOTE: documentation on the SourceForge page is outdated and not updated anymore, please visit http://cocolib.net ***
