• ILUT

  • Referenced in 163 articles [sw08734]
  • factorization preconditioners. The first uses a symbolic factorization approach in which a level of fill...
  • DISCOVERER

  • Referenced in 56 articles [sw07719]
  • bottleneck of program verification with a symbolic approach, one has to combine special techniques with ... partly implemented them as a real symbolic computation tool in Maple named DISCOVERER. In this...
  • DifferentialGeometry

  • Referenced in 28 articles [sw07593]
  • combined with dramatic recent improvements in symbolic approaches to solving algebraic and differential equations, have...
  • NumericalAlgebraicGeometry

  • Referenced in 23 articles [sw12155]
  • alternative to the classical symbolic approaches of computational algebraic geometry. We present a package, whose ... primary purpose is to interlink the existing symbolic methods of Macaulay2 and the powerful engine...
  • Lugares

  • Referenced in 19 articles [sw09861]
  • dynamic geometry paradigm and a symbolic approach to automatic discovery in geometry. Through this link...
  • MBSymba

  • Referenced in 11 articles [sw04274]
  • symbolic approach for automatic generation of the equations of motion of multibody systems This paper ... Algebra Software. A brief review of existing symbolic multibody systems ... given, and advantages and disadvantages of symbolic approaches compared with numerical ones are discussed. Then...
  • CUTE

  • Referenced in 65 articles [sw00177]
  • inputs. The approach used builds on previous work combining symbolic and concrete execution, and more...
  • ROBOTRAN

  • Referenced in 8 articles [sw16045]
  • systems, another interesting feature of the symbolic approach appears when dealing with enlarged multibody models ... analyses like control and optimization. Indeed, since symbolic multibody programs clearly distinguish the modeling phase...
  • SIGREF

  • Referenced in 15 articles [sw00859]
  • most popular bisimulations. Our approach is implemented symbolically using BDDs, which enables the handling ... experimental evidence of the viability of this approach by presenting computational results for many bisimulations...
  • SMS

  • Referenced in 29 articles [sw01085]
  • formulas needed in nonlinear finite element analysis. Symbolic generation of the characteristic arrays of nonlinear ... approach, implemented in SMS, avoids this problem by combining several techniques: symbolic capabilities of Mathematica ... pattern matching technique. SMS translates the derived symbolic formulas into an efficient compiled language (FORTRAN ... presented. Efficiency of the new approach is compared with the efficiency of the manually written...
  • AceFEM

  • Referenced in 56 articles [sw10820]
  • field problems. The package explores advantages of symbolic capabilities of Mathematica while maintaining numerical efficiency ... commercial finite element environments. The element oriented approach enables easy creation of customized finite element...
  • ATGen

  • Referenced in 11 articles [sw07275]
  • symbolic execution. After reviewing the symbolic execution technique, approaches for the resolution of the technical...
  • Theano

  • Referenced in 87 articles [sw05894]
  • numpy, transparent use of a GPU, efficient symbolic differentiation, speed and stability optimizations, dynamic ... investigations since 2007. But it is also approachable enough to be used in the classroom...
  • APMC

  • Referenced in 28 articles [sw11483]
  • Approximate probabilistic model checking. Symbolic model checking methods have been extended recently to the verification ... examples to demonstrate the effectiveness of our approach...
  • AceGen

  • Referenced in 36 articles [sw10821]
  • approach, implemented in AceGen, avoids the problem of expression swell by combining: symbolic and algebraic...
  • na25

  • Referenced in 6 articles [sw11492]
  • geometric design (1993; Zbl 0788.68002)]. This approach avoids symbolic manipulations and is completely numerical ... stability with respect to the Manocha-Demmel approach based on eigenvalue computation. In fact...
  • VeriFast

  • Referenced in 62 articles [sw07705]
  • This note describes a separation-logic-based approach for the specification and verification of safety ... recursive functions for specification. Verification proceeds by symbolic execution using an abstract representation of memory...
  • Snugglebug

  • Referenced in 7 articles [sw13707]
  • Snugglebug: a powerful approach to weakest preconditions. Symbolic analysis shows promise as a foundation ... test generation. This paper addresses demand-driven symbolic analysis for object-oriented programs and frameworks ... static analysis. We present an approach based on interprocedural backwards propagation of weakest preconditions ... graph construction, where call graph construction and symbolic analysis are interleaved. With this technique, call...
  • MVPoisson

  • Referenced in 4 articles [sw18574]
  • symbolic computation approach to a problem involving multivariate Poisson distributions. Multivariate Poisson random variables subject ... Wilf-Zeilberger theory and associated algorithms. A symbolic computation package has been developed...
  • VERIFAS

  • Referenced in 4 articles [sw33292]
  • performance is due to a novel symbolic representation approach and a family of specialized optimizations...