• ITPACK

  • Referenced in 47 articles [sw00459]
  • emphasis is on linear systems arising in the solution of partial differential equations by discretizations ... development of a computer package of subroutines known as ITPACK 2C which is available...
  • ETPS

  • Referenced in 161 articles [sw06302]
  • theorem proving include hardware and software verification, partial automation of various mathematical activities, promoting development ... disciplines, deductive information systems for these disciplines, expert systems which can reason, and certain aspects ... facilitates constructing new formulas from others already known to TPS, and a library facility...
  • LIMbook

  • Referenced in 59 articles [sw14520]
  • differential systems named conservative problems, particularly Hamiltonian systems. Assuming only basic knowledge of numerical quadrature ... energy-conserving Runge-Kutta methods, also known as Hamiltonian boundary value methods (HBVMs). The authors ... handle the numerical solution of Hamiltonian partial differential equations (PDEs) and explores extensions...
  • TPS

  • Referenced in 75 articles [sw00973]
  • theorem proving include hardware and software verification, partial automation of various mathematical activities, promoting development ... disciplines, deductive information systems for these disciplines, expert systems which can reason, and certain aspects ... facilitates constructing new formulas from others already known to TPS, and a library facility...
  • DeepONet

  • Referenced in 50 articles [sw42093]
  • universal approximators of continuous functions, a less known and perhaps more powerful result is that ... types of operators, i.e., dynamic systems and partial differential equations, and demonstrate that DeepONet significantly...
  • SBML-SAT

  • Referenced in 7 articles [sw21897]
  • biochemical processes. Systems biology markup language (SBML) has become a well-known platform for coding ... sensitivity analyses using multi-parametric sensitivity analysis, partial rank correlation coefficient, SOBOL’s method ... addition to its ability to handle systems with discontinuous events and intuitive graphical user interface...
  • SERK2

  • Referenced in 12 articles [sw10426]
  • solution of large and complicated systems of nonlinear equations, and they are especially suited ... lines of two and three dimensional parabolic partial differential equations. In J. Martín-Vaquero ... algorithms when compared to other well-known second-order methods such as RKC and ROCK2...
  • SFOPDES

  • Referenced in 1 article [sw35433]
  • equations solver with a computer algebra system. Partial Differential Equations (PDE) appear in multiple Physic ... modeling an application, the use of well-known and already solved PDE is considered ... this paper, we use a Computer Algebra System (Cas) in order to find the solution...
  • RULES3-EXT

  • Referenced in 2 articles [sw03290]
  • system is able to fire rule(s) partially if any of the extracted rules cannot ... algorithm has been tested on well-known data sets and the efficiency was found...
  • GENETAG

  • Referenced in 5 articles [sw35526]
  • scored for term similarity to documents with known gene names, and 10K high ... gene/protein names it contained, allowing for partial matching with semantic constraints. Semantic constraints are rules ... measure of the performance of an NER system than unrestricted partial matching. Conclusion: The annotation...
  • ElasticMatrix

  • Referenced in 1 article [sw33497]
  • layer is represented by a sum of partial-waves along with boundary conditions imposed ... known, coding the required matrix formation, inversion, and analysis for general multi-layered systems...
  • choix

  • Referenced in 2 articles [sw26417]
  • rating system used to rank chess players. Partial rankings: when the data consists of rankings ... node in a network, the model is known as the Network Choice Model. choix makes...
  • MiniTab

  • Referenced in 2 articles [sw26324]
  • already known constants (there are no function symbols allowed in this system ... problem of having no function symbols is partially overcome...
  • TOCP

  • Referenced in 1 article [sw30416]
  • well-known commercial software for analysis and design of structural systems that is equipped with ... OAPI feature. The code is partially based on the 99 and 88 line codes written...
  • PLM

  • Referenced in 3 articles [sw38031]
  • Representation and Partial Automation of the Principia Logico-Metaphysica in Isabelle/HOL. We present an embedding ... representation in functional type theory is known to be challenging. Nevertheless we arrive ... construct an implementation of the deductive system of PLM which allows to automatically and interactively...
  • Februus

  • Referenced in 1 article [sw41289]
  • Trojan attacks on Deep Neural Network (DNN) systems at run-time. In Trojan attacks ... prediction---a target determined by and only known to the attacker. Februus sanitizes the incoming ... realized the first defense against the advanced partial Trojan attack. To the best...
  • TMaCS

  • Referenced in 1 article [sw19731]
  • hybrid template matching and classification system for partially-automated particle selection. Selection of particle images ... produce high-contrast images, it is well known in the cryo-EM community that small...
  • BCYCLIC

  • Referenced in 4 articles [sw00070]
  • A block tridiagonal matrix is factored with minimal...
  • FLIPS

  • Referenced in 7 articles [sw00299]
  • FLIPS (Fortran Linear Inverse Problem Solver) is a...
  • gmp

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