• 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 logic-based 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 n-way 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 PC-systems...
  • 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]
  • multi-layered Cartesian and cylindrical systems. The solution routines cover both leaky and non-leaky ... 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]
  • Knowledge-Acquisition Tool for Cover-and-Differentiate Systems. MOLE is a knowledge-acquisition tool ... generating expert systems that do heuristic classification. More specifically, MOLE assumes that the task ... cover-and-differentiate problem-solving 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...
  • pLoc-mEuk

  • Referenced in 30 articles [sw24440]
  • covered, and (2) they can only be used to deal with single-label systems ... PLoc 2.0” and ”iLoc-Euk”) 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 Kripke-semantic 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...
  • Plant-mPLoc

  • 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 general-purpose tool ... library contained over a thousand repeatable proofs covers significant portions of logic, algebra, and analysis...