• Thermo-Calc

  • 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 multi-component); 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 TL-moment 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 Diagram-Based 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 zero-suppressed 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 easy-to-use, powerful, dynamic program will help you create superior ... line, scatter, class scatter, or bubble ternary diagrams. Display high-low-close, 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]
  • single-variable 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...