
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 ... energyconserving RungeKutta 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...

SBMLSAT
 Referenced in 7 articles
[sw21897]
 biochemical processes. Systems biology markup language (SBML) has become a wellknown platform for coding ... sensitivity analyses using multiparametric 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ínVaquero ... algorithms when compared to other wellknown secondorder 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 wellknown and already solved PDE is considered ... this paper, we use a Computer Algebra System (Cas) in order to find the solution...

RULES3EXT
 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 wellknown 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 partialwaves along with boundary conditions imposed ... known, coding the required matrix formation, inversion, and analysis for general multilayered 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]
 wellknown 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 LogicoMetaphysica 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 runtime. In Trojan attacks ... predictiona 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 partiallyautomated particle selection. Selection of particle images ... produce highcontrast images, it is well known in the cryoEM 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...