Results 1 to 20 of 96
Sort by:

  • kProbLog
  • Referenced in 5 articles [sw18492]
  • kProbLog: an algebraic Prolog for kernel programming. kProbLog is a simple algebraic extension of Prolog ... kProbLog allows to elegantly specify systems of algebraic expressions on databases. We propose some code...

  • Lugares
  • Referenced in 19 articles [sw09861]
  • Lugares is a Windows program written in Prolog that offers a standard dynamic geometry environment ... symbolic capabilities of CoCoA, a computer algebra system specialized in Groebner basis computations, or Mathematica...

  • PRESS
  • Referenced in 4 articles [sw21327]
  • with PRESS. We outline a program, PRESS (PRolog Equation Solving System) for solving symbolic, transcendental ... broader field of symbolic and algebraic manipulation...

  • jDALMAS
  • Referenced in 1 article [sw30594]
  • algebraic notation based on the Kanger-Lindahl theory of normative positions. A general-level Prolog...

  • COMPAS
  • Referenced in 15 articles [sw00147]
  • In this paper we describe COMPAS -- the open...

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

  • MiniSat
  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...

  • SETHEO
  • Referenced in 122 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper...

  • R
  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...

  • Cayley
  • Referenced in 131 articles [sw01053]
  • An introduction to the Group Theory Language, Cayley...

  • NAXPERT
  • Referenced in 6 articles [sw01117]
  • NAXPERT: A prototype expert system for numerical software...

  • MACSYMA
  • Referenced in 721 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...

  • ML

  • Referenced in 524 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...

  • Modula
  • Referenced in 197 articles [sw01224]
  • The Modula programming language is a descendant of...

  • PERL
  • Referenced in 274 articles [sw01225]
  • Programming Perl. Perl is a language for easily...

  • ALGOL 68
  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...

  • COBOL
  • Referenced in 237 articles [sw01228]
  • COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...

  • Smalltalk
  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...

  • HiLog
  • Referenced in 51 articles [sw01580]
  • HiLog: A foundation for higher-order logic programming...