• 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 Simo-Vu-Quoc’s geometrically exact finite-strain spatial rod model, which ... those of the resulting 1-D 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...