• LAPACK

  • Referenced in 1178 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 921 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...
  • EXCALC

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

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

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

  • Referenced in 387 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...
  • xAct

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

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

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

  • Referenced in 391 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...
  • DFO

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

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

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

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

  • Referenced in 113 articles [sw05075]
  • finding several Pareto optimal points for a general nonlinear multicriteria optimization problem. Such points collectively ... that this method is independent of the relative scales of the functions and is successful...
  • Proof General

  • Referenced in 30 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...
  • SuperLU

  • Referenced in 87 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...
  • Redten

  • Referenced in 6 articles [sw06018]
  • manipulation functions for work in General Relativity...
  • LEGO

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

  • Referenced in 13 articles [sw09783]
  • than just by a rewriting relation. In particular, Generalized Rewrite Theories (GRT) are a recent...