
GEX
 Referenced in 35 articles
[sw09961]
 powerful computer program for geometric reasoning. Within its domain, it invites comparison with the best ... most of the effective methods for geometric reasoning introduced in the past twenty years, including ... build four classes of dynamic visual models: geometric transformations, loci generation, diagrams of functions...

MMP/Geometer
 Referenced in 14 articles
[sw00584]
 MMP/Geometer – a software package for automated geometric reasoning. We introduce a software package, MMP/Geometer, developed ... automate some of the basic geometric activities including geometric theorem proving, geometric theorem discovering...

Gaalet
 Referenced in 7 articles
[sw10859]
 evaluation of geometric algebra expressions offering comfortable implementation and reasonable speed by using expression templates...

CalCS
 Referenced in 7 articles
[sw13098]
 convex constraints are produced from Boolean reasoning, we provide a procedure that generates conservative approximations ... original set of constraints by using geometric properties of convex sets and supporting hyperplanes...

Dr.Doodle
 Referenced in 7 articles
[sw09975]
 that, for some domains (principally geometry), diagrammatic reasoning is easier to understand than conventional algebraic ... domain of metricspace analysis (a geometric domain, but traditionally taught using a dry algebraic...

csat
 Referenced in 8 articles
[sw00168]
 showed good speedup over MiniSat with reasonably small communication overhead on various clusters ... times faster than MiniSat using 31 PEs (geometric mean; at least 31 times for satisfiable...

Algorithm 992
 Referenced in 3 articles
[sw30516]
 numerically stable and efficient up to a reasonable dimension number and may be useful ... fields of Approximation Theory, Computer Aided Geometric Design, Computer Graphics, and Isogeometric and Numerical Analysis...

PersonLab
 Referenced in 3 articles
[sw39072]
 Segmentation with a BottomUp, PartBased, Geometric Embedding Model. We present a boxfree ... proposed PersonLab model tackles both semanticlevel reasoning and objectpart associations using partbased ... instances. Further, we propose a partinduced geometric embedding descriptor which allows us to associate...

BetaSCP
 Referenced in 3 articles
[sw08772]
 betacomplex which is a derivative geometric construct of the Voronoi diagram. Placing a higher ... very close to the optima within a reasonable computation time. The effectiveness and efficiency...

CLEVR Parser
 Referenced in 1 article
[sw35072]
 CLEVR Parser: A Graph Parser Library for Geometric Learning on Language Grounded Image Scenes ... been used extensively in language grounded visual reasoning in Machine Learning (ML) and Natural Language ... dual modalities. Structural orderinvariant representations enable geometric learning and can aid in downstream tasks...

ColProofM
 Referenced in 1 article
[sw06369]
 students to learn to accomplish a geometrical proof. The students can add propositions to their ... proof per Drag & Drop and choose reasons for a proposition. An interactive illustration implemented with...

COSSANX
 Referenced in 3 articles
[sw26340]
 codes are quite sophisticated in terms of geometrical and mechanical modelling capabilities, they usually neglect ... design of structures and systems. For these reasons, it is crucial to link deterministic codes...

muFP
 Referenced in 6 articles
[sw28645]
 designed to allow the programmer to reason about his or her programs by manipulating ... language. Also, each CF has a simple geometric interpretation, so that every &mgr;FP expression...

ConstantQ Transform
 Referenced in 2 articles
[sw20496]
 represen tation where the frequency bins are geometrically spaced and the Qfactors (ratios ... transform is pro posed which enables a reasonablequality (around 55dB signaltonoise ratio...

Jet_fitting_3
 Referenced in 3 articles
[sw22886]
 this route is difficult for several reasons: choice of the coordinate system, numerical handling ... input points, (b) the internal geometric computations, (c) a conversion mechanism between these two geometries...

DVRlib
 Referenced in 1 article
[sw34979]
 DVRlib: A C++ library for geometric mesh improvement using Directional Vertex Relaxation. The success ... equations to be resolved, and to choose reasonable step sizes in time integration schemes. DVRlib...

ACL2
 Referenced in 283 articles
[sw00060]
 ACL2 is both a programming language in which...

AXIOM
 Referenced in 173 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

Cinderella
 Referenced in 153 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

CoCoA
 Referenced in 654 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...