• GPDOF

  • Referenced in 8 articles [sw02585]
  • fast algorithm to decompose under-constrained geometric constraint systems: application to 3d modeling. Our approach ... theorems of geometry. GPDOF decomposes an equation system into a sequence of small subsystems solved ... extended to tackle geometric constraint systems that are under-constrained. In this paper, we show ... system, GPDOF can quickly decompose large under-constrained systems of geometrical constraints. We have validated...
  • INTBIS

  • Referenced in 31 articles [sw00442]
  • Algorithm 681: INTBIS, a portable interval Newton/bisection package...
  • RealPaver

  • Referenced in 51 articles [sw04401]
  • Algorithm 852 Realpaver: nonlinear constraint solving & rigorous global...
  • minpack

  • Referenced in 740 articles [sw05310]
  • Notes on optimization software. This paper is an...
  • gaol

  • Referenced in 14 articles [sw05586]
  • Gaol: NOT Just Another Interval Library project (”gaol...
  • Bertini

  • Referenced in 253 articles [sw06683]
  • Bertini™: Software for Numerical Algebraic Geometry. Software for...
  • AQCS

  • Referenced in 15 articles [sw08109]
  • Approximate quantified constraint solving (AQCS). AQCS is a...
  • IbexOpt

  • Referenced in 14 articles [sw12331]
  • Exploiting monotonicity in interval constraint propagation. ...
  • Numerica

  • Referenced in 46 articles [sw21227]
  • Numerica: A modeling language for global optimization. Many...