• CPLEX

  • Referenced in 2804 articles [sw04082]
  • that solve linear programming (LP) and related problems. Specifically, it solves linearly or quadratically constrained...
  • RelView

  • Referenced in 102 articles [sw00798]
  • directed graphs, especially for prototyping relational specifications and programs. It is developed at the Department...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • generalized Schur) are also provided, as are related computations such as reordering of the Schur ... Level 3 BLAS — a set of specifications for Fortran subprograms that do various types...
  • WordNet

  • Referenced in 410 articles [sw01777]
  • lexical relations. The resulting network of meaningfully related words and concepts can be navigated with ... just word forms—strings of letters—but specific senses of words. As a result, words ... semantically disambiguated. Second, WordNet labels the semantic relations among words, whereas the groupings of words...
  • redbKIT

  • Referenced in 255 articles [sw12977]
  • analyzes their fundamental theoretical properties, discusses the related algorithmic and implementation aspects, and highlights their ... built-in algebraic and geometric structures. More specifically, the authors discuss alternative strategies for constructing...
  • Z

  • Referenced in 286 articles [sw10291]
  • adquate for promoting a discipline of formal specification and reasoning? Another disappointment is that ... particular, although all necessary notions from the relational calculus are introduced, its algebraic properties...
  • Locales

  • Referenced in 41 articles [sw12448]
  • implied by the locales’ specifications. By discussing their design and relating it to more commonly...
  • SCHUR

  • Referenced in 27 articles [sw02899]
  • physicists - particularly for persons who need specific knowledge relating to some aspect of Lie groups...
  • IMPS

  • Referenced in 52 articles [sw09143]
  • functions and subtypes. Mathematical specification and inference are performed relative to axiomatic theories, which...
  • SysML

  • Referenced in 23 articles [sw09155]
  • SysML.org web provides information, specifications, and resources related to the Systems Modeling Language (SysML) open...
  • LMFDB

  • Referenced in 167 articles [sw07249]
  • database of L-functions, modular forms, and related objects. These pages are intended ... very concrete objects, in particular specific L-functions and their sources. L-functions are ubiquitous...
  • ode23

  • Referenced in 335 articles [sw06600]
  • vector T. To obtain solutions at the specific times t0, t1,...,tf (all increasing ... function. Commonly used properties include a scalar relative error tolerance RelTol (1e-3 by default...
  • AoPA

  • Referenced in 8 articles [sw09832]
  • technique of stepwise refining a relational specification to a program by algebraic rules. The program ... Algebra of Programming in Agda), to encode relational derivations in the dependently typed programming language...
  • XQuery

  • Referenced in 124 articles [sw06669]
  • sources including structured and semi-structured documents, relational databases, and object repositories. A query language ... viewed as XML via middleware. This specification describes a query language called XQuery, which...
  • MAVEN

  • Referenced in 10 articles [sw07659]
  • correctness of an aspect relative to its specification, independently of any specific underlying system ... among aspects, or detecting potential interference. The specification includes assumptions about properties of the underlying ... verification of an aspect relative to its specification, thereby increasing the modularity of proofs...
  • Fiat

  • Referenced in 14 articles [sw21357]
  • programming tasks like querying a relational database. These specifications are then iteratively refined into efficient...
  • SUNDIALS

  • Referenced in 246 articles [sw00927]
  • this design is that users can relatively easily provide their own data structures ... addition, all parallelism is contained within specific vector operations (norms, dot products, etc.) No other...
  • Astropy

  • Referenced in 47 articles [sw15603]
  • core astronomy-related functionality to the community, including support for domain-specific file formats such...
  • PDDE-CONT

  • Referenced in 30 articles [sw08419]
  • briefly, and refer to, related or alternative approaches by others (specifically, work by Breda...
  • CP-miner

  • Referenced in 11 articles [sw09179]
  • operating systems, and detects copy-paste related bugs. Specifically, it takes less than 20 minutes ... Miner has detected 28 copy-paste related bugs in the latest version of Linux...