
CCUBE
 Referenced in 5 articles
[sw17366]
 calculus for extensible constraint domains within monoid comprehensions, which serve as an optimizationlevel language ... constraint calculus. The model for the monoid comprehensions, in turn, is based on the notion ... furthermore, is tightly integrated with the monoid comprehensions to allow deeply interleaved global optimization...

Isabelle
 Referenced in 617 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

Macaulay2
 Referenced in 1721 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 2986 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5168 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6041 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Plural
 Referenced in 83 articles
[sw00719]
 Singular is a computer algebra system (CAS) developed...

SINGULAR
 Referenced in 1412 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

Haskell
 Referenced in 853 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

Mizar
 Referenced in 470 articles
[sw04704]
 The Mizar System is the only implementation of...

XQuery
 Referenced in 123 articles
[sw06669]
 XML is a versatile markup language, capable of...

Automath
 Referenced in 406 articles
[sw07127]
 Automath is a language designed by N.G. the...

Python
 Referenced in 1582 articles
[sw14460]
 Python is a widely used highlevel, general...

OPL
 Referenced in 32 articles
[sw21239]
 Search and strategies in OPL. OPL is a...

YACC
 Referenced in 67 articles
[sw26931]
 Yacc (Yet Another CompilerCompiler) is a computer...

McPAT
 Referenced in 6 articles
[sw27655]
 McPAT: an integrated power, area, and timing modeling...