• leanCoP

  • Referenced in 31 articles [sw09756]
  • first-order logic, based on the connection (tableau) calculus and implemented in Prolog. leanCoP ... logic and based on the clausal connection calculus for intuitionistic logic. leanCoP 2.0 extends...
  • GeoGebra

  • Referenced in 384 articles [sw04203]
  • joins geometry, algebra, tables, graphing, statistics and calculus in one easy-to-use package ... Quick Facts: Graphics, algebra and tables are connected and fully dynamic. Easy-to-use interface...
  • ileanCoP

  • Referenced in 18 articles [sw09757]
  • order logic. We present a clausal connection calculus for first-order intuitionistic logic. It extends ... classical connection calculus by adding prefixes that encode the characteristics of intuitionistic logic. Our calculus...
  • MaLeCoP

  • Referenced in 27 articles [sw07197]
  • learned knowledge is added to the connection tableau calculus and implemented...
  • SOLAR

  • Referenced in 20 articles [sw00888]
  • Skip Ordered Linear) tableau calculus. The ability to find non-trivial consequences of an axiom ... nonmonotonic reasoning. SOL is a connection tableau calculus which is complete for finding...
  • nanoCoP

  • Referenced in 6 articles [sw21547]
  • based on the non-clausal connection calculus for classical logic. More details about the calculus ... equality. Based on the non-clausal connection calculus. Proof search on the original formula structure ... TPTP). Output of compact non-clausal connection proof. Available under the GNU general public license...
  • MWB

  • Referenced in 34 articles [sw04395]
  • mobility workbench — A tool for the π-Calculus. n this paper we describe the first ... systems (those with evolving connectivity structures) described in the π-calculus. The main feature...
  • MleanCoP

  • Referenced in 8 articles [sw21522]
  • search is based on a prefixed connection calculus and an additional prefix unification, which captures ... multimodal logics and outputs a compact prefixed connection proof. An experimental evaluation shows the strong...
  • randoCoP

  • Referenced in 3 articles [sw15149]
  • Proof Search Order in the Connection Calculus. We present randoCoP , a theorem prover for classical ... which integrates randomized search techniques into the connection prover leanCoP 2.0. By randomly reordering...
  • PelletSpatial

  • Referenced in 3 articles [sw11708]
  • spatial data represented with the Region Connection Calculus (RCC). It supports all RCC-8 relations...
  • Petruchio

  • Referenced in 16 articles [sw04394]
  • Calculus processes into place/transition Petri nets. Our translation exploits the connections created by restricted names...
  • Euler diagrams

  • Referenced in 1 article [sw15821]
  • Drawing interactive Euler diagrams from region connection calculus specifications. This paper describes methods for generating ... stability. Specifications are written using region connection calculus (RCC-8), radius constraints and disjunctions. Euler...
  • CatLog3

  • Referenced in 4 articles [sw29641]
  • displacement calculus). extit{CatLog3} implements a logic including as primitive connectives ... continuous (concatenation) and discontinuous (intercalation) connectives of the displacement calculus, additives, 1st order quantifiers, normal ... rules of inference for these primitive connectives and their linguistic applications, and we survey...
  • Conn

  • Referenced in 2 articles [sw08599]
  • ring, and recall the obstruction calculus for such connections. This obstruction calculus is defined using ... known that all MCM modules admit connections. We prove that for a simple threefold hypersurface...
  • Mathpert

  • Referenced in 18 articles [sw24047]
  • learning of algebra, trigonometry, and first semester calculus. This paper gives an overview ... MATHPERT and goes into detail about some connections it has with automated theorem proving. These...
  • CARTAN

  • Referenced in 8 articles [sw03269]
  • tensor calculus, in particular, the use of tensors in spaces with connection, Riemannian spaces ... Contents: 1. Computer algebra, 2. General tensor calculus, 3. Getting started, 4. A reference manual...
  • ac2lus

  • Referenced in 2 articles [sw17953]
  • present an approach to connect the Real-Time Calculus (RTC) method to the syn- chronous ... buffer sizes. Compared to existing approaches to connect RTC to other formalisms, we believe that...
  • MeshDGP

  • Referenced in 1 article [sw24999]
  • Spectral, Gaussian Curvature Based, Discrete Exterior Calculus: Trivial Connection, Geodistance, Conformal Flow, Geodistance: Biharmonic, Diffusion...
  • GenTreeCad

  • Referenced in 1 article [sw33688]
  • construct numerous derivations using Gentzen-style sequent calculus, gives the idea to automatize the process ... could take advantage of the connection between resolution ... dual, and then the connection between sequent calculus and the tableau method...
  • LUCY

  • Referenced in 5 articles [sw14999]
  • LUCY: A Clifford algebra approach to spinor calculus. LUCY is an algebra package for Maple ... matrix algebra and vice versa, spinor connections. The package is thus well suited to explore...