
Bertini
 Referenced in 233 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...

DifferentialGeometry
 Referenced in 26 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...

GRTensorII
 Referenced in 48 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...

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...

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

FINSLER
 Referenced in 13 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...

MathXPress
 Referenced in 1 article
[sw30163]
 evaluator and steptostep solver, dynamic geometry (2D and 3D) and problem solving tutor ... Calculus, Linear Algebra, Differential Equations, Statistics, Elementary Algebra, Geometry and others have been developed...

Singularity
 Referenced in 6 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...

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

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...

GRCEC
 Referenced in 1 article
[sw30216]
 general outline of the specialized computer algebra system GRCEC intended for symbolic calculations ... adjacent methods belonging to the differential geometry. The distinctive features of the GRCEC input language...

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 7 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 244 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

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