• 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 high-level 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 model-based 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 cross-cultural web-based 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 scale-resolving simulations around 3D complex geometries and general non-Cartesian 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 human-unfriendly logical foundations while ITPs are meant for formalizing existing ... picked the case study of Euclidean geometry as it can be easily visualized, has simple...
  • HybGe-Flow3D

  • 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 DMS-1115827 ”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 multi-physics coupling properties ... work can provide some new perspectives and foundations to nuclear reactor coupling calculations...
  • rft1d

  • Referenced in 1 article [sw24022]
  • field-wide maximum and threshold-surviving 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 3-dimensional 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...