
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 nonproper instantiations and propositionalbased 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 allimportant 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 socalled 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 nearfield 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...