
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 grouptheoretical 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 integratedcircuit 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  hertwecklutharpassi 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 sequencetostructure alignment tool integrating multiple sources of information in conditional random ... together with a positionspecific 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 RealTime Application Framework (VERTAF), which integrates software componentbased 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...