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