• REDUCE

  • Referenced in 746 articles [sw00789]
  • variety of forms; automatic and user controlled simplification of expressions; calculations with symbolic matrices; arbitrary...
  • CGAL

  • Referenced in 402 articles [sw00118]
  • generation, skin surfaces), geometry processing (surface mesh simplification, subdivision and parameterization, as well as estimation...
  • VAMPIRE

  • Referenced in 264 articles [sw02918]
  • number of standard redundancy criteria and simplification techniques are used for pruning the search space...
  • CUBIT

  • Referenced in 80 articles [sw04109]
  • develop new tools for geometry cleanup and simplification and handle ever more complex preprocessing tasks...
  • iProver

  • Referenced in 56 articles [sw09707]
  • blocking non-proper instantiations and propositional-based simplifications. In addition to instantiation, iProver implements ordered...
  • Symbolic Math Toolbox

  • Referenced in 37 articles [sw08398]
  • algebra, algebraic and ordinary differential equations, equation simplification, and equation manipulation. Symbolic Math Toolbox lets ... analytically perform differentiation, integration, simplification, transforms, and equation solving. Your computations can be performed either...
  • Regina

  • Referenced in 46 articles [sw04862]
  • performance. These include the all-important simplification heuristics, key choices of data structures and algorithms...
  • Gstat

  • Referenced in 24 articles [sw04488]
  • sequential) conditional simulation are done under (simplifications of) the universal cokriging model. Any number ... coordinates, or so-called external drift variables). Simplifications of this model include ordinary and simple...
  • COUPLEX

  • Referenced in 32 articles [sw07861]
  • years. The second test case is a simplification of a typical 3D near-field computation...
  • CERES

  • Referenced in 21 articles [sw09442]
  • extraction of Herbrand sequents and simplification methods on these sequents. We demonstrate the Herbrand sequent ... extraction and simplification by a mathematical example...
  • GrADS

  • Referenced in 29 articles [sw06711]
  • same way that the World Wide Web simplifed information sharing over the Internet. The GrADS...
  • QUBOS

  • Referenced in 25 articles [sw09580]
  • logic. The procedure is based on nonclausal simplification techniques that reduce formulae to a propositional...
  • GeoFEM

  • Referenced in 23 articles [sw00338]
  • fields at a reasonable cost. A polygonal simplification scheme is developed to make the transmission...
  • Coprocessor

  • Referenced in 15 articles [sw16739]
  • implements almost all currently known simplification techniques in a modular way and provides access ... also possible and enables to apply simplifications also for incremental SAT solving. Experiments show that...
  • imagetime1d

  • Referenced in 20 articles [sw22221]
  • space variables, Fortran 90/95 versions provide some simplification over the Fortran 77 programs, and these...
  • mCrypton

  • Referenced in 19 articles [sw09729]
  • architecture of Crypton but with redesign and simplification of each component function to enable much...
  • AEDU

  • Referenced in 19 articles [sw18628]
  • space variables, Fortran 90/95 versions provide some simplification over the Fortran 77 programs, and these...
  • ATENSOR

  • Referenced in 12 articles [sw00055]
  • ATENSOR - REDUCE program for tensor simplification. Nature of problem: Simplification of tensor expressions taking into...
  • KIDS

  • Referenced in 12 articles [sw15441]
  • performing algorithm design, deductive inference, program simplification, partial evaluation, finite differencing optimizations, data type refinement...
  • NodeXL

  • Referenced in 7 articles [sw04183]
  • derive insights: filtering, clustering, grouping, and simplification The growing importance of network analysis has increased ... strategies for effective filtering, clustering, grouping, and simplification are helpful in finding key nodes ... also discuss our recent work on motif simplification, in which common patterns are replaced with...