- Referenced in 5 articles
- 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...
- Referenced in 19 articles
- 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...
- Referenced in 4 articles
- with PRESS. We outline a program, PRESS (PRolog Equation Solving System) for solving symbolic, transcendental ... broader field of symbolic and algebraic manipulation...
- Referenced in 1 article
- algebraic notation based on the Kanger-Lindahl theory of normative positions. A general-level Prolog...
- Referenced in 15 articles
- In this paper we describe COMPAS -- the open...
- Referenced in 1906 articles
- Coq is a formal proof management system. It...
- Referenced in 584 articles
- An extensible SAT-solver. MiniSat is a minimalistic...
- Referenced in 122 articles
- SETHEO: A high-performance theorem prover. The paper...
- Referenced in 10196 articles
- R is a language and environment for statistical...
- Referenced in 131 articles
- An introduction to the Group Theory Language, Cayley...
- Referenced in 6 articles
- NAXPERT: A prototype expert system for numerical software...
- Referenced in 721 articles
- Macsyma is a general purpose symbolic-numerical-graphical...
- Referenced in 524 articles
- ML (’Meta Language’) is a general-purpose functional...
- Referenced in 197 articles
- The Modula programming language is a descendant of...
- Referenced in 274 articles
- Programming Perl. Perl is a language for easily...
- Referenced in 291 articles
- ALGOL 68 (short for ALGOrithmic Language 1968) is...
- Referenced in 237 articles
- COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...
- Referenced in 190 articles
- Smalltalk is an object-oriented, dynamically typed, reflective...
- Referenced in 51 articles
- HiLog: A foundation for higher-order logic programming...