
GCLC
 Referenced in 31 articles
[sw00326]
 GCLC/WinGCLC  a tool for visualizing geometrical (and not only geometrical) objects and notions, for teaching/studying ... visual nature in textual form. In GCLC, there is a buildin geometrical theorem prover...

CGAL
 Referenced in 384 articles
[sw00118]
 geometric computation, such as: computer graphics, scientific visualization, computer aided design and modeling, geographic information ... data structures and algorithms operate on geometric objects like points and segments, and perform geometric...

rgl
 Referenced in 59 articles
[sw10017]
 package rgl: 3D visualization device system (OpenGL): Provides medium to high level functions ... functions for constructing representations of geometric objects (cube3d(), etc.). Output may be on screen using...

ShapeNet
 Referenced in 15 articles
[sw35059]
 enable data visualization of object attributes, promote datadriven geometric analysis, and provide a large...

GBT
 Referenced in 13 articles
[sw10195]
 Geometric Bounding Toolbox (GBT 7.3) for MATLAB. Compared to visual design tools the advantage ... that it allows definitions of objects by numerical/algebraic formulae which reduces effort. Also objects sizes...

PCL
 Referenced in 15 articles
[sw22770]
 descriptors to recognize objects in the world based on their geometric appearance, and create surfaces ... from point clouds and visualize them  to name...

FEView
 Referenced in 5 articles
[sw00280]
 implemented based upon an objectoriented graphics library. The visualization tool works as an external ... program Geomview for viewing and manipulating geometric objects. The graphical user interface has been built ... visualized via color shading and field icons (such as arrows) on the geometric shapes. Also ... which a particular part of an object can be obtained by specifying material indices, element...

GeoWin
 Referenced in 5 articles
[sw06298]
 paper introduces GeoWin, a generic visualization tool for geometric algorithms. GeoWin can be easily interfaced ... adapted to userdefined geometric objects and data types...

Pavane
 Referenced in 4 articles
[sw29850]
 model is declarative in the sense that visualization is treated as a mapping from program ... threedimensional world of geometric objects. The latter is rendered in full color ... allowed to navigate through the geometric world. The statetogeometry mapping is defined ... molded by two methodological objectives: (1) the desire visually to capture abstract formal properties...

Strands
 Referenced in 11 articles
[sw33857]
 STRANDS are thin elastic solids that are visually well approximated as smooth curves ... possess essential physical behaviors characteristic of solid objects such as twisting. Common examples in computer ... well suited for interactive simulation of these objects. The physical model reduces to a system ... conditions. The model handles the impor tant geometric nonlinearity due to large changes...

RSVP
 Referenced in 4 articles
[sw03395]
 inferring local adjacencies of edges. The geometric representation of topologically adjacent edges are merged ... valid solution. Our system proposes an object repairing process based on a set of user ... algorithm’s decisions in a repair visualization step. In essence, this visualization step presents...

spatialCopula
 Referenced in 2 articles
[sw11805]
 flow in parameter estimation, spatial interpolation and visualization. They offer flexible and userfriendly software ... contain a spatial trend or geometric anisotropy. The objective of this paper is to give...

CLEVR Parser
 Referenced in 1 article
[sw35072]
 CLEVR Parser: A Graph Parser Library for Geometric Learning on Language Grounded Image Scenes ... been used extensively in language grounded visual reasoning in Machine Learning (ML) and Natural Language ... library for CLEVR, that provides functionalities for objectcentric attributes and relationships extraction, and construction ... dual modalities. Structural orderinvariant representations enable geometric learning and can aid in downstream tasks...

RTL
 Referenced in 1 article
[sw39354]
 approximation of continuous point clouds by geometric objects of higher grade and the LaTeX export ... module enabling automated generation of highquality visual outputs. It is a headeronly library...

GEOMetrics
 Referenced in 1 article
[sw31208]
 advantages of the geometric structure of graph encoded objects by introducing (1) a graph convolutional ... detail to emerge; and (3) a training objective operating both on the local surfaces defined ... evaluated on the task of 3D object reconstruction from images with the ShapeNet dataset, where ... demonstrate state of the art performance, both visually and numerically, while having far smaller space...

MapSets
 Referenced in 4 articles
[sw13776]
 relationships between them, groups or clusters of objects are an essential part of many real ... internet movie database. In recent visualization methods, such group information is conveyed by explicit regions ... data), it becomes difficult to produce readable visualizations. In such fixedclustering and fixedembedding ... this in mind, we propose MapSets: a visualization technique that combines the advantages of both...

OntoPlant
 Referenced in 0 articles
[sw19011]
 build individual plant model. ParaTree combines geometric modelling and parameterized modelling. The shape characteristic ... geospatial data (terrain, images) with 3D objects (plants and house) in a georeferenced environment, definition ... stand projection, graphical and tabular summarization, stand visualization, and landscape visualization. Its current and potential...

Cinderella
 Referenced in 153 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

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

Diffpack
 Referenced in 115 articles
[sw00203]
 As modern programming methodologies migrate from computer science...