
Magma
 Referenced in 2356 articles
[sw00540]
 extensive documentation describing the features of the system. This handbook is available online. The documentation ... users to report any bugs they find; regular patch fixes are available from the downloads...

gmp
 Referenced in 233 articles
[sw00363]
 functions, and the functions have a regular interface. The main target applications ... applications and research, Internet security applications, algebra systems, computational algebra research, etc. GMP is carefully...

ForWaRD
 Referenced in 52 articles
[sw12296]
 ForWaRD: FourierWavelet regularized deconvolution for illconditioned systems. We propose an efficient, hybrid Fourier...

Epsilon
 Referenced in 37 articles
[sw00244]
 decompose polynomial systems into triangular systems of various kinds (regular, normal, simple, irreducible, or with ... factorize polynomials over algebraic extension fields, solve systems of polynomial equations and inequations, and handle...

CADP
 Referenced in 119 articles
[sw04993]
 design of communication protocols and distributed systems. CADP is developed by the VASY team ... various complementary tools. CADP is maintained, regularly improved, and used in many industrial projects...

DiVinE
 Referenced in 32 articles
[sw04130]
 beyond the size of systems that can be handled with regular sequential tools...

Mincer
 Referenced in 60 articles
[sw09009]
 quantum field theory for the Schoonschip system. We present a SCHOONSCHIP program for analytical computation ... diagrams of the propagator type within dimensional regularization. The program calculates Laurent expansions of diagrams...

GEARBI
 Referenced in 10 articles
[sw09630]
 such that the resulting ODE system has a regular block structure. The original version...

topopt_multi
 Referenced in 7 articles
[sw25723]
 optimization by volume constrained AllenCahn system and regularized projected steepest descent method...

LSSVMlab
 Referenced in 23 articles
[sw07367]
 solving linear KKT systems. LSSVMs are closely related to regularization networks and Gaussian processes...

Isolde
 Referenced in 26 articles
[sw00458]
 focus on the local analysis of systems of linear differential and difference equations. We illustrate ... formal fundamental matrix solution at a regular or irregular singularity...

FPC_AS
 Referenced in 46 articles
[sw12218]
 fast algorithm for solving the ℓ 1 regularized minimization problem ... recovering sparse solutions to an undetermined system of linear equations Ax=b. The algorithm...

Ganga
 Referenced in 11 articles
[sw10312]
 that researchers must regularly switch between different processing systems, each with its own command...

StarPU
 Referenced in 33 articles
[sw14216]
 main core of the application runs on regular processors and offloads specific parts on accelerators ... sufficient. The real challenge is to build systems where the application would permanently spread across...

IntensiVE
 Referenced in 2 articles
[sw10472]
 called structural regularities. To prevent a deterioration of the system’s source code ... that these regularities are verified and enforced upon evolution of the system. The Intensional Views ... specifying relevant structural regularities in an (objectoriented) software system and verifying them against ... verification of these regularities in the source code of the system, IntensiVE reports the code...

Sbvp
 Referenced in 28 articles
[sw13727]
 efficient numerical solution of systems of ODEs with a singularity of the first kind ... solver can also be used for regular problems. The basic solution is computed using collocation...

PARMON
 Referenced in 6 articles
[sw02312]
 support interfaces to access system internals. PARMON is regularly used to monitor PARAM 10000 supercomputer ... workstations powered by the Solaris operating system. The recent popularity of Beowulfclass clusters (dedicated...

Matchbox
 Referenced in 24 articles
[sw10115]
 descendants of a regular language, and of the set of nonterminating strings, with respect ... inverse) matchbounded string rewriting system. Matchbox can search for proof or disproof...

GraphBase
 Referenced in 103 articles
[sw01555]
 Mona Lisa, etc. Others are based on regular mathematical constructions such as lattices and quaternions ... paper is a brief overview of the system. Complete details appeared in the author...

LANGAGE
 Referenced in 34 articles
[sw00501]
 Maple package for automaton characterization of regular languages LANGAGE is a set of procedures ... package is written using the symbolic computation system Maple. It works with...