• 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: Fourier-Wavelet regularized deconvolution for ill-conditioned 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 Allen-Cahn system and regularized projected steepest descent method...
  • LS-SVMlab

  • Referenced in 23 articles [sw07367]
  • solving linear KKT systems. LS-SVMs 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 (object-oriented) 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 Beowulf-class clusters (dedicated...
  • Matchbox

  • Referenced in 24 articles [sw10115]
  • descendants of a regular language, and of the set of non-terminating strings, with respect ... inverse) match-bounded 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...