• Bertini

  • Referenced in 177 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 Planner-LAMP 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 computer-algebra procedures for enabling advanced computations for complex multibody ... define the specific geometry of the mechanism and the differential equations governing its behaviour. Earlier...
  • ADOL-C

  • Referenced in 207 articles [sw00019]
  • ADOL-C: 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...