
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 runtime...

ARPACK
 Referenced in 822 articles
[sw04218]
 vectors for the desired kdimensional eigenspace is computed which is numerically orthogonal...

SDPT3
 Referenced in 673 articles
[sw04009]
 secondorder 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 Secondorder 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 individualizationrefinement 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 ... multithreaded operating system for the DeepSpace 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]
 NavierStokes 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 undersampling 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 threedimensional point patterns, and spacetime 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 3space 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...