- Referenced in 1443 articles
- 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...
- Referenced in 1121 articles
- 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...
- Referenced in 75 articles
- separate exercise. Finally, some conclusions relating to general programming methodology are drawn...
- Referenced in 48 articles
- routine computations required in general relativity. Here, we present a series of simple examples showing...
- Referenced in 41 articles
- current geometric approach to General Relativity. It is highly programmable and configurable. Since its first...
- Referenced in 40 articles
- studying differential equations, doing calculations in general relativity and field theories, or doing simple things...
- Referenced in 36 articles
- main use has been in general relativity, but it has also been used in both...
- Referenced in 496 articles
- 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...
- Referenced in 32 articles
- field of general relativity, GRTensorII is useful in many other fields. GRTensor...
- Referenced in 49 articles
- principle is based on the relative least general generalisations (rlggs) introduced by Plotkin. GOLEM embeds...
- Referenced in 102 articles
- either standard or generalized form, as well as other related problems such as the singular...
- Referenced in 544 articles
- 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...
- Referenced in 22 articles
- abstract tensor calculus, specially in General Relativity. It works with tensors with arbitrary symmetries under...
- Referenced in 18 articles
- test problems in both special and general relativity. On smooth flows we show that...
- Referenced in 109 articles
- solving general nonlinear optimization problems that have the following characteristics: they are relatively small scale...
- Referenced in 37 articles
- implement new and more general methods with a relatively small effort. This paper presents...
- Referenced in 131 articles
- 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...
- Referenced in 41 articles
- 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...
- Referenced in 143 articles
- 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...
- Referenced in 20 articles
- than just by a rewriting relation. In particular, Generalized Rewrite Theories (GRT) are a recent...