• QPmR

  • Referenced in 4 articles [sw07640]
  • quasi-polynomial located in a given region of the complex plane. The root-finding ... task is based on mapping the quasi-polynomial in the complex plane. Consequently, utilizing spectrum...
  • GANITH

  • Referenced in 9 articles [sw10142]
  • solution techniques using multi-polynomial 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...
  • ADOL-C

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