
ThermoCalc
 Referenced in 3 articles
[sw27313]
 wide reputation as the best and most powerful software package for thermodynamic calculations ... solidus; Driving force for phase transformations; Phase diagrams (binary, ternary and multicomponent); Solidification applying...

kLog
 Referenced in 4 articles
[sw10403]
 problems declaratively. It builds on simple but powerful concepts: learning from interpretations, entity/relationship data modeling ... graph  in particular, a grounded entity/relationship diagram. Subsequently, a choice of graph kernel defines...

BondSim
 Referenced in 1 article
[sw17841]
 really welcome to the BondSim a powerful modeling and simulation framework. Using BondSim ... Graphs and continuous and discrete time block diagram models...

ITEM ToolKit
 Referenced in 3 articles
[sw12549]
 ToolKit’s Fault Tree module offers flexible, powerful and easy ways for constructing Fault Trees ... ITEM ToolKit will construct the Fault Tree Diagram for you. Or, you can build your...

lmomco
 Referenced in 5 articles
[sw14732]
 select TLM ratios for TLmoment ratio diagram construction. LMs of residual (resid.) and reversed ... censoring (RC) encompasses: Asymmetric (Asy.) Exponential (Exp.) Power [L], Asy. Triangular [L], Cauchy...

MOLE
 Referenced in 2 articles
[sw18622]
 MOLE: A Voronoi DiagramBased Explorer of Molecular Channels, Pores, and Tunnels. We have developed ... algorithm performs well. MOLE is thus a powerful tool for exploring large molecular channels, complex...

RAMpath
 Referenced in 2 articles
[sw27838]
 display path tracing rules through path diagrams and decompose total effects into their respective direct ... system. Starting version 0.4, RAMpath can conduct power analysis for both univariate and bivariate latent...

Graphillion
 Referenced in 1 article
[sw32974]
 graphs, based on zerosuppressed binary decision diagrams. Graphillion is not based on a traditional ... ignoring vertices, which allows us to employ powerful tools of a “family of sets...

ADmoND
 Referenced in 1 article
[sw31429]
 Toggle aims for keeping or discarding obtained diagrams which makes ADmoND a versatile tool which ... that activate calculations of equilibrium coverage and power spectral densities of stochastic variables ... typical Lorentzian spectra in the same diagram. This is beta version, some functions may happen...

Grapher
 Referenced in 2 articles
[sw13292]
 graphing package available. This easytouse, powerful, dynamic program will help you create superior ... line, scatter, class scatter, or bubble ternary diagrams. Display highlowclose, candlestick, or stiff...

GSVD
 Referenced in 1 article
[sw35769]
 value decomposition (GSVD, a.k.a. ”SVD triplet”, ”duality diagram” approach) provides a unified strategy and basis ... least squares). Though the GSVD is ubiquitous, powerful, and exible, it has very few implementations...

pycalphad
 Referenced in 1 article
[sw27261]
 library for designing thermodynamic models, calculating phase diagrams and investigating phase equilibria using the CALPHAD ... thermodynamic modeling by providing a flexible yet powerful interface for manipulating CALPHAD data and models...

GRACE
 Referenced in 3 articles
[sw11987]
 automated package for the calculation of Feynman diagrams. These blocks include the generation and creation ... when it comes to devising efficient and powerful algorithms for the reduction of the tensorial...

HOARD ATINF
 Referenced in 2 articles
[sw28890]
 techniques), some possibilities of discovering lemmata (using diagrams), handling standard theories in geometry such ... qualitatively our approach with that of a powerful prover described in a recent paper...

GEMC
 Referenced in 1 article
[sw07064]
 Carlo simulation Monte Carlo simulation provides a powerful tool for understanding and exploring thermodynamic phase ... method by computing fluid demixing phase diagrams, and analyse the dependence of fluctuations on system...

Numerical Solutions
 Referenced in 0 articles
[sw06013]
 singlevariable or multivariable functions by finite power, trigonometric or mixed series. Continuous functions ... surface, space curve or scatter diagram is unable to provide it, but the STEREOGRAPHER does ... programs of other collections. For instance, the Power Series and Trigonometric Series programs...

ACL2
 Referenced in 277 articles
[sw00060]
 ACL2 is both a programming language in which...

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

Cinderella
 Referenced in 146 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

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