• 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 user-defined...
  • Timbuk

  • Referenced in 47 articles [sw06351]
  • reachability over Term Rewriting Systems and for manipulating Tree Automata (bottom-up non-deterministic 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 three-dimensional 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 object-oriented toolkit for wavelet analysis of signals, time ... allowing the user to manipulate, visualize, synthesize, and analyze wavelet objects. The object-oriented 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 object-oriented system that was designed on MATLAB ... represent and manipulate scalar-valued functions of two variables (Chebfun2 objects) and vector-valued 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...