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

CSMA
 Referenced in 22 articles
[sw08455]
 code computes the pushforward to projective space of the ChernSchwartzMacPherson 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]
 ﬁnite geometry from the realms of projective spaces to the ﬂat lands of generalised polygons...

SeDiMO
 Referenced in 14 articles
[sw07826]
 wellknown 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 highdimensional 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 RiemannRoch 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 pushforward 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 Bsplines 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 phasespaces and are thus increasingly more realistic ... remains a future project. Phasespacefluid 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...