
DGM
 Referenced in 185 articles
[sw39282]
 linear combination of basis functions. In addition, we prove a theorem regarding the approximation power...

GEX
 Referenced in 35 articles
[sw09961]
 dynamic diagram drawing and automated geometry theorem proving and discovering. As a dynamic geometry software ... method, the area method, the Groebner basis method, the vector method, and the fullangle ... these methods, users may automated prove geometry theorems, to discover new prrperties of theorems...

QuillenSuslin
 Referenced in 13 articles
[sw08611]
 QuillenSuslin Theorem. It provides an algorithm which computes a basis of a free module...

Presburger Automata
 Referenced in 9 articles
[sw28603]
 strings in the theorem prover Isabelle/HOL. It forms the basis of a reflectionbased decision...

OpenGeoProver
 Referenced in 10 articles
[sw07179]
 algebraic geometry theorem provers it implements Wu’s and Gröbner basis methods...

SturmTarski Theorem
 Referenced in 1 article
[sw32199]
 roots, while the SturmTarksi theorem forms the basis for Tarski’s classic quantifier elimination...

Zeno
 Referenced in 11 articles
[sw07735]
 industrial strength tool ACL2s on the basis of a test suite from the IsaPlanner website ... with these tools both in terms of theorem proving power and speed...

Dr.Doodle
 Referenced in 7 articles
[sw09975]
 paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption ... conducted to evaluate its potential as the basis of an educational tool, with encouraging results...

QMLTP
 Referenced in 11 articles
[sw09915]
 platform for testing and evaluating automated theorem proving (ATP) systems for firstorder modal logics ... their comparison onto a firm basis. Version 1.1 of the QMLTP library includes 600 problems...

geom
 Referenced in 2 articles
[sw11537]
 planimetric theorems (both wellknown and comparatively new ones) are presented on the basis...

CoReLG
 Referenced in 12 articles
[sw08646]
 simple Lie algebras. These algorithms form the basis of our software package CoReLG, written ... constructive version of a classification theorem due to Sugiura...

SACLIB
 Referenced in 25 articles
[sw00823]
 numerous algorithms and also forms the basis of the quantifier elimination systems QEPCAD ... allow the compiler to act as a theorem prover that ensures that SACLIB 3.0 beta...

VBASim
 Referenced in 7 articles
[sw07154]
 simulation, covers both the probabilistic and statistical basis for simulation in a rigorous but accessible ... than providing a compendium of algorithms and theorems, and prepares the reader to use simulation...

Sibyl
 Referenced in 6 articles
[sw11995]
 Sibyl is an automated theorem prover for multimodal hibrid logic with binders, the converse ... operator. The works lying Sibyl’s theoretical basis are cited in the Publications page. Sibyl...

CharSets
 Referenced in 3 articles
[sw13623]
 package developed by Dongming Wang on the basis of WuRitt’s method of characteristic ... provers in GEOTHER, an environment for geometric theorem proving...

Poly/ML
 Referenced in 11 articles
[sw11353]
 used it to develop the Isabelle theorem prover. It was licensed by Cambridge University ... continued to develop Poly/ML. The Standard Basis Library has been implemented and the compiler converted...

HybCore
 Referenced in 1 article
[sw39405]
 adequacy theorem. To attest that the resulting semantics can serve as a firm basis...

KARNAK
 Referenced in 1 article
[sw24046]
 this paper we introduce KARNAK⋆, an automated theorem prover for the partial predicate calculus ... Partial Functions which is the logical basis of the software specification language VDM [10]. KARNAK ... that PPC⋆ is also complete. In addition, theorem preserving trans formations between...

FLRBFNAMF
 Referenced in 1 article
[sw08675]
 optimised for the functional link radial basis function network. Furthermore, the adaptive learning algorithms ... online are derived using the Lyapunov stability theorem. Finally, some experimental results for the tracking...