• AceFEM

  • Referenced in 75 articles [sw10820]
  • field problems. The package explores advantages of symbolic capabilities of Mathematica while maintaining numerical efficiency ... automation of the Finite Element Method...
  • AceGen

  • Referenced in 42 articles [sw10821]
  • AceFEM, Matlab©, FEAP©, ABAQUS©, ... ) from the same symbolic description. AceGen alone does NOT include examples ... automation of the Finite Element Method...
  • SuiteSparseQR

  • Referenced in 45 articles [sw07348]
  • LAPACK and the multithreaded BLAS enable the method to obtain high performance on multicore architectures ... Intel’s Threading Building Blocks library. The symbolic analysis and ordering phase pre-eliminates singletons ... within each frontal matrix using Heath’s method. While Heath’s method is not always...
  • MCCEFF

  • Referenced in 5 articles [sw06179]
  • global version of the response function method and symbolic integral calculation of basic probabilistic moments ... applied in conjunction with the effective modules method. It originates from the generalized stochastic perturbation...
  • BCEL

  • Referenced in 13 articles [sw07884]
  • which contain all the symbolic information of the given class: methods, fields and byte code...
  • DifferentialEquations.jl

  • Referenced in 58 articles [sw23910]
  • units, built-in multithreading and parallelism, and symbolic calculation of Jacobians. Integrated into the package ... researchers to develop and distribute their own methods. Together, these features build a highly extendable...
  • CliffMath

  • Referenced in 23 articles [sw04955]
  • unified manner, with significant emphasis on symbolic computations and an eye toward applications in computer ... science. Presented in this book are new methods, built on the algebraic framework of Clifford ... book, together with packages for performing symbolic computations...
  • Wolf

  • Referenced in 2 articles [sw01299]
  • hunter for concurrent software using formal methods Wolf is a “push-button” model checker ... code. Currently, Wolf uses BDD-based symbolic methods integrated with a guided search framework. According...
  • NumericalHilbert

  • Referenced in 2 articles [sw20104]
  • alternative in this setting to purely symbolic methods such as standard bases. In particular, these...
  • CliffOC

  • Referenced in 20 articles [sw04957]
  • unified manner, with significant emphasis on symbolic computations and an eye toward applications in computer ... science. Presented in this book are new methods, built on the algebraic framework of Clifford ... book, together with packages for performing symbolic computations...
  • SemFix

  • Referenced in 5 articles [sw17449]
  • present an automated repair method based on symbolic execution, constraint solving and program synthesis ... repair code. We compare our method with recently proposed genetic programming based repair...
  • TRACER

  • Referenced in 12 articles [sw09484]
  • symbolic paths due to unbounded loops. TRACER computes interpolants (using weakest preconditions among other methods...
  • ATGen

  • Referenced in 11 articles [sw07275]
  • symbolic execution technique engendered when it was first proposed as a method for automatic test ... generator based on constraint logic programming and symbolic execution. After reviewing the symbolic execution technique...
  • Jnurbs

  • Referenced in 8 articles [sw08871]
  • kernel provides tools to symbolically describe complex multi-physics problems, methods to manipulate the NURBS ... iterative optimization solver. The problems are symbolically defined using a newly developed high-level, natural...
  • Lingva

  • Referenced in 3 articles [sw13645]
  • program properties using the recently introduced symbol elimination method. We present implementation details and report...
  • SHARPE

  • Referenced in 43 articles [sw03100]
  • SHARPE, (Symbolic Hierarchical Automated Reliability and Performance Evaluator) is a tool for specifying and analyzing ... that provides a specification language and solution methods for most of the commonly used model...
  • PEORL

  • Referenced in 5 articles [sw29437]
  • back to symbolic knowledge to improve planning. This method leads to rapid policy search...
  • Odyssee

  • Referenced in 32 articles [sw12533]
  • Odyssée system manipulates fortran programs as symbolic objects. It is an open system built ... this purpose. The use of a variational method to perform data assimilation requires the computation...
  • Rex

  • Referenced in 8 articles [sw11888]
  • symbolic regular expression explorer. Constraints in form regular expressions over strings are ubiquitous. They occur ... introduce a method and a tool called Rex, for symbolically expressing and analyzing regular expression...
  • Pfaffian

  • Referenced in 6 articles [sw10808]
  • Numeric and symbolic evaluation of the Pfaffian of general skew-symmetric matrices. The evaluation ... some of them a direct method is preferable to using the determinantal formula. We discuss ... pivoting strategy unnecessary. The second method considered is based on Aitken’s block diagonalization formula ... symbolic evaluations of the Pfaffian. Fortran subroutines (FORTRAN 77 and 90) implementing both methods...