
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, generalpurpose, nonlinear finite element analysis solution to accurately simulate ... behaviors and transient environmental conditions makes it ideal to solution for your complex design problems...

Flow3D
 Referenced in 17 articles
[sw06205]
 FLOW3D is a powerful and highlyaccurate CFD software that gives engineers valuable insight ... freesurface flows, FLOW3D 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, generalpurpose, 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 generalpurpose distributed applications...

StableBBasisNBM5
 Referenced in 4 articles
[sw06680]
 Numerical Border Basis of ideal of points This function is implemented in CoCoALib ... record containing a factorclosed set of powerproducts 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 ... opensource C++ library dedicated to ideal lattice cryptography in the widelyspread 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 nontrivial 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...