
QPmR
 Referenced in 4 articles
[sw07640]
 quasipolynomial located in a given region of the complex plane. The rootfinding ... task is based on mapping the quasipolynomial in the complex plane. Consequently, utilizing spectrum...

GANITH
 Referenced in 9 articles
[sw10142]
 solution techniques using multipolynomial resultants and birational maps between arbitrary algebraic sets and hypersurfaces ... algebraic and numeric methods, and real solutions. Complex solutions can also be computed, but visualizing...

MonodromySolver
 Referenced in 3 articles
[sw27121]
 equations over the complex numbers. As described in ”Solving polynomial systems via homotopy continuation ... transitive monodromy action of a suitable covering map...

MHS
 Referenced in 1 article
[sw31594]
 finite period map and Galois theory of supercongruences. A period is a complex number arising ... finitely many inequalities between polynomials with rational coefficients. Although periods are typically transcendental numbers, there ... construct an analog of the motivic period map in the setting of supercongruences...

TERMINATOR
 Referenced in 3 articles
[sw06692]
 general polynomials and assignments are special polynomial mappings. We then propose some sufficient criteria ... mechanically implementable in spite of considerably high complexity. Thereby a series of strong and exact...

nonlinear_pseudoabscissa
 Referenced in 4 articles
[sw28497]
 Bullet a large matrix, Bullet a matrix polynomial, Bullet a delay eigenvalue problem ... restricting the domains of the linear maps associated with the matrices involved to small ... relies on computing only singular values of complex matrices. Hence, the algorithm does not require...

TecLines
 Referenced in 0 articles
[sw15835]
 lineaments in remote sensing data. Geologic lineament mapping is a very important issue ... spatial filtering, tensor voting, Hough transformation, and polynomial fitting. Due to differences in the mathematical ... robustness of the approach in a complex area in the northeast of Afghanistan using ... algorithms, as well as a published fault map of the study area...

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

ALBERT
 Referenced in 81 articles
[sw00025]
 ALBERT  Software for scientific computations and applications. Adaptive...

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

Apron
 Referenced in 66 articles
[sw00045]
 Apron: a library of numerical abstract domains for...

ATLAS
 Referenced in 195 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

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

BoomerAMG
 Referenced in 144 articles
[sw00086]
 BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

CASA
 Referenced in 88 articles
[sw00108]
 CASA is a specialpurpose system for computational...

CGAL
 Referenced in 337 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CHABIS
 Referenced in 18 articles
[sw00119]
 Algorithm 666. CHABIS: A mathematical software package for...

CLIFFORD
 Referenced in 73 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

CoCoA
 Referenced in 605 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1753 articles
[sw00161]
 Coq is a formal proof management system. It...