
MinRes
 Referenced in 39 articles
[sw09350]
 eddy current optimal control problems in unbounded domains. This work is devoted to distributed optimal ... multiharmonic eddy current problems in unbounded domains. We apply a multiharmonic approach to the optimality...

TREX
 Referenced in 47 articles
[sw01388]
 integer counters and finitedomain variables, and communicating through unbounded lossy FIFO channels and shared...

CEDRES++
 Referenced in 10 articles
[sw18056]
 numerical solutions for equilibrium problems in unbounded domains. We formulate a new Newton method...

SchwarzChristoffel
 Referenced in 239 articles
[sw00833]
 interiors or exteriors of possibly unbounded polygons. Computations involving these maps generally require a computer ... disk, halfplane, strip, and rectangle domains to polygon interiors, and from the disk...

libDDD
 Referenced in 8 articles
[sw04096]
 saturation style algorithms; A priori unbounded integer domain variables; Rich expressivity with equivsplit mechanism...

ADITU
 Referenced in 1 article
[sw42363]
 Helmholtz equation in bounded and unbounded domains. This work describes a meshfree collocation formulation ... coupling among nonhomogeneous bounded and unbounded fluid domains. The proposed formulations use series ... pressure in any bounded or unbounded nonspherical domain. The accuracy, efficiency and robustness...

Unbound
 Referenced in 4 articles
[sw22613]
 Binders unbound. mplementors of compilers, program refactorers, theorem provers, proof checkers, and other systems that ... paper, we present a new domainspecific language, Unbound, for specifying binding structure. Our language ... Haskell library implementing an embedded domain specific language (EDSL). By using Haskell type constructors...

FRIDA
 Referenced in 1 article
[sw41714]
 efficiently model the equilibrium problem in unbounded domains by discretizing only the plasma region...

FLUPS
 Referenced in 3 articles
[sw38050]
 fully unbounded boundary conditions for the Poisson equation on rectangular domains with uniform resolution. FLUPS...

Kuai
 Referenced in 2 articles
[sw34182]
 order reduction techniques specific to the SDN domain that help reduce the state space dramatically ... Kuai performs an automatic abstraction to handle unboundedly many packets traversing the network...

Pufferfish
 Referenced in 4 articles
[sw12982]
 allow experts in an application domain, who frequently do not have expertise in privacy ... apply the framework to protect unbounded continuous attributes and aggregate information; and we show...

BER MetaOCaml
 Referenced in 3 articles
[sw09552]
 values. It has been used for compiling domainspecific languages and automating tedious and error ... classifiers. Attempting to build code values with unbound or mistakenly bound variables (liable to occur...

Braga Method
 Referenced in 1 article
[sw42394]
 guideline for the definition of a domain predicate of which the inductive structure is compatible ... method on various concrete recursive algorithms, including unbounded search, “foldleft” from the tail...

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

ANSYS
 Referenced in 713 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

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

CXSC
 Referenced in 110 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 2.0
 Referenced in 127 articles
[sw00182]
 A C++ class library for extended scientific computing...

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

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