• 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 metric-space analysis (a geometric domain, but traditionally taught using a dry algebraic...
  • c-sat

  • 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 Bottom-Up, Part-Based, Geometric Embedding Model. We present a box-free ... proposed PersonLab model tackles both semantic-level reasoning and object-part associations using part-based ... instances. Further, we propose a part-induced geometric embedding descriptor which allows us to associate...
  • BetaSCP

  • Referenced in 3 articles [sw08772]
  • beta-complex 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 order-invariant representations enable geometric learning and can aid in downstream tasks...
  • ColProof-M

  • 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...
  • COSSAN-X

  • 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...
  • Constant-Q Transform

  • Referenced in 2 articles [sw20496]
  • represen- tation where the frequency bins are geometrically spaced and the Q-factors (ratios ... transform is pro- posed which enables a reasonable-quality (around 55dB signal-to-noise 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...