
Macaulay2
 Referenced in 1904 articles
[sw00537]
 geometry and commutative algebra, whose creation has been funded by the National Science Foundation since...

GeoCoq
 Referenced in 9 articles
[sw32242]
 contains both proofs about the foundations of geometry and highlevel proofs in the same...

Stacks Project
 Referenced in 7 articles
[sw31299]
 build algebraic geometry and use this in laying the foundations for algebraic stacks. The theory...

CGM
 Referenced in 6 articles
[sw11298]
 solid modelbased or alternative representations of geometry. Ports to Solid Works and Pro/Engineer ... foundation for parallel mesh generation, and is being used for geometry support in several advanced...

CLHep
 Referenced in 3 articles
[sw05630]
 specific foundation and utility classes such as random generators, physics vectors, geometry, and linear algebra...

UNAMALLA
 Referenced in 7 articles
[sw13144]
 defined on the mesh cells. The theoretical foundations of the grid generation processinvolves diverse subjects ... algebra, large scale optimization methods and computer geometry, among others, and promotes the interaction between...

KCLC
 Referenced in 1 article
[sw32607]
 methods. The system is highly dependent on geometry and failure is dominated by mechanization ... simple and efficient foundation for adapting to different arch geometries and loading conditions...

SimplicialVIEW
 Referenced in 1 article
[sw21821]
 theoretical foundation, and put it into practice using highly optimized computational geometry algorithms. The SimplicialVIEW...

CindyJS
 Referenced in 8 articles
[sw15162]
 software platform and its mathematical foundation that allows a versatile and fast prototyping of mathematical ... should provide easy access to an interactive geometry viewing environment...

I2Geo
 Referenced in 5 articles
[sw00428]
 educators throughout Europe to publicly share interactive geometry constructions. This crosscultural webbased platform ... current platform’s facilities and the technical foundation that are used and will be used...

FLUSEPA
 Referenced in 1 article
[sw20791]
 technique for complex industrial applications. The numerical foundation of the CFD solver FLUSEPA (French trademark ... turbulent scaleresolving simulations around 3D complex geometries and general nonCartesian grids. First...

GeoLogic
 Referenced in 1 article
[sw33592]
 GeoLogic  Graphical interactive theorem prover for Euclidean geometry. Domain of mathematical logic in computers ... approach: ATPs often use humanunfriendly logical foundations while ITPs are meant for formalizing existing ... picked the case study of Euclidean geometry as it can be easily visualized, has simple...

HybGeFlow3D
 Referenced in 1 article
[sw27329]
 problems in complex, uncertain 3D and 2D geometries. This software is maintained by Numerical Solutions ... partial support of the National Science Foundation on the projects NSF DMS1115827 ”Hybrid modeling...

xBIM
 Referenced in 1 article
[sw27249]
 BuildingSmart Data Model (aka the Industry Foundation Classes IFC). xBIM allows .NET developers to read ... written in C#, core of geometry engine is written...

ntkfoam
 Referenced in 1 article
[sw36388]
 nuclear reactor numerical simulation, especially the complicated geometry and multiphysics coupling properties ... work can provide some new perspectives and foundations to nuclear reactor coupling calculations...

rft1d
 Referenced in 1 article
[sw24022]
 fieldwide maximum and thresholdsurviving upcrossing geometry. A key application ... surfaced in the literature, even during its foundational development in the late 1970s. This Python...

AdTree
 Referenced in 1 article
[sw39843]
 trees and vegetation, which lays a solid foundation for 3dimensional tree modelling. Existing studies ... sequence of cylinders to approximate the geometry of the tree branches. Experiments on various types...

ANSYS
 Referenced in 703 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

cdd
 Referenced in 115 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

Coq
 Referenced in 1880 articles
[sw00161]
 Coq is a formal proof management system. It...