-
two loop amplitudes
- Referenced in 25 articles
[sw25063]
- directly construct local, manifestly dual-conformally invariant formulae for all two-loop scattering amplitudes...
-
SIMS
- Referenced in 2 articles
[sw21778]
- invariant with molecular rotation and stable under changes in the molecular conformation, and which...
-
iJADE Surveillant
- Referenced in 2 articles
[sw24856]
- Invariant human face identification based on the Elastic Graph Dynamic Link Model. To conform ... intelligent human face identification. An overall correct (invariant) facial recognition rate of over...
-
Cormorant
- Referenced in 2 articles
[sw42205]
- that overall the network is fully rotationally invariant. Furthermore, the non-linearity in our network ... learning molecular Potential Energy Surfaces from conformational geometries in the MD-17 dataset...
-
JavaCOP
- Referenced in 1 article
[sw30241]
- order to detect errors and enforce strong invariants in programs. These type systems range from ... specific ones, such as a checker for conformance to a library’s usage rules...
-
Forest
- Referenced in 1 article
[sw11313]
- specify the expected structure, attributes, and invariants of filestores. Forest generates loading and storing functions ... which the structures on the disk conform to the specification, making error detection easy...
-
ColDICE
- Referenced in 2 articles
[sw18060]
- representing the phase-space sheet with a conforming, self-adaptive simplicial tessellation of which ... constrained by measurements of local Poincaré invariants. Resolution of Poisson equation is performed using...
-
MOTIF-EM
- Referenced in 1 article
[sw16892]
- such as chaperonins, viruses, etc.) that remain conformationally conserved. As a by-product, regions ... recognition. The technique works by constructing rotationally invariant, low-dimensional representations of local regions...
-
Apron
- Referenced in 69 articles
[sw00045]
- Apron: a library of numerical abstract domains for...
-
AXIOM
- Referenced in 173 articles
[sw00063]
- Axiom is a general purpose Computer Algebra system...
-
BIGEBRA
- Referenced in 21 articles
[sw00078]
- Clifford and Graßmann Hopf algebras via the BIGEBRA...
-
Cadabra
- Referenced in 91 articles
[sw00097]
- Cadabra is a powerful computer program for the...
-
Cinderella
- Referenced in 153 articles
[sw00127]
- An Interactive Geometry Software. Besides support for dynamic...
-
CLIFFORD
- Referenced in 84 articles
[sw00131]
- CLIFFORD performs various computations in Grass mann and...
-
CoCoA
- Referenced in 654 articles
[sw00143]
- CoCoA is a system for Computations in Commutative...
-
Coq
- Referenced in 1890 articles
[sw00161]
- Coq is a formal proof management system. It...
-
Cuba
- Referenced in 77 articles
[sw00173]
- Cuba -- a library for multidimensional numerical integration. The...
-
C-XSC 2.0
- Referenced in 127 articles
[sw00182]
- A C++ class library for extended scientific computing...
-
GAP
- Referenced in 3189 articles
[sw00320]
- GAP is a system for computational discrete algebra...
