
VBF
 Referenced in 2 articles
[sw20673]
 data structures such as Truth Table, Trace Representation, and Algebraic Normal Form (ANF), among others ... stream ciphers as well as for hash functions can be evaluated with VBF: it obtains ... addition, operations such as equality testing, composition, inversion, sum, direct sum, bricklayering (parallel application...

SGRAPH
 Referenced in 1 article
[sw26151]
 user interface (GUI) utilities and the Windows functionalities, such as dialog boxes, menus, and toolbars ... seismological problems with builtin inversion tools. Loaded traces are maintained, processed, plotted, and saved...

Delivery
 Referenced in 1 article
[sw34728]
 prior model in Delivery is a tracelocal layer stack, with rock physics information taken ... full AVO inversion using approximate Zoeppritz equations. The likelihood function is formed from a convolutional...

Numerical Solutions
 Referenced in 0 articles
[sw06013]
 find maxima and minima (even of multivariable functions), solve nonlinear equations or systems of such ... subtract, multiply), finding the determinant, trace, inverse, adjoint, QR or LU factors, real eigenvalues ... involve not only the unknown function but also its derivatives. The solution will...

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

AXIOM
 Referenced in 172 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

BARON
 Referenced in 339 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

BIGEBRA
 Referenced in 19 articles
[sw00078]
 Clifford and Graßmann Hopf algebras via the BIGEBRA...

CASA
 Referenced in 102 articles
[sw00108]
 CASA is a specialpurpose system for computational...

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

CLIFFORD
 Referenced in 82 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

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

Coq
 Referenced in 1856 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 3068 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Gerris
 Referenced in 304 articles
[sw00341]
 Gerris is a Free Software program for the...

gmp
 Referenced in 275 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Gmsh
 Referenced in 690 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

HURRY
 Referenced in 27 articles
[sw00420]
 HURRY: An acceleration algorithm for scalar sequences and...

hypre
 Referenced in 300 articles
[sw00426]
 hypre is a software library for the solution...

ISOGAT
 Referenced in 303 articles
[sw00457]
 A tutorial 2D MATLAB code for solving elliptic...