• 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 breadth-oriented collection of cross-platform command-line 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 itanium-based 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 Knuth-Bendix 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 W-algebras. We give an introduction to the Mathematica packages ”MasterPVA” and ”MasterPVAmulti used ...

• WalkCarefully

• Referenced in 6 articles [sw19297]
• ”The Quasi-Holonomic 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 Quasi-Holonomic 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, ..., b-1 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 E-Multiplication 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 WAM-based Prolog to C compiler. It conforms more or less to the Edinburgh standard, and includes most of the usual built-in 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 ...