
ABAQUS
 Referenced in 1594 articles
[sw04215]
 both routine and sophisticated engineering problems covering a vast spectrum of industrial applications ... consider full vehicle loads, dynamic vibration, multibody systems, impact/crash, nonlinear static, thermal coupling, and acoustic...

DLMF
 Referenced in 2808 articles
[sw04968]
 work. The data to be covered include mathematical formulas, graphs, references, methods of computation ... example, or for input to computer algebra systems. These and other problems, and some partially...

Leibniz
 Referenced in 35 articles
[sw12871]
 implementation of logicbased intelligent systems. The package covers various aspect of the construction ... using other operating systems should not be difficult but is not covered in the manual...

AETG
 Referenced in 69 articles
[sw09715]
 AETG system: an approach to testing based on combinatorial design. This paper describes ... tests that cover the pairwise, triple, or nway combinations of a system’s test ... AETG system uses new combinatorial algorithms to generate test sets that cover all valid ... models with dozens of parameters. The AETG system is used in a variety of applications...

LEDA
 Referenced in 263 articles
[sw00509]
 geometry  LEDA is the first library to cover all material found in the standard textbooks ... definitive account of how the system operates and how it can be used. The authors...

TOMLAB
 Referenced in 99 articles
[sw04214]
 covers. The external solvers are distributed as compiled binary MEX DLLs on PCsystems...

grobcov.lib
 Referenced in 10 articles
[sw09932]
 Cover for parametric ideals: Comprehensive Groebner Systems, Groebner Cover, Canonical Forms, Parametric Polynomial Systems ... algorithms to compute the canonical Groebner cover of a parametric ideal as described ... Wibmer M., ”Groebner Bases for Polynomial Systems with parameters”. Journal of Symbolic Computation...

Disperse
 Referenced in 17 articles
[sw08937]
 multilayered Cartesian and cylindrical systems. The solution routines cover both leaky and nonleaky ... cases and remain robust for systems which are known to be difficult, such as large ... fully supported; anisotropic materials are also covered, but are currently limited to the elastic...

RMetrics
 Referenced in 32 articles
[sw09991]
 first class system for applications in teaching statistics and finance. Rmetrics covers Time Series Econometrics...

YAPA
 Referenced in 19 articles
[sw02739]
 input any convergent rewrite system. We show that our algorithm covers all the existing decision...

MOLE
 Referenced in 7 articles
[sw36119]
 KnowledgeAcquisition Tool for CoverandDifferentiate Systems. MOLE is a knowledgeacquisition tool ... generating expert systems that do heuristic classification. More specifically, MOLE assumes that the task ... coveranddifferentiate problemsolving method. Using this method, the expert system generated by MOLE ... states that need to be explained (or covered) and then differentiates among the candidates, picking...

BEMECH
 Referenced in 118 articles
[sw10847]
 attached to the book. The main topics covered in the book are: a) the derivation ... methods for evaluating singularities and solving nonlinear systems of equations; e) the description of computer...

LoLA
 Referenced in 26 articles
[sw04381]
 LoLA supports place/transition nets. Implemented verification techniques cover standard properties (liveness, reversibility, boundedness, reachability, dead ... system execution are supported. For state space reduction, LoLA features symmetries, stubborn sets, and coverability...

pLocmEuk
 Referenced in 30 articles
[sw24440]
 covered, and (2) they can only be used to deal with singlelabel systems ... PLoc 2.0” and ”iLocEuk”) can cover up to 22 different location sites, and they...

WILMAR
 Referenced in 3 articles
[sw01020]
 power in a large liberalised electricity system covering the following countries: Denmark, Finland, Germany, Norway ... wind power in the North European electricity system will be quantified using a comprehensive model...

LoTREC
 Referenced in 27 articles
[sw07684]
 formulas in modal and description logics. This system is called LoTREC2.0. It is characterized ... tableau rules and strategies. It aims at covering all Kripkesemantic based logics ... used as a learning system for possible worlds semantics and tableaux based proof methods...

GUAVA
 Referenced in 22 articles
[sw07729]
 covering radius) quickly. Limited ability to compute algebraic geometric codes. Computer algebra system...

MEGAFLOW
 Referenced in 37 articles
[sw03219]
 well as to the mode of application, covering analysis as well as design and optimization ... trend in the use of the MEGAFLOW system becomes visible. On the one hand...

PlantmPLoc
 Referenced in 27 articles
[sw22435]
 systems. Most of the existing methods in predicting plant protein subcellular localization can only cover...

IMPS
 Referenced in 52 articles
[sw09143]
 system. IMPS is an interactive mathematical proof system intended as a generalpurpose tool ... library contained over a thousand repeatable proofs covers significant portions of logic, algebra, and analysis...