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

  • Referenced in 46 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...
  • 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 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...
  • 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 object-oriented toolkit for wavelet analysis of signals, time ... allowing the user to manipulate, visualize, synthesize, and analyze wavelet objects. The object-oriented 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 object-oriented system that was designed on MATLAB ... represent and manipulate scalar-valued functions of two variables (Chebfun2 objects) and vector-valued functions...