
BayesX
 Referenced in 97 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...

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

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 47 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...

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

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...

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

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

SETL
 Referenced in 28 articles
[sw36325]
 computer field, by allowing direct manipulation of large composite objects, considerably more complex than...

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

S+WAVELETS
 Referenced in 38 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...

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

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

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

Chebfun2
 Referenced in 41 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...

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...

maptools
 Referenced in 23 articles
[sw07986]
 reading and handling spatial objects. Set of tools for manipulating and reading geographic data ... also provides interface wrappers for exchanging spatial objects with packages such as PBSmapping, spatstat, maps...