
tasks.lib
 Referenced in 1 article
[sw35692]
 tasks. This library provides a parallel framework based on tasks. It introduces a new Singular ... string) applied to a list of arguments. Tasks can be computed in parallel ... respects the limits for computational resources defined in resources_lib, i.e., all tasks within ... Singular session will not use more computational resources than provided via resources.lib, even if tasks...

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

LEDA
 Referenced in 263 articles
[sw00509]
 In the core computer science areas  data structures...

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

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

Matlab
 Referenced in 13460 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 565 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

NLTK
 Referenced in 40 articles
[sw00626]
 This book offers an introduction to Natural Language...

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

SageMath
 Referenced in 1970 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

PRISM
 Referenced in 442 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper...

FreeFem++
 Referenced in 1304 articles
[sw01436]
 FreeFem++ is an implementation of a language dedicated...

AFRA
 Referenced in 29 articles
[sw02090]
 AFRA: argumentation framework with recursive attacks. The issue...

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

UCIml
 Referenced in 3379 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

SPSS
 Referenced in 673 articles
[sw04269]
 SPSS is a computer program used for survey...

FEniCS
 Referenced in 806 articles
[sw04314]
 The FEniCS Project is a collaborative project for...

Simulink
 Referenced in 815 articles
[sw04348]
 Simulink® is an environment for multidomain simulation and...

WinBUGS
 Referenced in 764 articles
[sw04492]
 WinBUGS is part of the BUGS project, which...

LIBSVM
 Referenced in 1184 articles
[sw04879]
 LIBSVM is a library for Support Vector Machines...