• gmp

  • Referenced in 265 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 72 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...
  • FronTier

  • Referenced in 42 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...
  • GRTensorII

  • Referenced in 40 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...
  • 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 63 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 18 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 4 articles [sw12071]
  • asymptotically distribution-free (ADF) estimation method can be used. If your data sets contain random...
  • cpm

  • Referenced in 12 articles [sw14569]
  • nonparametric distribution-free 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...
  • Fast-dm

  • Referenced in 10 articles [sw09136]
  • data analysis is introduced. Fast-dm 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]
  • Heller-Heller-Gorfine (HHG) tests are a set of powerful statistical tests of multivariate ... against all continuous alternatives but are distribution-free, and are thus much faster to apply...
  • IPknot

  • Referenced in 3 articles [sw17124]
  • set of pseudoknot-free substructures and approximates a base-pairing probability distribution that considers pseudoknots...
  • SYNTHESIS

  • Referenced in 8 articles [sw00944]
  • tool for automatically assembling correct and distributed component-based systems. In our context, a system ... correct when it is deadlock-free and performs only specified component interactions. In order ... composition code is implemented as a set of distributed component wrappers that cooperatively interact with...
  • 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 24 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...
  • nbpMatching

  • Referenced in 11 articles [sw06785]
  • used to find the set of matches that minimize the sum of distances based ... with complex designs and an exact distribution-free test comparing two multivariate distributions. We also...
  • Tscope

  • Referenced in 4 articles [sw33550]
  • functions and the powerful C syntax, this set of functions gives the experimenter the opportunity ... Tscope is completely based on free software, is distributed under the GNU General Public License...
  • LALSuite

  • Referenced in 3 articles [sw26500]
  • LIGO and Virgo. LALSuite consists of a set of configure-make-install style software packages ... Python package provides a standalone, dependency-free binary distribution of the libraries and Python modules...
  • MinimumEnergyPoints

  • Referenced in 1 article [sw34576]
  • MinimumEnergyPoints: Distribute points on hyperspheres such that user-defined energy is minimized. MATLAB ... energy-minimizing point sets on spheres and their application in mesh-free interpolation and differentiation ... mesh-free interpolation and differentiation. It is known that discrete sets of uniformly distributed points...