• LAPACK

  • Referenced in 1702 articles [sw00503]
  • linear equations, least-squares solutions of linear systems of equations, eigenvalue problems, and singular value ... Schur) are also provided, as are related computations such as reordering of the Schur factorizations ... data instead of doing useful floating-point operations. LAPACK addresses this problem by reorganizing ... BLAS operations, their use promotes high efficiency on many high-performance computers, particularly if specially...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • system for Computations in Commutative Algebra. It is able to perform simple and sophisticated operations ... rational functions). For example, it can readily compute Grobner bases, syzygies and minimal free resolution ... high-level programming language. For convenience, the system offers a textual interface, an Emacs mode...
  • PERL

  • Referenced in 270 articles [sw01225]
  • several other operating systems, and provides a portable model of computing across diverse architectures. (wikipedia...
  • SciPy

  • Referenced in 775 articles [sw06293]
  • Together, they run on all popular operating systems, are quick to install, and are free ... need to manipulate numbers on a computer and display or publish the results, give SciPy...
  • TensorFlow

  • Referenced in 629 articles [sw15170]
  • graphs. Nodes in the graph represent mathematical operations, while the graph edges represent the multidimensional ... flexible architecture allows you to deploy computation to one or more CPUs or GPUs ... deep neural networks research, but the system is general enough to be applicable...
  • LiE

  • Referenced in 165 articles [sw01075]
  • their Weyl groups and root systems. LiE does not compute directly with elements ... groups and algebras themselves; it rather computes with weights, roots, characters and similar objects. Some ... distinguished coset representatives and much more. These operations have been compiled into the program which ... about currently valid definitions and values. Computer algebra system...
  • LEDA

  • Referenced in 263 articles [sw00509]
  • data structures, graph and network algorithms, and computational geometry -- LEDA is the first library ... definitive account of how the system operates and how it can be used. The authors ... researchers in algorithms, data structures and computational geometry...
  • CESAR

  • Referenced in 161 articles [sw08510]
  • validation of the algorithmic description of a system of communicating sequential processes with respect ... time logic, the temporal operators of which can be computed iteratively as fixed points ... monotonic predicate transformers. The verification of a system consists in obtaining by automatic translation...
  • YACC

  • Referenced in 67 articles [sw26931]
  • Compiler-Compiler) is a computer program for the Unix operating system developed by Stephen...
  • MuPAD

  • Referenced in 139 articles [sw00606]
  • engine, a language that is optimized for operating on symbolic math expressions, and an extensive ... access to the complete MuPAD language. Computer algebra system...
  • UMFPACK

  • Referenced in 415 articles [sw00989]
  • analyzing a sparse matrix, computing the numerical factorization, solving a system with the LU factors ... UMFPACK is incorporated as a built-in operator in MATLAB...
  • BOINC

  • Referenced in 55 articles [sw16798]
  • system that makes it easy for scientists to create and operate public-resource computing projects...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • computer aided design and modeling, geographic information systems, molecular biology, medical imaging, robotics and motion ... projects using CGAL web page. The Computational Geometry Algorithms Library (CGAL), offers data structures ... diagrams, and segment Voronoi diagrams), polygons (Boolean operations, offsets, straight skeleton), polyhedra (Boolean operations), arrangements...
  • Jason

  • Referenced in 65 articles [sw06187]
  • systems that are capable of operating in environments previously considered too unpredictable for computers ... suitable for the implementation of reactive planning systems according to the Belief-Desire-Intention...
  • Kan

  • Referenced in 46 articles [sw04929]
  • system for computing in the ring of differential operators D (and difference operators...
  • PHCpack

  • Referenced in 236 articles [sw00705]
  • methods are reliable and powerful methods to compute numerically approximations to all isolated complex solutions ... accomplished on exploiting structure in a polynomial system, in particular its sparsity. In this paper ... package PHC is described. The main program operates in several modes, is menu-driven...
  • ANUPQ

  • Referenced in 10 articles [sw06682]
  • should work on any Unix compatible operating system. Computer algebra system...
  • ADCIRC

  • Referenced in 47 articles [sw06681]
  • ADCIRC is a system of computer programs for solving time dependent, free surface circulation ... larval transport studies, (v) near shore marine operations...
  • gmp

  • Referenced in 282 articles [sw00363]
  • free library for arbitrary precision arithmetic, operating on signed integers, rational numbers, and floating point ... research, Internet security applications, algebra systems, computational algebra research, etc. GMP is carefully designed...
  • Janet

  • Referenced in 37 articles [sw07776]
  • Blinkov for computing Janet bases and Janet-like Gröbner bases for linear systems of partial ... dealing with differential expressions and differential operators. A generic linearization ... linear system of partial differential equations can be computed. Some procedures translate differential expressions into ... Weyl algebra representing ordinary differential operators in characteristic zero whose coefficients are rational functions...