
PRISM
 Referenced in 387 articles
[sw01186]
 which combines both symbolic and sparse matrix methods. PRISM has been successfully used to analyse...

SODAS
 Referenced in 55 articles
[sw00885]
 modular software in which each statistical method (symbolic objects data base, distance matrix for symbolic ... icons are linked in a chaining. A symbolic data analysis with SODAS software looks graphically ... with links the statistical methods. The top icon represents the symbolic data file ... chaining gathers a set of symbolic statistical methods applied to a specified SODAS file...

CONTENT
 Referenced in 31 articles
[sw01058]
 methods (integration, numerical continuation etcetera) with symbolic methods (e.g. symbolic derivatives) and allows (among other...

Symstra
 Referenced in 18 articles
[sw01296]
 tests using symbolic execution Objectoriented unit tests consist of sequences of method invocations. Behavior ... relevant receiverobject states and generating relevant method arguments. This paper proposes Symstra, a framework ... both test generation tasks using symbolic execution of method sequences with symbolic arguments. The paper ... defines symbolic states of objectoriented programs and novel comparisons of states. Given...

ApaTools
 Referenced in 16 articles
[sw01344]
 blocks for developing other numerical and symbolic methods in computational algebra...

REDLOG
 Referenced in 154 articles
[sw04250]
 system that provides algorithms for the symbolic manipulation of firstorder formulas over some temporarily ... theory. In contrast to theorem provers, the methods applied know about the underlying algebraic theory...

rbMIT
 Referenced in 126 articles
[sw00784]
 knowledge of both FE methods and RB methods, (ii) Matlab® Version 6.5 or newer ... some reasonably fast platform, (iii) the Matlab® symbolic, pde, and optimizaton toolkits, and (iv) agreement...

CUTE
 Referenced in 58 articles
[sw00177]
 approach used builds on previous work combining symbolic and concrete execution, and more specifically, using ... method to represent and track constraints that capture the behavior of a symbolic execution ... inputs. Finally, CUTE, a tool implementing the method is described together with the results...

APMC
 Referenced in 27 articles
[sw11483]
 Approximate probabilistic model checking. Symbolic model checking methods have been extended recently to the verification...

UPPAAL TIGA
 Referenced in 38 articles
[sw12913]
 optimizations of the basic symbolic algorithm, as well as methods for obtaining timeoptimal winning...

AHFinderDirect
 Referenced in 24 articles
[sw04972]
 grid points) by Newton’s method, using a `symbolic differentiation’ technique to compute the Jacobian...

DISCOVERER
 Referenced in 39 articles
[sw07719]
 method for those problems. But the general method usually has low efficiency for specific problems ... symbolic approach, one has to combine special techniques with the general method. Based ... partly implemented them as a real symbolic computation tool in Maple named DISCOVERER. In this...

SCR
 Referenced in 18 articles
[sw06939]
 method Although the Software Cost Reduction (SCR) method has been successfully used in many projects ... well defined. The symbols used in this method are ambiguous, especially those that serve ... events in firstorder logic via two symbols pred and succ. This slight extension ... improve the toolset supporting the SCR method, just to name a few. Moreover, our extension...

MBSymba
 Referenced in 9 articles
[sw04274]
 symbolic approach for automatic generation of the equations of motion of multibody systems This paper ... describes a collection of methods and procedures for the automatic generation of the equations ... Algebra Software. A brief review of existing symbolic multibody systems is given, and advantages ... discussed. Then, a set of methods for symbolic modeling of multibody systems is explained...

AUTOSIM
 Referenced in 7 articles
[sw01171]
 automatically formulate efficient. Objectoriented symbolic computation methods are developed in this paper for describing ... vehicles. Computer data objects are defined for symbolically representing (1) vector/dyadic algebraic expressions, (2) physical ... simulation code. With more powerful symbolic manipulation capabilities, all techniques normally employed by human analysts ... deal with general vector notation. The methods are demonstrated for an example threedimensional vehicle...

ILUT
 Referenced in 127 articles
[sw08734]
 incomplete factorization preconditioners. The first uses a symbolic factorization approach in which a level ... certain threshold. The second class of methods consists of techniques derived from modifications...

Neweul
 Referenced in 22 articles
[sw04246]
 multibody system method. It comprises the computation of the symbolic equations of motion...

PDESpecialSolutions
 Referenced in 60 articles
[sw12342]
 Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs. Algorithms ... presented for the tanh and sechmethods, which lead to closedform solutions of nonlinear ... survey is given of related algorithms and symbolic software to compute exact solutions of nonlinear...

ConservationLawsMD
 Referenced in 6 articles
[sw12340]
 Symbolic computation of conservation laws for nonlinear partial differential ... equations in multiple space dimensions. A method for symbolically computing conservation laws of nonlinear partial ... linear algebra. The steps of the method are illustrated using the ZakharovKuznetsov and Kadomtsev ... Petviashvili equations as examples.The method is algorithmic and has been implemented in Mathematica. The software...