• ArcGIS Desktop

  • Referenced in 15 articles [sw04857]
  • ArcGIS helps you use spatial information to perform deep analysis, gain a greater understanding ... your data, and make more informed decisions. It’s a platform for: Professional GIS enables...
  • SOVAT

  • Referenced in 1 article [sw34232]
  • effective public health evaluation. The Spatial OLAP Visualization and Analysis Tool (SOVAT ... characteristics needed to make comprehensive community health decisions. By combining On-Line Analytical Processing (OLAP ... this information in both a numerical and spatial view within the same interface...
  • Be-CoDiS

  • Referenced in 15 articles [sw15918]
  • need for the development of decision tools, such as mathematical models, to assist the authorities ... this work, we propose a novel deterministic spatial-temporal model, called Between-Countries Disease Spread ... literature. Finally, a brief parameter sensitivity analysis is done. A free MATLAB version...
  • DECERNS

  • Referenced in 1 article [sw30077]
  • framework, Decerns, for multicriteria decision analysis (MCDA) of a wide range of practical problems ... DecernsMCDA for analysis of multicriteria problems, and DecernsSDSS for multicriteria analysis of spatial options. DecernsMCDA...
  • cyberGIS

  • Referenced in 1 article [sw28093]
  • geographic information science and systems (GIS), spatial analysis and modeling, and a number of geospatial ... visual analytics, and collaborative problem solving and decision-making. This paper describes three open software...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CGAL

  • Referenced in 384 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CSDP

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • GAP

  • Referenced in 3154 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 698 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • KNITRO

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

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

  • Referenced in 1904 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

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

  • Referenced in 442 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

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

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

  • Referenced in 169 articles [sw00560]
  • Maxima is a system for the manipulation of...
  • mclust

  • Referenced in 304 articles [sw00563]
  • R package mclust: Normal Mixture Modeling for Model...