• TituRel

  • Referenced in 8 articles [sw08501]
  • simulations, topology, qualitative fuzzy considerations, theory extraction, social choice, decision support via interval orderings...
  • dl2asp

  • Referenced in 3 articles [sw00208]
  • internal relationships among formulas in a default theory. Based on this idea, we implement ... solving the fair division problem in social choice theory...
  • Social Choice Theory

  • Referenced in 1 article [sw28609]
  • Some classical results in Social Choice Theory. Drawing on Sen’s landmark work ”Collective Choice...
  • VoteSim

  • Referenced in 1 article [sw18870]
  • paper is that the use of social choice theory in Ambient Intelligence systems can improve ... research methodology based on agent based social simulations is employed to support this hypothesis ... application case and the most prominent social choice application, political elections, have been found...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GAUSS

  • Referenced in 119 articles [sw00322]
  • The GAUSS Mathematical and Statistical System is a...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • KNITRO

  • Referenced in 197 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

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

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • Normaliz

  • Referenced in 172 articles [sw00630]
  • Normaliz is a tool for computations in affine...
  • Octave

  • Referenced in 304 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • Paramils

  • Referenced in 87 articles [sw00678]
  • Paramils: an automatic algorithm configuration framework. The identification...
  • R

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