
leanCoP
 Referenced in 31 articles
[sw09756]
 firstorder 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 easytouse package ... Quick Facts: Graphics, algebra and tables are connected and fully dynamic. Easytouse interface...

ileanCoP
 Referenced in 18 articles
[sw09757]
 order logic. We present a clausal connection calculus for firstorder 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 nontrivial 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 nonclausal connection calculus for classical logic. More details about the calculus ... equality. Based on the nonclausal connection calculus. Proof search on the original formula structure ... TPTP). Output of compact nonclausal 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 RCC8 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 (RCC8), 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 RealTime 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 Gentzenstyle 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...