
plfit
 Referenced in 230 articles
[sw23186]
 distributions to empirical data. This program fits powerlaw distributions to empirical (discrete or continuous...

GeM
 Referenced in 96 articles
[sw00332]
 software package for automated symmetry and conservation law analysis of systems of partial and ordinary ... standard program that employs “GeM” routines for symmetry, adjoint symmetry or conservation law analysis...

GAUSSIAN
 Referenced in 190 articles
[sw06118]
 Gaussian is an electronic structure program, used by chemists, chemical engineers, biochemists, physicists and others ... chemical interest. Starting from the basic laws of quantum mechanics, Gaussian predicts the energies, molecular...

CPlogic
 Referenced in 17 articles
[sw06947]
 logic programming This paper develops a logical language for representing probabilistic causal laws. Our interest ... formalization, a set of probabilistic causal laws can be used to represent a class ... laws, this provides a new way of explaining the intuitions behind such probabilistic logic programs ... probabilistic logic programs, by showing how they can express probabilistic causal laws...

qGCL
 Referenced in 26 articles
[sw39240]
 algorithms. It contains the features required to program a ‘universal’ quantum computer (including initialisation ... laws, and provides a refinement calculus supporting the verification and derivation of programs against their...

Uhlig Toolkit
 Referenced in 46 articles
[sw15482]
 equilibrium and solving for the recursive equilibrium law of motion with the method of undetermined ... extensive and well documented library of Matlab programs, which can be downloaded in a self...

ZRC
 Referenced in 14 articles
[sw21827]
 formalised. In this paper, we explain how programs can be derived from Z specifications using ... conversion laws, which are concerned with the transformation of Z schemas into programs of this ... basis for the derivation of the laws of ZRC. More than a refinement calculus...

PDEBellII
 Referenced in 12 articles
[sw12572]
 bilinear Bäcklund transformations, Lax pairs and conservation laws of the KdVtype equations. Based ... this paper presents a Maple computer algebra program PDEBellII which can automatically construct the bilinear ... bilinear Bäcklund transformations, Lax pairs and conservation laws of the KdVtype soliton equations. Some ... given to verify the validity of our program...

QuickSpec
 Referenced in 7 articles
[sw19206]
 understanding of a program module by exploring the laws that are generated using two case...

Powerlaw
 Referenced in 10 articles
[sw29150]
 power laws have been developed, but appropriate use of these techniques requires significant programming ... using good statistical methods for fitting power law distributions, we developed the powerlaw Python package...

MicrOMEGAs 2.0
 Referenced in 45 articles
[sw01426]
 micrOMEGAs 2.0: a program to calculate the relic density of dark matter in a generic ... assumption is that there is a conservation law like Rparity in supersymmetry which guarantees...

CrimeStat
 Referenced in 11 articles
[sw30112]
 programs. The purpose is to provide supplemental statistical tools to aid law enforcement agencies ... researchers. The latest version is 3.3. The program inputs incident locations (e.g., robbery locations...

PTSC
 Referenced in 6 articles
[sw13692]
 equivalence between probabilistic programs is investigated and a collection of algebraic laws are explored ... semantics to animate the execution of probabilistic programs...

SHALL 4
 Referenced in 3 articles
[sw00007]
 water equations in conservationlaw form. A FORTRAN IV computer program is documented implementing...

Juno2
 Referenced in 11 articles
[sw07216]
 based programming is obtained from ordinary imperative programming not by adding a feature ... subtracting a restriction: specifically by dropping the law of the excluded miracle from the calculus...

NSC2KE
 Referenced in 20 articles
[sw21215]
 Guide. NSC2KE is a FiniteVolume Galerkin program computing 2D and axisymmetric flows on unstructured ... wall turbulence is computed either by walllaws or by a twolayer approach. Time...

XPTO
 Referenced in 2 articles
[sw15781]
 library, based on algebraic laws for transformation of structureshy programs, conversion into structuresensitive ... programs, and viceversa. We show how the core library can be extended with laws ... specialization and optimization of XPath structureshy programs. The frontend for this system carries...

Pluto
 Referenced in 27 articles
[sw09092]
 separately combined to solve systems of conservation laws using the finite volume or finite difference ... PLUTO is entirely written in the C programming language while the adaptive mesh refinement...

Parsl
 Referenced in 3 articles
[sw28682]
 Pervasive Parallel Programming in Python. Highlevel programming languages such as Python are increasingly used ... Moore’s law), necessitates rethinking how parallelism is expressed in programs. Here, we present Parsl...

Lyap
 Referenced in 5 articles
[sw00531]
 program calculates all the Lyapunov exponents of a dynamical system when the law of evolution...