
Cabrigeometry
 Referenced in 114 articles
[sw04928]
 Informatique de Grenoble (LIG). Cabrigeometry 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 ... blendedlearning webenvironment 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 ﬁnite geometry from the realms of projective spaces to the ﬂat 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 NonEclidean 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...