
gmp
 Referenced in 275 articles
[sw00363]
 free library for arbitrary precision arithmetic, operating on signed integers, rational numbers, and floating point ... runs on. GMP has a rich set of functions, and the functions have a regular ... distributed under the GNU LGPL. This license makes the library free to use, share ... result. The license gives freedoms, but also sets firm restrictions on the use with...

GiNaC
 Referenced in 79 articles
[sw01609]
 interfaces, etc.) under one roof. It is distributed under the terms and conditions ... extends it by a set of algebraic capabilities. Perplexed? Feel free to read this paper...

GRTensorII
 Referenced in 48 articles
[sw00393]
 specified in terms of a metric or set of basis vectors. The package contains ... related software and documentation are distributed free of charge as an aide for both research...

FronTier
 Referenced in 45 articles
[sw12957]
 comparison with publicly distributed interface codes (the level set method), with published performance results ... based tracking with the accuracy of grid free tracking, and thus it is a significant...

deTestSet
 Referenced in 22 articles
[sw06062]
 package is derived from the test set for initial value problem solvers available ... solvers. The package deTestSet is free software which is distributed under the GNU general public...

ParLinSys
 Referenced in 19 articles
[sw06461]
 ParLinSys is a free module that supplements the library C++Toolbox. ParLinSys computes verified enclosure ... solution set of parametric interval linear systems and an inner approximation of the solution enclosure ... ParLinSys 0.1 (released 011203). ParLinSys 0.1 is distributed under the terms of the GNU general...

Gecode
 Referenced in 65 articles
[sw06272]
 features: constraints over integers, Booleans, sets, and floats (it implements more than 70 constraints from ... programming tasks with Gecode. free Gecode is distributed under the MIT license and is listed...

LPL software
 Referenced in 19 articles
[sw04860]
 boolean connectives, formal proof techniques, quantifiers, basic set theory, and induction. Advanced chapters include proofs ... downloaded and not distributed by CD. The grading service is free to students who purchase...

PROC CALIS
 Referenced in 5 articles
[sw12071]
 asymptotically distributionfree (ADF) estimation method can be used. If your data sets contain random...

cpm
 Referenced in 15 articles
[sw14569]
 nonparametric distributionfree change detection in the mean, variance, or general distribution of a given ... batch (Phase I) and sequential (Phase II) settings are supported, and the sequences may contain...

ITTSAE
 Referenced in 1 article
[sw40796]
 simple interfaces. The interactive tool set ITTSAE is distributed free of charge...

Fastdm
 Referenced in 10 articles
[sw09136]
 data analysis is introduced. Fastdm is free software that can be downloaded from ... diffusion model from the empirical response time distributions of any binary classification task. Fast ... data from simple text files, while program settings are specified by command0s in a control...

HHG
 Referenced in 7 articles
[sw16725]
 HellerHellerGorfine (HHG) tests are a set of powerful statistical tests of multivariate ... against all continuous alternatives but are distributionfree, and are thus much faster to apply...

IPknot
 Referenced in 3 articles
[sw17124]
 set of pseudoknotfree substructures and approximates a basepairing probability distribution that considers pseudoknots...

LALSuite
 Referenced in 5 articles
[sw26500]
 LIGO and Virgo. LALSuite consists of a set of configuremakeinstall style software packages ... Python package provides a standalone, dependencyfree binary distribution of the libraries and Python modules...

SYNTHESIS
 Referenced in 8 articles
[sw00944]
 tool for automatically assembling correct and distributed componentbased systems. In our context, a system ... correct when it is deadlockfree and performs only specified component interactions. In order ... composition code is implemented as a set of distributed component wrappers that cooperatively interact with...

MinimumEnergyPoints
 Referenced in 2 articles
[sw34576]
 MinimumEnergyPoints: Distribute points on hyperspheres such that userdefined energy is minimized. MATLAB ... energyminimizing point sets on spheres and their application in meshfree interpolation and differentiation ... meshfree interpolation and differentiation. It is known that discrete sets of uniformly distributed points...

nbpMatching
 Referenced in 14 articles
[sw06785]
 used to find the set of matches that minimize the sum of distances based ... with complex designs and an exact distributionfree test comparing two multivariate distributions. We also...

MC2
 Referenced in 5 articles
[sw12883]
 each property the probability that the set of traces satisfies the property. MC2(PLTLc ... free variables within a property; thus it is easy to calculate the distribution of features...

GasLib
 Referenced in 27 articles
[sw17977]
 primary energy consumption and is distributed through a pipeline network with a total length ... transmission system operator has to ensure free allocability, which means that all gas flow situations ... research on gas networks by providing a set of large and realistic benchmark instances...