• Magma

  • Referenced in 3363 articles [sw00540]
  • Magma also supports a number of databases designed to aid computational research in those areas ... users to report any bugs they find; regular patch fixes are available from the downloads...
  • gmp

  • Referenced in 289 articles [sw00363]
  • functions, and the functions have a regular interface. The main target applications ... computational algebra research, etc. GMP is carefully designed to be as fast as possible, both...
  • SUGAR

  • Referenced in 13 articles [sw15321]
  • range of student and professional circuit designers regularly use circuit simulation tools like SPICE, while...
  • CADP

  • Referenced in 133 articles [sw04993]
  • Package”) is a popular toolbox for the design of communication protocols and distributed systems. CADP ... various complementary tools. CADP is maintained, regularly improved, and used in many industrial projects...
  • XDuce

  • Referenced in 54 articles [sw12436]
  • XDuce also provides a flexible form of regular expression pattern matching, integrating conditional branching ... design, develop examples illustrating its key features, describe its foundations in the theory of regular...
  • PLANOR

  • Referenced in 7 articles [sw13054]
  • package planor: Generation of Regular Factorial Designs. Automatic generation of regular factorial designs, including fractional...
  • Tiburon

  • Referenced in 16 articles [sw01312]
  • inspiration for Tiburone Tiburon is designed to handle weighted regular tree grammars, context-free grammars...
  • FrF2

  • Referenced in 9 articles [sw24422]
  • package FrF2: Fractional Factorial Designs with 2-Level Factors. Regular and non-regular Fractional Factorial...
  • PointNet

  • Referenced in 46 articles [sw31209]
  • format, most researchers transform such data to regular 3D voxel grids or collections of images ... causes issues. In this paper, we design a novel type of neural network that directly...
  • zoo

  • Referenced in 49 articles [sw10603]
  • package zoo: S3 Infrastructure for Regular and Irregular Time Series (Z’s ordered observations ... numeric vectors/matrices and factors. zoo’s key design goals are independence of a particular index/date/time...
  • libtropicana

  • Referenced in 6 articles [sw29133]
  • libtropicana is a library designed to find regular simplicial subdivision of lattice convex polytopes...
  • LSTRS

  • Referenced in 34 articles [sw04729]
  • large-scale trust-region subproblems and regularization A MATLAB 6.0 implementation of the LSTRS method ... Rojas et al. [2000]. LSTRS is designed for large-scale quadratic problems with one norm...
  • SNLSDP

  • Referenced in 39 articles [sw05127]
  • algorithm first solves an SDP relaxation (with regularization) of the non-convex minimization problem ... unconstrained problem (2). This software package is designed for solving small size senor network localization...
  • ForWaRD

  • Referenced in 55 articles [sw12296]
  • between the amount of Fourier and wavelet regularization by optimizing an approximate mean-squared error ... problems for which the WVD was designed, we prove that ForWaRD’s MSE decays with...
  • AWK

  • Referenced in 17 articles [sw23781]
  • programming language designed for text processing and typically used as a data extraction and reporting ... regular expressions. While AWK has a limited intended application domain and was especially designed...
  • viridis

  • Referenced in 11 articles [sw19423]
  • library for ’python’. These color maps are designed in such a way that they will ... regular form and also when converted to black-and-white. They are also designed...
  • HAMPI

  • Referenced in 21 articles [sw09864]
  • solver for string constraints. Hampi is designed for constraints generated by program analysis tools, automated ... intelligent fuzzers. Hampi constraints express membership in regular languages and bounded context-free languages. Hampi...
  • WORHP

  • Referenced in 20 articles [sw10824]
  • required, but some smoothness and regularity assumptions are necessary for the underlying theory ... algorithms based on it. WORHP has been designed from its core foundations as a sparse...
  • INSANE

  • Referenced in 5 articles [sw08848]
  • implementation. The object-oriented design used to implement a self-regular formulation of the boundary...
  • topopt_multi

  • Referenced in 23 articles [sw25723]
  • volume constrained Allen-Cahn system and regularized projected steepest descent method. A new computational algorithm ... method. In the first step, the new design is found based on the projected steepest ... control constraints. In the second step, regularization step, an $H^1$ regularity of the solution...