
BayesX
 Referenced in 73 articles
[sw06772]
 that allow to read, write and manipulate map objects that are required in spatial analyses...

ALF
 Referenced in 67 articles
[sw08603]
 different logics can be represented. Proof objects are manipulated directly, by the usual editing operations ... proof is represented as an incomplete proof object, i.e., a proof object containing placeholders...

ALLTYPES
 Referenced in 20 articles
[sw02307]
 defined. Data objects represented by these types may be manipulated by more than one hundred ... portion of the language dedicated to manipulating typed objects, i.e. for performing userdefined...

Timbuk
 Referenced in 46 articles
[sw06351]
 reachability over Term Rewriting Systems and for manipulating Tree Automata (bottomup nondeterministic finite ... bunch of Objective Caml functions for basic manipulation on Tree Automata, alphabets, terms, Term Rewriting...

Hmisc
 Referenced in 38 articles
[sw04530]
 making, variable clustering, character string manipulation, conversion of S objects to LaTeX code, and recoding...

Cabri
 Referenced in 22 articles
[sw06229]
 Cabri screen becomes an object to manipulate. Students do not simply recognize the shape...

Geomview
 Referenced in 30 articles
[sw04092]
 Geomview lets you view and manipulate threedimensional objects: you use the mouse to rotate...

SYNAPS
 Referenced in 24 articles
[sw00941]
 structures and classes for the manipulation of basic objects, such as vectors, matrices (dense, sparse ... univariate and multivariate polynomials, tools for manipulating algebraic numbers, for computing univariate and multivariate resultants...

KnowRob
 Referenced in 10 articles
[sw21530]
 used on several robots performing complex object manipulation tasks. We evaluate it through prototypical queries...

FOXBOX
 Referenced in 16 articles
[sw00307]
 FOXBOX: A system for manipulating symbolic objects in black box representation. The FOXBOX system puts...

Teyjus
 Referenced in 16 articles
[sw21364]
 language for implementing systems that manipulate formal objects such as formulas, programs, proofs and types...

Odyssee
 Referenced in 32 articles
[sw12533]
 differentiation. The Odyssée system manipulates fortran programs as symbolic objects. It is an open system...

dplyr
 Referenced in 46 articles
[sw13271]
 Data Manipulation. A fast, consistent tool for working with data frame like objects, both...

S+WAVELETS
 Referenced in 33 articles
[sw12244]
 Wavelet Analysis. S+WAVELETS is an objectoriented toolkit for wavelet analysis of signals, time ... allowing the user to manipulate, visualize, synthesize, and analyze wavelet objects. The objectoriented design...

SYMMETRICA
 Referenced in 26 articles
[sw00939]
 programs. Routines which manipulate many types of mathematical objects are available. Their use is facilitated...

DEDALE
 Referenced in 10 articles
[sw17368]
 language for the representation and manipulation of spatial objects. DEDALE relies on a logical model ... allow an intuitive and efficient manipulation of spatial objects. Their formal foundation constitutes a basis...

ROSETTA
 Referenced in 22 articles
[sw10969]
 This enables interactive manipulation and creation of objects related to the KDD process. Jointly...

GeoBench
 Referenced in 12 articles
[sw01557]
 used to create and manipulate geometric objects such as points, line segments, polygons, etc. Furthermore...

Periodic Systems Toolbox
 Referenced in 6 articles
[sw22601]
 toolbox was to exploit the powerful object manipulation features of MATLAB via flexible andfunctionally rich ... functions of this toolbox via an object oriented approach to handle periodic system descriptions...

Chebfun2
 Referenced in 30 articles
[sw12708]
 Chebfun to two dimensions. Chebfun is an objectoriented system that was designed on MATLAB ... represent and manipulate scalarvalued functions of two variables (Chebfun2 objects) and vectorvalued functions...