
LAPACK
 Referenced in 1211 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 934 articles
[sw00866]
 ideal. SINGULAR features fast and general implementations for computing Groebner and standard bases, including ... freeresolution computations, and many more related functionalities. Based on an easytouse 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...

SDPT3
 Referenced in 393 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 28 articles
[sw07598]
 current geometric approach to General Relativity. It is highly programmable and configurable. Since its first...

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

SemiPar
 Referenced in 396 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 problemdriven. 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 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 userinterface with relatively little effort, alleviating ... appearance for diverse proof assistants. par Proof General has a growing user base...

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

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

KADATH
 Referenced in 6 articles
[sw09575]
 fields of gauge field theory and 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...