
Wirtinger Flow
 Referenced in 110 articles
[sw34175]
 Theory and Algorithms. We study the problem of recovering the phase from magnitude measurements; specifically ... measurements. Indeed, the sequence of successive iterates provably converges to the solution at a geometric ... terms of computational and data resources. In theory, a variation on this scheme leads...

Ergodic theory
 Referenced in 6 articles
[sw28532]
 measure theory) and with geometry as a lot of interesting examples are from geometric origin ... including notably Poicaré recurrence theorem for finite measure preserving systems (together with the notion...

WindGEAR
 Referenced in 4 articles
[sw42158]
 blades, we employ SimoVuQuoc’s geometrically exact finitestrain spatial rod model, which ... those of the resulting 1D strain measures. The structural description is Lagrangian, obviating ... Towards the aerodynamic side, Blade Element Momentum Theory enhanced with several important corrections is employed...

FastGEO
 Referenced in 0 articles
[sw05613]
 theory are composites of the provided geometric primitives. FastGEO however does not provide an environment ... library if needed could in theory modify FastGEO’s routines to be forward error correcting ... errors, and hence allow for some corrective measures to be undertaken. This is left...

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

Cadabra
 Referenced in 92 articles
[sw00097]
 Cadabra is a powerful computer program for the...

cdd
 Referenced in 119 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CGAL
 Referenced in 402 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

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

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

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

HSL
 Referenced in 284 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

Isabelle
 Referenced in 719 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

ISOGAT
 Referenced in 318 articles
[sw00457]
 A tutorial 2D MATLAB code for solving elliptic...

KNITRO
 Referenced in 200 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

LAPACK
 Referenced in 1713 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1958 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...