• FEATFLOW

  • Referenced in 193 articles [sw04254]
  • three space dimensions. FEATFLOW is part of the TUFES project (’The Ultimate Finite Element Software...
  • CSM-A

  • Referenced in 22 articles [sw08455]
  • code computes the push-forward to projective space of the Chern-Schwartz-MacPherson and Fulton ... Segre class of S in projective space, and the Euler characteristic of an affine scheme...
  • CharacteristicClasses

  • Referenced in 16 articles [sw19976]
  • smooth toric varieties, including products of projective spaces. The package CharacteristicClasses provides commands to compute ... smooth complete varieties, including products of projective spaces ℙn1 x ... x ℙnm. In particular...
  • FinInG

  • Referenced in 16 articles [sw11587]
  • finite geometry from the realms of projective spaces to the flat lands of generalised polygons...
  • SeDiMO

  • Referenced in 14 articles [sw07826]
  • well-known that the projective space ℙV contains a unique (Zariski)-closed orbit X consisting...
  • FMPIntersectionTheory

  • Referenced in 9 articles [sw19977]
  • Segre class pushed forward to projective space. The algorithm presented here comes after several others ... ambient variety is for instance projective space; to our knowledge, this is the first algorithm ... able to compute Segre classes in projective varieties with arbitrary singularities...
  • OVERFLOW

  • Referenced in 42 articles [sw18197]
  • being used on projects for Aeronautics Research, Science, Space Technology, and Human Exploration Mission Directorates...
  • XGobi

  • Referenced in 32 articles [sw11752]
  • displays of projections of points and lines in high-dimensional spaces, as well as parallel...
  • KANT/KASH

  • Referenced in 155 articles [sw00481]
  • fields. It has been developed under the project leadership of Prof. Dr. M. Pohst ... computations and the construction of Riemann-Roch spaces are available...
  • UniProt

  • Referenced in 129 articles [sw21320]
  • prompted an extension of UniProt accession number space from 6 to 10 characters. An increasing ... majority of sequences coming from genome sequencing projects. We have created a new proteome identifier...
  • Cremona

  • Referenced in 6 articles [sw19975]
  • compute the push-forward to projective space of Segre classes. Moreover, the computations...
  • vgit

  • Referenced in 4 articles [sw30128]
  • pairs formed by a hypersurface in projective space of dimension n and degree ... hyperplane embedded in the same projective space. Given a dimension n and a degree...
  • COBS

  • Referenced in 28 articles [sw08988]
  • projection of a smooth function into the space of B-splines provides a monotone smoother...
  • phytools

  • Referenced in 13 articles [sw10003]
  • character evolution using colors or projections into trait space; identifying the location of a change ... canonical correlation analysis, and a phylogenetic ANOVA; projecting a tree onto a geographic map; simulating...
  • M3D

  • Referenced in 7 articles [sw20555]
  • presented here is the M3D (Multilevel 3D) project, which has developed a code package with ... that resolve increasingly complete subsets of phase-spaces and are thus increasingly more realistic ... remains a future project. Phase-space-fluid models are not used in favor...
  • Zing

  • Referenced in 38 articles [sw01037]
  • Zing is a software model checking project at Microsoft Research. Our goal is to build ... flexible and scalable systematic state space exploration infrastructure for software. This infrastructure includes novel algorithms...
  • pg

  • Referenced in 4 articles [sw14995]
  • provided in pg, such as calling projective spaces, functions dealing with subspaces, collineations...
  • Kaskade7

  • Referenced in 38 articles [sw06545]
  • PDEs with different ansatz and test spaces for all variables. The library is under active ... features are implemented as needed in other projects...
  • TateOnProducts

  • Referenced in 2 articles [sw12475]
  • Macaulay2: Tate resolutions for products of projective spaces. We describe the Tate resolution ... coherent sheaves on a product of projective spaces. Such a resolution makes explicit...
  • QFTCT

  • Referenced in 3 articles [sw21882]
  • toolbox has been tested on industrial projects, space missions and university courses worldwide, including...