
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 ... Pythonpackage for the computer algebra system Sage. This work is supported ... Priority Programme “Algorithmic and Experimental Methods in Algebra, Geometry and Number Theory...

LISPSTAT
 Referenced in 116 articles
[sw01111]
 LispStat 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 LispStat ... 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 noncommutative rings ... modules. The central method is Buchberger’s algorithm and its generalizations to noncommutative 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]
 uselesspair criterion for Gröbnerbasis 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 semialgebraic 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...