
Magma
 Referenced in 2566 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 249 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 53 articles
[sw12296]
 ForWaRD: FourierWavelet regularized deconvolution for illconditioned systems. We propose an efficient, hybrid Fourier...

Epsilon
 Referenced in 38 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 120 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...

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

Mincer
 Referenced in 62 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...

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

Isolde
 Referenced in 28 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 54 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...

StarPU
 Referenced in 36 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...

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

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 105 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...

PERSYS
 Referenced in 6 articles
[sw00702]
 code PERSYS produces the regular solution of a system of coupled Schrödinger equations near...