• CWRESX

  • Referenced in 37 articles [sw12904]
  • CWRESU and CWRESX, which compute the residuals of the differential algebraic equations (DAE) system obtained ... must be applied, for example, a BDF method such as implemented in the DAE solvers...
  • PoCaB

  • Referenced in 7 articles [sw06416]
  • application of various algebraic methods to qualitatively analyse them. We compute these entities ... Biomodels and KEGG. The computations involve the use of computer algebra tools (e.g. polco, polymake ... development of methods relevant for computational systems biology involving computer algebra. The database is publicly...
  • VIBRAN

  • Referenced in 3 articles [sw30212]
  • theoretical background of systematic computer algebra methods for the formation of structural matrices of piezoceramic ... efficiency of computer algebra application was compared here with the numerical integration methods of forming ... finite elements. To this end, the computer algebra system VIBRAN was used. Two popular finite...
  • Zeta

  • Referenced in 9 articles [sw13746]
  • Zeta provides methods for computing topological zeta functions arising from the enumeration of subalgebras, ideals ... suitable algebraic structures. For theoretical background and descriptions of the methods used ... Python-package for the computer algebra system Sage. This work is supported ... Priority Programme “Algorithmic and Experimental Methods in Algebra, Geometry and Number Theory...
  • LISP-STAT

  • Referenced in 116 articles [sw01111]
  • Lisp-Stat is an extensible statistical computing environment for data analysis, statistical instruction and research ... exploring the use of dynamic graphical methods. Extensibility is achieved by basing Lisp-Stat ... variety of basic statistical and linear algebra functions. A portable window system interface forms...
  • xloops

  • Referenced in 6 articles [sw04701]
  • Maple. We describe the mathematical methods and computer algebra techniques xloops uses and give...
  • NumericalAlgebraicGeometry

  • Referenced in 19 articles [sw12155]
  • classical symbolic approaches of computational algebraic geometry. We present a package, whose primary purpose ... existing symbolic methods of Macaulay2 and the powerful engine of numerical approximate computations. The core...
  • Felix

  • Referenced in 19 articles [sw01048]
  • Special computer algebra system (CAS) for the computation in commutative and non-commutative rings ... modules. The central method is Buchberger’s algorithm and its generalizations to non-commutative rings ... algebras and algebras of solvable type. Among the implemented applications there are syzygy computations...
  • FIDE

  • Referenced in 5 articles [sw09196]
  • REDUCE package for automation of FInite difference method for solving pDE. The article deals with ... equations systems (PDES) by means of computer algebra. For solving ... PDES the finite difference method is applied. The computer algebra system REDUCE and the numerical ... stages can be found in which computer algebra can be used for performing routine analytical...
  • CliffMath

  • Referenced in 20 articles [sw04955]
  • book are new methods, built on the algebraic framework of Clifford algebras, for tackling important ... book, together with packages for performing symbolic computations...
  • MathCheck

  • Referenced in 9 articles [sw13642]
  • combination of computer algebra systems and SAT solvers. We present a method and an associated ... MathCheck, that embeds the functionality of a computer algebra system (CAS) within the inner loop...
  • CliffOC

  • Referenced in 18 articles [sw04957]
  • book are new methods, built on the algebraic framework of Clifford algebras, for tackling important ... book, together with packages for performing symbolic computations...
  • CHomP

  • Referenced in 46 articles [sw09358]
  • within which homology is perhaps the most computable subset. In particular, it provides a well ... large datasets can be reduced to compact algebraic expressions that provide insight into underlying geometric ... apply efficient and effective topologically based methods to the analysis of nonlinear systems...
  • clSpMV

  • Referenced in 9 articles [sw12638]
  • kernel is a key computation in linear algebra. Most iterative methods are composed of SpMV...
  • insulate

  • Referenced in 21 articles [sw21729]
  • computing a representation of the plane graph induced by one (or more) algebraic curves ... algebraic extension of Q, i.e. the coefficients of those polynomials are algebraic numbers. Various algebraic ... incorrect for some inputs.par We propose a method that is always correct and that avoids ... approaches: a triple projections method and a curve avoidance method. We have implemented our approach...
  • PolyBoRi

  • Referenced in 45 articles [sw00723]
  • useless-pair criterion for Gröbner-basis computations in Boolean rings is introduced ... arithmetic components. We are convinced that algebraic methods are more suited and we believe that...
  • ITPACK

  • Referenced in 47 articles [sw00459]
  • algorithms, for solving large systems of linear algebraic equations with sparse coefficient matrices. The emphasis ... methods. Among other things this project has resulted in the development of a computer package...
  • HOM4PS

  • Referenced in 75 articles [sw00410]
  • three key aspects: (1) a new method for finding mixed cells; (2) combining the polyhedral ... PHoM [T. Gunji et al., Computing ... Michael E. (ed.) et al., Software for algebraic geometry. Papers of a workshop, Minneapolis...
  • AHFinderDirect

  • Referenced in 25 articles [sw04972]
  • nonlinear algebraic equations (for h at the angular grid points) by Newton’s method, using ... symbolic differentiation’ technique to compute the Jacobian matrix. AHFINDERDIRECT is implemented as a thorn...
  • DISCOVERER

  • Referenced in 55 articles [sw07719]
  • verification problems can be reduced to semi-algebraic system (SAS for short) solving ... general method for those problems. But the general method usually has low efficiency for specific ... combine special techniques with the general method. Based on the work of complete discrimination systems ... partly implemented them as a real symbolic computation tool in Maple named DISCOVERER. In this...