• GAP

  • Referenced in 3068 articles [sw00320]
  • studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more. The system...
  • deal.ii

  • Referenced in 599 articles [sw03516]
  • like. Likewise, support for several space dimensions at once is included in a way such ... programs can be written independent of the space dimension without unreasonable penalties on run-time...
  • ARPACK

  • Referenced in 822 articles [sw04218]
  • vectors for the desired k-dimensional eigen-space is computed which is numerically orthogonal...
  • SDPT3

  • Referenced in 673 articles [sw04009]
  • second-order cones, nonnegative orthants and Euclidean spaces; and whose objective function...
  • EnKF

  • Referenced in 392 articles [sw02066]
  • handle strongly nonlinear dynamics and large state spaces and is now used in realistic applications...
  • Gerris

  • Referenced in 304 articles [sw00341]
  • generation in complex geometries Second-order in space and time Unlimited number of advected/diffused passive...
  • FODE

  • Referenced in 286 articles [sw08377]
  • alpha =0.8$ the convergent order in space is confirmed and the numerical results with different...
  • Traces

  • Referenced in 170 articles [sw07823]
  • Search Space Contraction in Canonical Labeling of Graphs. The individualization-refinement paradigm for computing ... reducing the size of the associated search space is introduced, and a new tool, named ... huge reduction in the search space, thereby making computation feasible for several classes of graphs...
  • McEliece

  • Referenced in 242 articles [sw02076]
  • extremely raised due to the increasing storage space of these platforms. Therefore, their vulnerability...
  • VAMPIRE

  • Referenced in 241 articles [sw02918]
  • techniques are used for pruning the search space: subsumption, tautology deletion (optionally modulo commutativity), subsumption...
  • SLIC

  • Referenced in 150 articles [sw18282]
  • used in one, two, or three space dimensions, and it is characterized by the following ... defined as a composition of one space dimensional components, one for each coordinate direction ... should be possible to incorporate any one space dimensional method for advancing contact discontinuities. This...
  • Java PathFinder

  • Referenced in 123 articles [sw07658]
  • PROMELA model with the same state space characteristics as the JAVA program. Hence, the JAVA ... must have a finite and tractable state space. The work should be seen ... applicable within NASA’s areas such as space, aviation, and robotics. The work ... multi-threaded operating system for the Deep-Space 1 space craft, and of previous work...
  • redbKIT

  • Referenced in 208 articles [sw12977]
  • discuss alternative strategies for constructing accurate RB spaces using greedy algorithms and proper orthogonal decomposition...
  • FEATFLOW

  • Referenced in 200 articles [sw04254]
  • Navier-Stokes equations in two and three space dimensions. FEATFLOW is part of the TUFES...
  • SMOTE

  • Referenced in 141 articles [sw34239]
  • achieve better classifier performance (in ROC space) than only under-sampling the majority class. This ... achieve better classifier performance (in ROC space) than varying the loss ratios in Ripper...
  • UG

  • Referenced in 190 articles [sw04596]
  • unstructured meshes in two and three space dimensions as well as a flexible data layout...
  • spatstat

  • Referenced in 136 articles [sw04429]
  • Also supports three-dimensional point patterns, and space-time point patterns in any number ... functions, nearest neighbour distance and empty space statistics, Fry plots, pair correlation function, kernel smoothed...
  • kepler98

  • Referenced in 187 articles [sw23625]
  • packing of congruent balls in Euclidean 3-space has density greater than the familiar pyramid...
  • SyFi

  • Referenced in 171 articles [sw05701]
  • Elements. The package provides polygonal domains, polynomial spaces, and degrees of freedom as symbolic expressions...