• Cabri-geometry

  • Referenced in 114 articles [sw04928]
  • Informatique de Grenoble (LIG). Cabri-geometry project is supported by CNRS and Université Joseph Fourier...
  • Macaulay2

  • Referenced in 1620 articles [sw00537]
  • system devoted to supporting research in algebraic geometry and commutative algebra, whose creation has been ... numbers, Ext, cohomology of coherent sheaves on projective varieties, primary decomposition of ideals, integral closure...
  • CGAL

  • Referenced in 348 articles [sw00118]
  • More on the projects using CGAL web page. The Computational Geometry Algorithms Library (CGAL), offers...
  • SNARK93

  • Referenced in 17 articles [sw09644]
  • treat both parallel and divergent projection geometries and can create test data...
  • SNARK09

  • Referenced in 9 articles [sw09204]
  • treat both parallel and divergent projection geometries and can either create test data (with...
  • pg

  • Referenced in 4 articles [sw14995]
  • Projective Geometries, A Share Package for GAP. pg, Projective Geometries is a share package ... environment for doing finite projective geometry in GAP. Researchers who want to look for examples ... provided in pg, such as calling projective spaces, functions dealing with subspaces, collineations...
  • GATP

  • Referenced in 5 articles [sw25268]
  • geometry laboratory project. The web geometry laboratory (WGL) project’s goal is to build ... blended-learning web-environment integrating a dynamic geometry system (DGS) and having some adaptive features ... allow the integration of a geometry automated theorem prover (GATP) are also already implemented.par ... will be the next steps of this project...
  • GeoProof

  • Referenced in 16 articles [sw05737]
  • interactive geometry software with proof related features. The project consist in producing an interactive proof...
  • FinInG

  • Referenced in 14 articles [sw11587]
  • various areas of finite geometry from the realms of projective spaces to the flat lands...
  • DGtal

  • Referenced in 11 articles [sw11594]
  • DGtal: Digital Geometry Tools and Algorithms Library. The collaborative project DGtal aims at developing generic...
  • SymbolicData

  • Referenced in 26 articles [sw04621]
  • testing, comparing, and benchmarking of different geometry theorem proving approaches and provers. To automatize such ... work is part of the SymbolicData project...
  • Intergeo

  • Referenced in 16 articles [sw09853]
  • Interoperable Interactive Geometry for Europe. The main objective of the Intergeo Project is to make...
  • Stacks Project

  • Referenced in 3 articles [sw31299]
  • reference work on algebraic geometry. The Stacks project is an ever growing open source textbook ... algebraic geometry needed to define them. Here are some quick facts: The Stacks project ... graduate students and researchers in algebraic geometry. The aim is to build algebraic geometry ... forms an integral part of the Stacks project. The Stacks project has a maintainer (currently...
  • Geometry Tutor

  • Referenced in 11 articles [sw32253]
  • indicates the geometry tutor is guite effective. The Advanced Computer Tutoring Project has been working ... tutor tor generating proofs in geometry. First, we will describe the general philosophy...
  • OpenGeoProver

  • Referenced in 9 articles [sw07179]
  • Open Source project developed in Java for implementation of various Automated Geometry Theorem Provers...
  • MAppleT

  • Referenced in 4 articles [sw14380]
  • both tree topology and geometry are considered. The present project aimed to bring together models...
  • MoebInv

  • Referenced in 3 articles [sw27527]
  • graphic manipulations in Non-Eclidean geometry: moebinv. The project contains two C++ libraries for symbolic...
  • PyGeo

  • Referenced in 1 article [sw09862]
  • mathematical developments - particularly those connected with projective geometry of real space, and the geometry...
  • Geode

  • Referenced in 1 article [sw33800]
  • Project Geode: Geometry for Simulation. Project Geode is Pointwise’s response to the NASA ... lack of CFD software access to geometry. We are making available to a select group ... partners the core components of the geometry kernel inside the Pointwise meshing software during ... program. The Project Geode kernel is a fourth generation, solid modeling and geometry kernel written...
  • Dr.Doodle

  • Referenced in 7 articles [sw09975]
  • assumption underlying this project is that, for some domains (principally geometry), diagrammatic reasoning is easier...