
CSProlog
 Referenced in 7 articles
[sw00171]
 Prolog: A generalized unification based constraint solver Constraint logic programming (CLP) is a promising extension ... PROLOG) is presented. A new kind of unification to overcome some insufficiency in standard PROLOG ... introduced by Dincbas is explained and generalized unification based on it is introduced. Extension...

TREESPH
 Referenced in 57 articles
[sw14217]
 TREESPH  A unification of SPH with the hierarchical tree method. A new, generalpurpose code ... without the introduction of a grid. A unification of SPH with the hierarchical tree method...

GHC
 Referenced in 42 articles
[sw23765]
 logic programming languages and logic programming in general, with special attention paid to parallelism ... restriction on data flow caused by unification, and the other is the introduction of choice ... nondeterminism. The former is essential for a generalpurpose language and it also provides...

ETPS
 Referenced in 145 articles
[sw06302]
 contain cuts into expansion proofs, and solving unification problems in higherorder logic ... Mellon for a number of years. Students generally learn to use ETPS fairly quickly just...

DLVEX
 Referenced in 13 articles
[sw04642]
 unification. This work introduces a framework embedding value invention in a general context. The class...

CFTs4D
 Referenced in 14 articles
[sw23882]
 General bootstrap equations in 4D CFTs. We provide a framework for generic 4D conformal bootstrap ... computations. It is based on the unification of two independent approaches, the covariant (embedding) formalism...

ALE
 Referenced in 5 articles
[sw28843]
 with typed feature structures as terms. This generalizes both the feature structures of PATR ... structural identity conditions. Grammars may also interleave unification steps with logic program goal calls...

rtt
 Referenced in 1 article
[sw13378]
 complete algorithm for determining typability and most general polymorphic types of propositional functions ... deduction of type judgments (to support unification of orders). Software implementing these algorithms has been...

QUEST
 Referenced in 1 article
[sw18513]
 method utilizes two recent and complimentary general approaches to data analysis, information field theory ... uncover underlying structure of the unknown signal. Unification of ESP and IFT creates an approach...

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

Coq
 Referenced in 1483 articles
[sw00161]
 Coq is a formal proof management system. It...

Isabelle
 Referenced in 518 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LAPACK
 Referenced in 1490 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Maple
 Referenced in 4623 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5099 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 9880 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

SETHEO
 Referenced in 108 articles
[sw00707]
 SETHEO: A highperformance theorem prover. The paper...

REDUCE
 Referenced in 705 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

TPS
 Referenced in 67 articles
[sw00973]
 TPS and ETPS are, respectively, the Theorem Proving...

MACSYMA
 Referenced in 689 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...