• FEniCS

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

  • Referenced in 58 articles [sw17512]
  • Earlier versions of the tool were developed in collaboration with the University of Manchester...
  • Mozart

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

  • Referenced in 19 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 71 articles [sw06140]
  • software tool aiding the development of formal proofs by man-machine collaboration. It provides...
  • 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 20 articles [sw15578]
  • online graphing, analytics, and statistics tools for individuals and collaboration, as well as scientific graphing...
  • Chombo

  • Referenced in 60 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 46 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...
  • REDBACK

  • Referenced in 4 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...
  • ContentCVS

  • Referenced in 6 articles [sw13210]
  • ContentCVS: A CVS-based Collaborative ONTology ENgineering Tool. We present ContentCVS, a system that implements...
  • 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 10 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...
  • TomoPy

  • Referenced in 7 articles [sw29945]
  • efficient analysis tools. Here an attempt to provide a collaborative framework for the analysis ... procedural programming that many researchers prefer. This collaborative platform could affect all major synchrotron facilities ... effort is now dedicated to developing new tools that can be deployed at the facility...
  • Biopython

  • Referenced in 20 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...
  • 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...
  • Construct3D

  • Referenced in 4 articles [sw40203]
  • three dimensional geometric construction tool based on the collaborative augmented reality system ”Studierstube”. Our setup ... Panel (PIP) - a two-handed 3D interaction tool that simplifies 3D model interaction. Means...
  • ConceptNet

  • Referenced in 33 articles [sw10660]
  • commonsense knowledge base and natural-language-processing tool-kit which supports many practical textual-reasoning ... Sense Project — a World Wide Web based collaboration with over 14 000 authors...
  • 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...