• FEniCS

  • Referenced in 529 articles [sw04314]
  • collaborative project for the development of innovative concepts and tools for automated scientific computing, with...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • have developed many applications including sophisticated collaborative tools, multi-agent systems, and digital assistants...
  • Blender

  • Referenced in 13 articles [sw08125]
  • customize the application and write specialized tools; often these are included in Blender’s future ... help to advance a powerful collaborative tool: Blender is your own 3D software...
  • Matita

  • Referenced in 69 articles [sw06140]
  • software tool aiding the development of formal proofs by man-machine collaboration. It provides...
  • Protege

  • Referenced in 22 articles [sw17512]
  • Earlier versions of the tool were developed in collaboration with the University of Manchester...
  • Cabri-geometry

  • Referenced in 114 articles [sw04928]
  • result of a constant and fruitful collaboration between computer scientists, mathematicians, education specialists, and practising ... university level instruction and as a tool by mathematicians in their research work...
  • Plotly

  • Referenced in 15 articles [sw15578]
  • online graphing, analytics, and statistics tools for individuals and collaboration, as well as scientific graphing...
  • Chombo

  • Referenced in 52 articles [sw04316]
  • Differential Equations. Chombo provides a set of tools for implementing finite difference methods ... product of the community of collaborators working with the Applied Numerical Algorithms Group (ANAG), part ... LBNL. Chombo is a Swahili word meaning ”tool” or ”container...
  • Frama-C

  • Referenced in 40 articles [sw04626]
  • Frama-C is a suite of tools dedicated to the analysis of the source code ... several static analysis techniques in a single collaborative framework. The collaborative approach of Frama ... this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis...
  • DGtal

  • Referenced in 11 articles [sw11594]
  • DGtal: Digital Geometry Tools and Algorithms Library. The collaborative project DGtal aims at developing generic ... reliable digital geometry data structures, algorithms and tools. It takes the form of an open...
  • ContentCVS

  • Referenced in 6 articles [sw13210]
  • ContentCVS: A CVS-based Collaborative ONTology ENgineering Tool. We present ContentCVS, a system that implements...
  • REDBACK

  • Referenced in 3 articles [sw21421]
  • open-source framework provides a powerful tool to collaborate on numerical modelling activities ... behaviours observed. REDBACK provides a collaborative and educational tool which captures the physical and mathematical...
  • PLUMP

  • Referenced in 14 articles [sw00718]
  • CSCS-ETH/NEC collaboration in parallel processing is creating a tool environment for porting large...
  • Bio-SPICE

  • Referenced in 9 articles [sw17246]
  • exploiting these tools to further our knowledge of biological processes. In collaboration with other ... suite of analytical, simulation, and visualization tools and services to aid biological researchers engaged ... offer a comprehensive substrate for efficient research, collaboration, and publication...
  • CoFI

  • Referenced in 42 articles [sw01631]
  • development of software, is an open international collaboration. The main initial aim of CoFI ... aims of CoFI include the provision of tools and methods for supporting industrial...
  • InkChat

  • Referenced in 1 article [sw07186]
  • InkChat: A Collaboration Tool for Mathematics We investigate the question of how multimodality ... used in computer-mediated mathematical collaboration. To demonstrate our ideas, we present InkChat, a whiteboard...
  • Ubisense

  • Referenced in 1 article [sw04432]
  • technology which provides a virtual collaboration tool...
  • OnGraX

  • Referenced in 2 articles [sw19579]
  • quality of the analysis results. Collaborative visualization tools can facilitate the analysis process in such ... environment which supports distributed, synchronous and asynchronous collaboration. In addition to standard collaboration features like...
  • Quilt

  • Referenced in 1 article [sw28975]
  • Quilt is a collaboration tool for creating, managing, and sharing datasets in S3. Quilt users...
  • Biopython

  • Referenced in 16 articles [sw07357]
  • Biopython is a set of freely available tools for biological computation written in Python ... team of developers. It is a distributed collaborative effort to develop Python libraries and applications...