• 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 built-in inversion tools. Loaded traces are maintained, processed, plotted, and saved...
  • Delivery

  • Referenced in 1 article [sw34728]
  • prior model in Delivery is a trace-local 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 special-purpose 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...