
W12SC3
 Referenced in 1 article
[sw19876]
 W12SC3: supersonic wing design and analysis. COREL and W12SC3 are two computer programs useful in the aerodynamic design and analysis of wings for supersonic maneuvering. ...

WADE
 Referenced in 3 articles
[sw08954]
 WADE: a software platform to develop mission critical applications exploiting agents and workflow. In this paper, we describe two mission critical applications currently deployed by ...

waffle
 Referenced in 0 articles
[sw18464]
 R package waffle. Create Waffle Chart Visualizations in R. Square pie charts (a.k.a. waffle charts) can be used to communicate parts of a whole for ...

Waffles
 Referenced in 2 articles
[sw08061]
 Waffles: a machine learning toolkit We present a breadthoriented collection of crossplatform commandline tools for researchers in machine learning called Waffles. The Waffles tools are ...

WAFO
 Referenced in 20 articles
[sw07370]
 WAFO is a toolbox of Matlab routines for statistical analysis and simulation of random waves and random loads. WAFO is freely redistributable software, see WAFO ...

WALA
 Referenced in 2 articles
[sw04113]
 The T. J. Watson Libraries for Analysis (WALA) provide static analysis capabilities for Java bytecode and related languages and for JavaScript. The system is licensed ...

waLBerla
 Referenced in 16 articles
[sw01472]
 waLBerla: Optimization for itaniumbased systems with thousands of processors. Performance optimization is an issue at different levels, in particular for computing and communication intensive codes ...

Waldmeister
 Referenced in 40 articles
[sw19568]
 Waldmeister is a theorem prover for unit equational logic. Its proof procedure is unfailing KnuthBendix completion [BDP89]. Waldmeister’s main advantage is that efficiency has been ...

WAlg
 Referenced in 3 articles
[sw25288]
 MasterPVA and WAlg: Mathematica packages for Poisson vertex algebras and classical affine Walgebras. We give an introduction to the Mathematica packages ”MasterPVA” and ”MasterPVAmulti used ...

WalkCarefully
 Referenced in 6 articles
[sw19297]
 ”The QuasiHolonomic Ansatz and Restricted Lattice Walks” by Manuel Kauers and Doron Zeilberger. This article is accompanied by the following Maple packages ...

Walks
 Referenced in 6 articles
[sw19291]
 ”The QuasiHolonomic Ansatz and Restricted Lattice Walks” by Manuel Kauers and Doron Zeilberger. This article is accompanied by the following Mathematica packages...

WALKSab
 Referenced in 1 article
[sw19263]
 This is WALKSab That automatically generates, and solves the algebraic equations for the generating functions let’s call them F[0,i](x[a],x[b]), for i=0,1, ..., b1 for walks ...

Walksat
 Referenced in 199 articles
[sw04328]
 GSAT and WalkSat are local search algorithms to solve Boolean satisfiability problems. Both algorithms work on formulae that are in, or have been converted into, ...

wallace
 Referenced in 0 articles
[sw18765]
 R package wallace. wallace: A Modular Platform for Reproducible Modeling of Species Niches and Distributions. The ’shiny’ application Wallace is a modular platform for reproducible ...

wallop
 Referenced in 1 article
[sw07942]
 wallop: A Gtk+2.0 (graphical) application which allows you to manipulate fatgraphs, mostly fatgraphs coming as output from scallop, which is included with wallop. Note the ...

WalnutDSA
 Referenced in 2 articles
[sw27489]
 WalnutDSA TM: a quantum resistant group theoretic digital signature algorithm. In 2005 I. Anshel, M. Anshel, D. Goldfeld, and S. Lemieux introduced EMultiplication TM, a ...

walrus
 Referenced in 0 articles
[sw27997]
 GAP package walrus: A new approach to proving hyperbolicity. An implementation of hyperbolicity testing using an ideas by Derek Holt, Max Neunhöffer, Richard Parker, and ...

WAM
 Referenced in 3 articles
[sw14485]
 WAM : Matlab package for polynomial fitting and interpolation on Weakly Admissible Meshes.

wamcc
 Referenced in 11 articles
[sw06519]
 WAMCC is a WAMbased Prolog to C compiler. It conforms more or less to the Edinburgh standard, and includes most of the usual builtin predicates, ...

WAMIT
 Referenced in 9 articles
[sw09619]
 WAMIT® is the most advanced set of tools available for analyzing wave interactions with offshore platforms and other structures or vessels. Since the announcement of ...