• REDUCE

  • Referenced in 746 articles [sw00789]
  • include: expansion and ordering of polynomials and rational functions; substitutions and pattern matching...
  • MadGraph5_aMC@NLO

  • Referenced in 33 articles [sw24479]
  • leading order differential cross sections, and their matching to parton shower simulations”, arXiv ... addition to that, computations in mixed-coupling expansions and/or of NLO corrections in theories other...
  • SMERA

  • Referenced in 1 article [sw40820]
  • mixed approach for web query expansion and reformulation. Matching users’ information needs and relevant documents ... mind we propose a Semantic Mixed query Expansion and Reformulation Approach (SMERA) that uses these...
  • STrEAM

  • Referenced in 3 articles [sw38903]
  • calculates all functional supertraces which arise when matching a generic UV model onto a relativistic ... arbitrary order in the heavy mass expansion. STrEAM implements the covariant ... derivative expansion to automate the most tedious step of the streamlined functional matching prescription presented...
  • UniPROBE

  • Referenced in 3 articles [sw18504]
  • data. In this update, we describe >130% expansion of the database content, incorporation ... BLAST (blastp) tool for finding protein sequence matches in UniPROBE, the introduction of UniPROBE accession...
  • Farm

  • Referenced in 1 article [sw18734]
  • minimized by matching to an asymptotic wavefunction determined by an accelerated Gailitis expansion. The package...
  • SnippetGen

  • Referenced in 0 articles [sw29695]
  • matches, IECS improves the performance of code search by incorporating the intent for expansion...
  • Press-Sim

  • Referenced in 1 article [sw19571]
  • granular soils strength and stiffness parameters by matching finite element results to pmt data. This ... Prager failure criterion from a pressuremeter expansion curve. The approach consists of minimizing the function...
  • BEMLIB

  • Referenced in 108 articles [sw00005]
  • BEMLIB is a boundary-element software library of...
  • FIDAP

  • Referenced in 37 articles [sw00006]
  • FIDAP (A Fluid Dynamics Analysis Program). This paper...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Concepts

  • Referenced in 22 articles [sw00151]
  • The authors show how mathematical concepts can be...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GANSO

  • Referenced in 6 articles [sw00319]
  • We discuss the implementation of a number of...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Gmsh

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