• Calabi-Yau database

  • Referenced in 28 articles [sw24665]
  • physicists. Many of the singular ambient spaces described by the Kreuzer-Skarke list ... smoothed out into multiple distinct toric ambient spaces describing different Calabi-Yau threefolds. We provide...
  • FMS

  • Referenced in 10 articles [sw31728]
  • dimensional subspace of a higher dimensional ambient space, and a possibly large portion of outliers...
  • Deformetrica

  • Referenced in 3 articles [sw30726]
  • deformations of the 2D or 3D ambient space, which, in turn, warp any object embedded...
  • FMPIntersectionTheory

  • Referenced in 9 articles [sw19977]
  • Segre class pushed forward to projective space. The algorithm presented here comes after several others ... special cases, where the ambient variety is for instance projective space; to our knowledge, this...
  • polyhedra

  • Referenced in 2 articles [sw21168]
  • convex (possibly unbounded) set in Euclidean space cut out by a finite set of linear ... less than the dimension of the ambient space...
  • Points

  • Referenced in 1 article [sw40574]
  • compute the ideals of points in affine space, was written by Stillman, Smith and Stromme ... where the first integer denotes the ambient dimension and the second the number of points ... Examples are known in every projective space of dimension >=6 except for P9. In version...
  • Viriato

  • Referenced in 3 articles [sw22282]
  • dynamics parallel and perpendicular to the ambient magnetic field (assumed strong). Along the magnetic field ... spectral representation of the parallel velocity-space dependence, achieved by means of a Hermite representation...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Cadabra

  • Referenced in 91 articles [sw00097]
  • Cadabra is a powerful computer program for the...
  • Maple

  • Referenced in 5375 articles [sw00545]
  • The result of over 30 years of cutting...
  • R

  • Referenced in 10082 articles [sw00771]
  • R is a language and environment for statistical...
  • PRISM

  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • JoCaml

  • Referenced in 26 articles [sw02065]
  • JoCaml: A language for concurrent distributed and mobile...
  • CASL

  • Referenced in 174 articles [sw02235]
  • The specification language developed by CoFI is called...
  • ABAQUS

  • Referenced in 1612 articles [sw04215]
  • The Abaqus Unified FEA product suite offers powerful...
  • FLUENT

  • Referenced in 447 articles [sw04263]
  • FLUENT is a Computational Fluid Dynamics (CFD) code...
  • WinBUGS

  • Referenced in 773 articles [sw04492]
  • WinBUGS is part of the BUGS project, which...
  • fda (R)

  • Referenced in 1571 articles [sw04511]
  • fda: Functional Data Analysis , These functions were developed...
  • LIBSVM

  • Referenced in 1200 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...