• OTTER

  • Referenced in 316 articles [sw02904]
  • logic calculi, combinatory logic, group theory, lattice theory, and algebraic geometry. Note: Otter/Mace2...
  • ArgoCLP

  • Referenced in 12 articles [sw07192]
  • coherent logic based geometry theorem prover capable of producing formal and readable proofs A theorem ... prover for coherent logic, called ArgoCLP ... presented. It is applied to geometry proofs. Coherent logic is a fragment of first-order...
  • GEX

  • Referenced in 35 articles [sw09961]
  • theorem proving and discovering. As a dynamic geometry software, GEX can be used to build ... build dynamic logic models which can do reasoning themselves. 1) Geometry Expert...
  • URDME

  • Referenced in 26 articles [sw10400]
  • under study. An interface to a mature geometry and mesh handling external software (Comsol Multiphysics ... model construction. The core simulation routines are logically separated from the model building interface ... computational efficiency. The connection to the geometry handling software is realized via a Matlab interface...
  • Sweep3d

  • Referenced in 6 articles [sw12703]
  • transport problem. The XYZ geometry is represented by an IJK logically rectangular grid of cells...
  • HOARD ATINF

  • Referenced in 2 articles [sw28890]
  • Emphasizing human techniques in automated geometry theorem proving: A practical realization. The underlying principles ... original techniques used in a running generic logic-based theorem prover are presented. The system ... this work to proof learning through geometry. It is based on a new calculus, particularly ... theoretical bases of a new logic-based approach to geometry theorem proving, a comparison...
  • GeoLogic

  • Referenced in 1 article [sw33592]
  • interactive theorem prover for Euclidean geometry. Domain of mathematical logic in computers is dominated ... Euclidean geometry as it can be easily visualized, has simple logic, and yet potentially offers ... environment user friendly, we abandoned strict logic required by ITPs, allowing to infer topological facts ... pictures. We present our system for Euclidean geometry, together with a graphical application GeoLogic, similar...
  • GEOTHER 1.1

  • Referenced in 32 articles [sw02842]
  • GEOTHER (GEOmetry THeorem provER), a module of Epsilon, is an environment implemented by Dongming Wang ... Chinese statement, into a first-order logical formula, or into algebraic expressions; draw...
  • ForestClaw

  • Referenced in 11 articles [sw19374]
  • nested hierarchy of fixed size, non-overlapping, logically Cartesian grids stored as leaves ... easily solve on a variety of geometries including the cubed sphere. In this paper...
  • GMBL

  • Referenced in 1 article [sw40704]
  • reliably using gradient descent. Of the 39 geometry problems since 2000 appearing in the International ... Olympiad, 36 can be expressed in our logic and our system can produce diagrams ... method is the first in automated geometry diagram construction to generate models for such complex...
  • CPIC

  • Referenced in 5 articles [sw18104]
  • particle-in-cell (PIC) code in curvilinear geometry called curvilinear PIC (CPIC). The code models ... introduced between the physical space and the logical space, where the grid is uniform...
  • EPGY

  • Referenced in 4 articles [sw28722]
  • application of mathematical rules, and verification of logical inference. Each course has its own language ... have taken the EPGY high-school geometry course. In addition to providing a general overview...
  • BLUEVERI

  • Referenced in 1 article [sw10899]
  • formal reasoning based on computational algebraic geometry. Algebraic error correcting codes (ECC) are widely used ... techniques for provably correct design of ECC logics. The methodology is comprised of a design ... using an apparatus of computational algebraic geometry (Buchberger’s algorithm for Gr”obner basis construction...
  • SimWall

  • Referenced in 1 article [sw20566]
  • together, these projectors work as a single logical display capable of giving a high-resolution ... system setup and maintenance, software-based automatic geometry and photometric calibration are used. The software...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • AXIOM

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

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CoCoA

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

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Epsilon

  • Referenced in 44 articles [sw00244]
  • Epsilon is a library of functions implemented in...