• Macaulay2

  • Referenced in 1023 articles [sw00537]
  • high level interpreted user language with a powerful debugger supporting the creation of new classes ... sheaves on projective varieties, primary decomposition of ideals, integral closure of rings, and more. Computer...
  • AMPL

  • Referenced in 430 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling language for linear and nonlinear optimization problems ... AMPL’s flexibility and convenience render it ideal for rapid prototyping and model development, while...
  • GMRFLib

  • Referenced in 145 articles [sw06641]
  • fast and exact simulation.par This is an ideal tool for researchers and students in statistics ... geography, and ecology, introducing them to this powerful statistical inference method...
  • Lua

  • Referenced in 26 articles [sw10207]
  • language. Lua combines simple procedural syntax with powerful data description constructs based on associative arrays ... management with incremental garbage collection, making it ideal for configuration, scripting, and rapid prototyping...
  • GAUSS

  • Referenced in 41 articles [sw00322]
  • computationally intensive tasks, the GAUSS system is ideally suited for the researcher who does ... mathematical “packages” are not flexible or powerful enough to perform complicated analysis or to work...
  • MARC

  • Referenced in 32 articles [sw04228]
  • Marc is a powerful, general-purpose, nonlinear finite element analysis solution to accurately simulate ... behaviors and transient environmental conditions makes it ideal to solution for your complex design problems...
  • Flow-3D

  • Referenced in 17 articles [sw06205]
  • FLOW-3D is a powerful and highly-accurate CFD software that gives engineers valuable insight ... free-surface flows, FLOW-3D is the ideal CFD software to use in your design...
  • TableCurve 3D

  • Referenced in 2 articles [sw13179]
  • combines a powerful surface fitter with the ability to find the ideal equation to describe ... find the one that provides the ideal fit — instantly! What once could take days ... takes minutes, with a much more powerful result...
  • MSC.MARC

  • Referenced in 12 articles [sw08739]
  • Marc is a powerful, general-purpose, nonlinear finite element analysis solution to accurately simulate ... behaviors and transient environmental conditions makes it ideal to solution for your complex design problems...
  • DifferentialAlgebra

  • Referenced in 4 articles [sw13540]
  • polynomial differential equations and computing formal power series solutions for them. The underlying theory ... BelongsTo for deciding membership to a differential ideal, and ReducedForm for reducing a system with ... another one. The command for computing formal power series solutions to differential equation systems...
  • Mozart

  • Referenced in 17 articles [sw04759]
  • result, Mozart is unequalled in expressive power and functionality. Mozart has an interactive incremental development ... network transparent distribution and is an ideal platform for both general-purpose distributed applications...
  • StableBBasisNBM5

  • Referenced in 4 articles [sw06680]
  • Numerical Border Basis of ideal of points This function is implemented in CoCoALib ... record containing a factor-closed set of power-products QB and a list of almost ... fact a quotient basis of the ideal of points, and in this case a border...
  • NFLlib

  • Referenced in 1 article [sw14675]
  • guarantees, its simplicity and versatility make this powerful theoretical tool a promising competitive alternative ... open-source C++ library dedicated to ideal lattice cryptography in the widely-spread polynomial ring ... power of 2. The library combines algorithmic optimizations (chinese remainder theorem, optimized number theoretic transform ... very favorably to other libraries used in ideal lattice cryptography implementations (namely the generic number...
  • MOFLON

  • Referenced in 8 articles [sw06922]
  • successively transformed into more specific models, ideally resulting in the desired system. To this ... visual and textual notations and offers powerful modularization concepts. Using MOFLON, developers can generate code...
  • ELITE

  • Referenced in 2 articles [sw20569]
  • step tokamaks because of the high transient power loads which they can impose on divertor ... efficient way of calculating the edge ideal magnetohydrodynamic stability properties of tokamaks. This paper describes...
  • Fathon

  • Referenced in 1 article [sw08389]
  • friendly interface and powerful capabilities of Fathom Dynamic Data Software allow you to freely ... excited about data exploration! Fathom 2 is ideal dynamic data and statistics software for secondary...
  • Scientific Notebook

  • Referenced in 3 articles [sw06021]
  • Scientific Notebook Version 5.5 is ideal for reports, homework, and exams. With Scientific Notebook, creating ... EasyThe software is simple to use, yet powerful enough to facilitate teaching, communicating, learning...
  • VIPR

  • Referenced in 2 articles [sw18034]
  • MILP solution algorithms, the ideal form of such a certificate is not entirely clear. This ... using a limited number of simple yet powerful inference rules. We present a supplementary verification...
  • Chordality

  • Referenced in 1 article [sw20560]
  • only if I is the edge ideal of a non-trivial graph G, such that ... example the following theorem explains the power of chordal graphs in combinatorial commutative algebra...
  • Bioclipse

  • Referenced in 2 articles [sw21445]
  • Eclipse, Bioclipse 2 leverages on today’s powerful desktop computers for providing a responsive user ... extensible architecture make Bioclipse 2 ideal for interdisciplinary and integrative research.Bioclipse 2 is released under...