• 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 full-angle ... these methods, users may automated prove geometry theorems, to discover new prrperties of theorems...
  • QuillenSuslin

  • Referenced in 13 articles [sw08611]
  • Quillen-Suslin 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 reflection-based decision...
  • OpenGeoProver

  • Referenced in 10 articles [sw07179]
  • algebraic geometry theorem provers it implements Wu’s and Gröbner basis methods...
  • Sturm-Tarski Theorem

  • Referenced in 1 article [sw32199]
  • roots, while the Sturm-Tarksi 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 first-order 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 well-known 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 multi-modal 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 Wu-Ritt’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...
  • FLRBFN-AMF

  • 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...