• LAPACK

  • Referenced in 1220 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 957 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...
  • GRTensorII

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

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

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

  • Referenced in 398 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 77 articles [sw00875]
  • either standard or generalized form, as well as other related problems such as the singular...
  • SemiPar

  • Referenced in 398 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 13 articles [sw04984]
  • abstract tensor calculus, specially in General Relativity. It works with tensors with arbitrary symmetries under...
  • GeoPDEs

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

  • Referenced in 31 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...
  • NBI

  • Referenced in 115 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...
  • KADATH

  • Referenced in 7 articles [sw09575]
  • fields of gauge field theory and general relativity...
  • SuperLU

  • Referenced in 91 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...
  • Spinors

  • Referenced in 4 articles [sw10042]
  • package for doing spinor calculus in general relativity. The Spinors software is a Mathematica package ... calculus as devised by Penrose for General Relativity in dimension 3+1. The Spinors software...