
Bertini
 Referenced in 178 articles
[sw06683]
 Bertini™: Software for Numerical Algebraic Geometry. Software for solving polynomial systems. Finds isolated solutions using ... solutions by computing witness sets. Has automatic differentiation which preserves the straightline quality...

GRTensorII
 Referenced in 32 articles
[sw00393]
 computer algebra package for performing calculations in the general area of differential geometry. Its purpose ... stand alone package, but requires an algebraic engine. The program was originally developed for MapleV.GRTensorII...

DifferentialGeometry
 Referenced in 14 articles
[sw07593]
 calculus on manifolds, differential geometry, tensor calculus, spinor calculus, Lie algebras, Lie groups, transformation groups ... improvements in symbolic approaches to solving algebraic and differential equations, have allowed for development...

GRC 3.2
 Referenced in 5 articles
[sw11333]
 Computer Algebra System for Differential Geometry, Gravitation and Field Theory. The computer algebra system ... designed to make calculation in differential geometry and field theory as simple and natural ... possible. GRG is based on the computer algebra system Reduce ... English phrases. GRG understands tensors, spinors, vectors, differential forms and knows all standard operations with...

Vessiot
 Referenced in 6 articles
[sw12351]
 classification problems in geometry and algebra. The first problem we are currently working on deals ... classification of low dimensional Lie algebras. The software which supports our work on these ... Maple programs for computations in differential geometry, Lie algebras and the variational calculus...

WIRIS
 Referenced in 3 articles
[sw08332]
 primary school to university level (Calculus, Algebra, Geometry, Differential Equations...). WIRIS desktop is the local ... runs on Windows, Linux and Mac. Computer algebra system...

FINSLER
 Referenced in 12 articles
[sw00290]
 Symbolic Finsler geometry. The paper presents the Finsler package, a computer algebra program based ... mathematical modelling based on differential geometry and/or ordinary differential equations in diverse fields of science...

ATENSOR
 Referenced in 7 articles
[sw00055]
 differential geometry and other fields where indexed objects arise. Solution method: The group algebra technique...

SageManifolds
 Referenced in 1 article
[sw27192]
 extending the modern computer algebra system SageMath towards differential geometry and tensor calculus. All SageManifolds...

Singularity
 Referenced in 4 articles
[sw20306]
 control of different singularities including autonomous differential singular systems and local real zeros of multidimensional ... Many tools and techniques from computational algebraic geometry have been used to develop Singularity. However...

UNAMALLA
 Referenced in 7 articles
[sw13144]
 interested in the numerical solution of partial differential equations on arbitrary irregular regions using mainly ... such as linear algebra, large scale optimization methods and computer geometry, among others, and promotes...

LAMP
 Referenced in 2 articles
[sw13377]
 Sussmann method, which is based on differential geometry and employs piecewise constant inputs. This paper ... freely available software tool, called the Lie Algebraic Motion PlannerLAMP and written in Mathematica...

Jet_fitting_3
 Referenced in 3 articles
[sw22886]
 fitting problem, and extraction of the differential properties. This article presents a generic C++ software ... coding rules in computational geometry, genericity of the package is achieved thanks to four template ... mechanism between these two geometries, and (d) the linear algebra operations. An instantiation within...

Albany/FELIX
 Referenced in 3 articles
[sw17196]
 Following an overview of the relevant partial differential equations and boundary conditions, the numerical methods ... problems involving a realistic Greenland ice sheet geometry discretized using hexahedral and tetrahedral meshes. Also ... iterative linear solver using a new algebraic multilevel preconditioner, constructed based on the idea...

MAMBO
 Referenced in 1 article
[sw07685]
 visual guidance to allow the student to differentiate between different levels of knowledge; deep incorporation ... book includes a series of computeralgebra procedures for enabling advanced computations for complex multibody ... define the specific geometry of the mechanism and the differential equations governing its behaviour. Earlier...

ADOLC
 Referenced in 207 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

AMD
 Referenced in 49 articles
[sw00039]
 Algorithm 837: AMD is a set of routines...

ANSYS
 Referenced in 569 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

AXIOM
 Referenced in 163 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...