Results 1 to 20 of 355
Sort by:

  • LOOPS

  • Referenced in 45 articles [sw07728]
  • GAP package loops. The LOOPS package provides researchers in nonassociative algebra with a computational tool ... that integrates standard notions of loop theory with libraries of loops and group-theoretical algorithms ... GAP. The package also expands GAP toward nonassociative structures...

  • mplp2
  • Referenced in 7 articles [sw21188]
  • typical decomposition has a large integrality gap, due to frustrated cycles. One way to tighten...

  • SUGAR
  • Referenced in 13 articles [sw15321]
  • from the world of integrated circuit simulation. Beams, electrostatic gaps, circuit elements, and other elements ... MEMS community has leveraged nearly all the integrated-circuit community’s fabrication techniques, but little...

  • Isar
  • Referenced in 145 articles [sw04599]
  • documents sets out to bridge the semantic gap between internal notions of proof given ... quite independent of the underlying logic, and integrates a broad range of automated proof methods...

  • Help
  • Referenced in 17 articles [sw14497]
  • Help - hertweck-luthar-passi method, GAP package. HeLP is a package to compute constraints ... partial augmentations of torsion units in integral group rings using a method developed by Luthar...

  • HAP
  • Referenced in 40 articles [sw04870]
  • homological algebra library for use with the GAP computer algebra system, and is still under ... infinite groups are handled, with emphasis on integral coefficients. Recent additions include some functions...

  • Muriqui
  • Referenced in 2 articles [sw32925]
  • Diving heuristic; Relaxation Enforced Neighborhood Search; Integrality Gap Minimization Heuristic, versions...

  • MediaBench
  • Referenced in 34 articles [sw08949]
  • that has been designed to fill this gap. This suite has been constructed through ... selection, experimental measurement to establish uniqueness, and integration with system synthesis algorithms to establish usefulness...

  • STAR/MPI
  • Referenced in 11 articles [sw02182]
  • been integrated into both GCL (GNU Common LISP) and GAP (a general purpose language...

  • Lean
  • Referenced in 46 articles [sw15148]
  • type theory. It aims to bridge the gap between interactive and automated theorem proving ... already provides many useful components, integrated development environments, and a rich API which...

  • PurityFiltration
  • Referenced in 10 articles [sw07656]
  • explicitly integrated by the Maple package PurityFiltration and the GAP package homalg...

  • Francy
  • Referenced in 2 articles [sw25788]
  • which is currently under development for GAP. The integration of this project with Jupyter provides ... features enhancing the usability and accessibility of GAP...

  • STAMP

  • Referenced in 45 articles [sw09536]
  • selection and interpretation. STAMP 8 is an integrated part of the OxMetrics modular software system ... geography, meteorology and engineering. STAMP bridges the gap between the theory and its application; providing...

  • MICAlign
  • Referenced in 2 articles [sw12010]
  • MICAlign: a sequence-to-structure alignment tool integrating multiple sources of information in conditional random ... together with a position-specific gap scheme, were integrated into conditional random fields through which...

  • RAPTOR
  • Referenced in 20 articles [sw09002]
  • includes pairwise interaction preferences and allowing variable gaps which are two key factors in making ... time, the relaxed linear programs generate integral solutions directly. Our algorithm has been implemented...

  • Vertaf
  • Referenced in 4 articles [sw08200]
  • poor in integrating functional and nonfunctional requirements. To bridge this gap, we reveal the design ... Embedded Real-Time Application Framework (VERTAF), which integrates software component-based reuse, formal synthesis...

  • gap
  • Referenced in 5 articles [sw24918]
  • package gap: Genetic Analysis Package. It is designed as an integrated package for genetic data...

  • JavaMath
  • Referenced in 4 articles [sw01551]
  • software oriented toward integrating existing compute engines, such as Maple or GAP, into Internet accessible...

  • ZAlgs
  • Referenced in 1 article [sw40988]
  • GAP package ZAlgs - a nilpotent quotient algorithm for finitely presented associative integral algebras...

  • OSCAR

  • Referenced in 2 articles [sw36845]
  • System. TThe OSCAR project integrates the four computer algebra systems GAP, polymake, Singular, and Antic...