• LAPACK

  • Referenced in 1642 articles [sw00503]
  • Schur, generalized Schur) are also provided, as are related computations such as reordering ... banded matrices are handled, but not general sparse matrices. In all areas, similar functionality...
  • SINGULAR

  • Referenced in 1408 articles [sw00866]
  • ideal. SINGULAR features fast and general implementations for computing Groebner and standard bases, including ... free-resolution computations, and many more related functionalities. Based on an easy-to-use interactive ... written in the SINGULAR programming language. A general and efficient implementation of communication links allows...
  • Cadabra

  • Referenced in 82 articles [sw00097]
  • routine computations required in general relativity. Here, we present a series of simple examples showing...
  • xAct

  • Referenced in 58 articles [sw07598]
  • current geometric approach to General Relativity. It is highly programmable and configurable. Since its first...
  • Find

  • Referenced in 82 articles [sw21614]
  • separate exercise. Finally, some conclusions relating to general programming methodology are drawn...
  • GRTensorII

  • Referenced in 48 articles [sw00393]
  • field of general relativity, GRTensorII is useful in many other fields. GRTensor...
  • SDPT3

  • Referenced in 630 articles [sw04009]
  • Lanczos method. Numerical experiments show that this general purpose code can solve more than ... accuracy of at least 10−6 in relative duality gap and infeasibilities...
  • SLEPc

  • Referenced in 160 articles [sw00875]
  • either standard or generalized form, as well as other related problems such as the singular...
  • EXCALC

  • Referenced in 41 articles [sw06318]
  • studying differential equations, doing calculations in general relativity and field theories, or doing simple things...
  • SHEEP

  • Referenced in 37 articles [sw00855]
  • main use has been in general relativity, but it has also been used in both...
  • GeoPDEs

  • Referenced in 98 articles [sw06413]
  • implement new and more general methods with a relatively small effort. This paper presents...
  • GOLEM

  • Referenced in 52 articles [sw24695]
  • principle is based on the relative least general generalisations (rlggs) introduced by Plotkin. GOLEM embeds...
  • xTensor

  • Referenced in 30 articles [sw04984]
  • abstract tensor calculus, specially in General Relativity. It works with tensors with arbitrary symmetries under...
  • SemiPar

  • Referenced in 697 articles [sw07116]
  • nonparametric regression can be viewed as a relatively simple extension of parametric regression and treat ... linear mixed model or its generalized counterpart. This book is very much problem-driven. Examples...
  • redbKIT

  • Referenced in 174 articles [sw12977]
  • general mathematical formulation of RB methods, analyzes their fundamental theoretical properties, discusses the related algorithmic ... ideal for upper undergraduate students and, more generally, people interested in scientific computing. All these...
  • HARM

  • Referenced in 21 articles [sw08474]
  • test problems in both special and general relativity. On smooth flows we show that...
  • DFO

  • Referenced in 123 articles [sw04737]
  • solving general nonlinear optimization problems that have the following characteristics: they are relatively small scale...
  • SuperLU

  • Referenced in 178 articles [sw00930]
  • SuperLU is a general purpose library for the direct solution of large, sparse, nonsymmetric systems ... system, estimate the condition number, calculate the relative backward error, and estimate error bounds...
  • Proof General

  • Referenced in 53 articles [sw04901]
  • proof development. Proof General provides a powerful user-interface with relatively little effort, alleviating ... appearance for diverse proof assistants. par Proof General has a growing user base...
  • LEGO

  • Referenced in 107 articles [sw09685]
  • related type systems - the Edinburgh Logical Framework (LF), the Calculus of Constructions (CC), the Generalized...