Science and research
Software built for scientific research.
Includes: Research software for the sciences, astronomy and research environments.
For example: Stellarium, Cytoscape, GROMACS.
Subcategories
214 listed products
| Product | What it says it does |
|---|---|
| Spartan | Spartan is a general purpose molecular modeling application providing an elegant graphical user interface and integrated molecular… |
| Materials Studio | BIOVIA Materials Studio is a complete modeling and simulation environment designed to allow researchers in materials science and chemistry… |
| ABINIT | ABINIT is a software suite to calculate the optical, mechanical, vibrational, and other observable properties of materials. |
| Alt-Ergo | Alt-Ergo is an automatic prover of mathematical formulas used behind software verification tools such as Frama-C, SPARK, Why3, Atelier-B… |
| APOPT | Turn race footage into personal highlight reels, training videos into practical form feedback, and wearable data into decisions athletes… |
| CHARMM | A molecular simulation program with broad application to many-particle systems with a comprehensive set of energy functions |
| Citavi | Citavi is reference management software that combines knowledge organization and AI-powered insights into one intelligent workflow. |
| Cn3D | is a helper application for your web browser that allows you to view 3-dimensional structures from NCBI's Entrez Structure database. |
| Gates Open Research | Gates Open Research is a platform for transparent open access publication of trusted, peer reviewed research funded by the Gates Foundation |
| Madagascar | Madagascar is an open-source software package for multidimensional data analysis and reproducible computational experiments. |
| Magma | Magma is a large, well-supported software package designed for computations in algebra, number theory, algebraic geometry, and algebraic… |
| OpenAtom | OpenAtom is a software for studying atomic, molecular, and condensed phase materials systems based on quantum chemical principles. |
| Q-Chem | Q-Chem enables quick, accurate predictions of structure, reactivities, properties, spectra, and more for molecules and materials. |
| Quantum ESPRESSO | Is an integrated suite of open-source computer codes for electronic-structure calculations and materials modeling at the nanoscale. |
| refbase | refbase is a web-based, standards-compliant, multi-user interface for managing scientific literature & bibliographic references. |
| Referencer | Referencer is a GNOME application to organize documents or references, and ultimately generate a BibTeX bibliography file. |
| TPTP | The TPTP (Thousands of Problems for Theorem Provers) problem library is a collection of test problems for Automated Theorem Proving (ATP)… |
| Tropy | Take control of your research photos with Tropy, a tool that shortens the path from finding archival sources to writing about them. |
| viXra | An alternative archive of 46240 e-prints in Science, Mathematics & Other Scholarly Areas serving the whole scientific community |
| XMLmind XML Editor | A strictly validating, near WYSIWYG, DocBook editor, DITA editor, XHTML editor, MathML editor, XML editor, aimed at technical writers |
| Yacas | Yacas is an easy to use, general purpose Computer Algebra System, a program for symbolic manipulation of mathematical expressions. |
| YAMBO code | YAMBO implements Many-Body Perturbation Theory (MBPT) methods (such as GW and BSE) and Time-Dependent Density Functional Theory (TDDFT), |
| Yasara | YASARA is a molecular-graphics, -modeling and -simulation program for Windows, Linux, MacOS and Android developed since 1993, |
| arXiv | arXiv is a free distribution service and an open-access archive for more than 3.2 million |
| Bookends | Bookends is a full-featured reference management app for students and professionals. |
| CASTEP | CASTEP is a leading code for calculating the properties of materials from first principles. |
| ChemCraft | Chemcraft is a graphical program for working with quantum chemistry computations. |
| CPLEX | Model and solve complex planning, scheduling and resource assignment problems with world-class optimization solvers. |
| Cryptology ePrint Archive | The Cryptology ePrint Archive provides rapid access to recent research in cryptology. |
| Dirac | The DIRAC program computes molecular properties using relativistic quantum chemical methods. |
| Dmaths | macros pour faciliter l'édition de formules mathématiques sous Libreoffice, OpenOffice et Word. |
| engrXiv | engrXiv (Engineering Archive) is dedicated to the dissemination of engineering knowledge quickly and efficiently. |
| European Holocaust Research Infrastructure | EHRI is the permanent European infrastructure for Holocaust research and documentation. |
| Geometrix | Logiciel d'intelligence artificielle, GEOMETRIX est la seule application capable de corriger en direct |
| GROMACS | A free and open-source software suite for high-performance molecular dynamics and output analysis. |
| Jaguar | Quantum mechanics solution for rapid and accurate prediction of molecular structures and properties |
| Matheass | MatheAss is an extensive collection of routines that allow many tasks from school mathematics to be solved |
| MathGraph32 | Logiciel libre de géométrie, d'analyse et de simulation multiplateforme par Yves Biton |
| Meta.Numerics | Meta.Numerics is a library for advanced scientific computation in the .NET Framework. |
| MODELLER | MODELLER is used for homology or comparative modeling of protein three-dimensional structures (1,2). |
| Mol* | is a modern web-based open-source toolkit for visualisation and analysis of large-scale molecular data |
| MOLCAS | Molcas is an ab initio quantum chemistry software package developed by scientists to be used by scientists. |
| MOLPRO | is a comprehensive system of ab initio programs for advanced molecular electronic structure calculations, |
| MPQC | is a research package for ab initio simulation of the electronic structure of molecules and periodic solids |
| NAMD | is a parallel molecular dynamics code designed for high-performance simulation of large biomolecular systems. |
| Optimus platform | find out how Optimus enables leading manufacturers in engineering-intense industries |
| PEAKS | PEAKS is an intuitive and powerful software platform for proteomics data analysis |
| Photomath | Our step-by-step explanations help you break down problems so you can learn as you go. |
| PyMOL | PyMOL is a user-sponsored molecular visualization system on an open-source foundation |
| Python(x,y) | free scientific and engineering development software for numerical computations, data analysis and data visualization |
| RDock | A Fast, Versatile and Open Source Program for Docking Ligands to Proteins and Nucleic Acids |
| Scigress | SCIGRESS is a multiplatform molecular design, modeling and dynamics software suite |
| SHARC molecular dynamics software | is a software package created by the González group in Vienna to study the excited-state dynamics of molecules. |
| Simulation Open Framework Architecture | SOFA is an efficient framework dedicated to research, prototyping and development of physics-based simulations. |
| SmartDO | Global Design Optimization Software for CAE Optimization, FEA Optimization and general purpose design optimization |
| SPASS | as a workbench of tools where the successor of the classic prover is simply one component. |
| Stella | Stella lets you create and view polyhedra, then print the unfolded nets required to build your own paper models. |
| TeraChem | Ab initio molecular dynamics simulation (1ps) performed in hours using TeraChem on a desktop. |
| TomSym | TomSym is a TOMLAB class for modeling optimization, constraint programming and optimal control problems in MATLAB, |
| WIEN2k | allows to perform electronic structure calculations of solids using density functional theory (DFT). |
| WikiJournal Preprints | This preprint server allows you to create and edit academic articles drafts before submission for external peer review. |
| Algebrator | Solve an equation, inequality or a system. |
| AutoDock | AutoDock is a suite of automated docking tools. |
| Biblioscape | bibliography software for researchers to generate citations |
| BibTeX | Bib T e X – Process bibliographies (bib files) for L a T e X or other formats |
| BigDFT | A fast, precise, and flexible DFT code for ab-initio atomistic simulation |
| BIOVIA Discovery Studio | Comprehensive Modeling and Simulation for Life Sciences Research |
| BLAST | BLAST finds regions of similarity between biological sequences. |
| CP2K | CP2K is a quantum chemistry and solid state physics software package |
| CRYSTAL | A powerful and scalable computational tool |
| Cytoscape | An Open Source Platform for Complex Network Analysis and Visualization |
| Docear | Docear is a unique solution to academic literature management |
| Electronic Colloquium on Computational Complexity | as a forum and repository for the rapid and widespread interchange |
| EndNote | EndNote is a powerful reference management tool that helps you save time |
| Episciences | A Diamond Open Access scientific publishing platform covering all disciplines |
| FHI-aims | All-electron electronic structure theory with numeric atom-centered orbitals. |
| FieldTrip | FieldTrip is the MATLAB software toolbox for MEG, EEG and iEEG analysis |
| Gaussian | Expanding the limits of computational chemistry |
| GeoGebra | GeoGebra is an interactive mathematics platform for teaching and learning. |
| GHTopo | GHTopo: Logiciel de topographie spéléologique |
| HOL Light | HOL Light is a computer program to help users prove interesting mathematical |
| InstrumenPoche | un outil permettant de créer et lire des animations d'outils de géométrie |
| Jpred | JPred is a Protein Secondary Structure Prediction server |
| Jurn | Search millions of free academic articles, chapters and theses. |
| KaTeX | The fastest math typesetting library for the web. |
| Kig | Kig is an interactive mathematics software for learning and teaching geometry. |
| knitr | Elegant, flexible, and fast dynamic report generation with R |
| LAMMPS | LAMMPS is a classical molecular dynamics code with a focus on materials |
| LibreOffice Math | Easily write mathematical formulas using a visual editor or plain text. |
| LiveMath | A symbolic algebra and graphing platform for the rest of us |
| Mascot | trusted reference standard for protein identification by mass spectrometry |
| MathJax | A JavaScript display engine for mathematics that works in all browsers. |
| MathType | Create and edit math formulas with our math editor, MathType. |
| MINLOG | Minlog is an interactive proof system developed by |
| Molekel | Molekel is an open-source multi-platform molecular visualization program. |
| MOPAC | Enabling simple, low-cost quantum chemistry calculations since 1983. |
| OpenMS | An expert-crafted ecosystem of computational mass spectrometry tools |
| OpenOffice Math | Math is Apache OpenOffice’s component for mathematical equations. |
| OptiY | Leader in CAE-based Design for Reliability and Quality |
| Orac | A molecular dynamics program to simulate solvated biomolecules |
| PIONIER | Ogólnopolska infrastruktura informatyczna oraz usługi dla nauki |
| Polymake | polymake is open source software for research in polyhedral geometry. |
| Prover9 | Prover9 is an automated theorem prover for first-order and equational logic, |
| ReadCube | Discover, read, organize, and cite research literature, all in one platform. |
| Research Square | Research Square lets you share your work early, gain feedback from the community |
| RMG (program) | computer code for electronic structure calculations and modeling of materials |
| RQDA | RQDA is an easy to use tool to assist in the analysis of textual data. |
| Sage | SageMath - Open-Source Mathematical Software System |
| SAMSON | SAMSON is the quickly growing platform for integrated molecular design. |
| Stellarium | Stellarium is a free open source planetarium for your computer. |
| Swiss-model | is a fully automated protein structure homology-modelling server, |
| Tellico | Collection management software, free and simple |
| TextGrid | TextGrid ist eine Virtuelle Forschungsumgebung für die Geisteswissenschaften |
| TracenPoche | TracenPoche est un logiciel de géométrie dynamique utilisable sur |
| UCSF Chimera | UCSF Chimera is a program for the interactive visualization |
| Vampire theorem prover | Vampire is a theorem prover, that is, a system able to prove theorems |
| Vector NTI | that you use Vector NTI as your primary design and analysis tool |
| Vienna Ab-initio Simulation Package | atomic scale materials modelling from first principles. |
| Visual Molecular Dynamics | VMD is a molecular visualization program for displaying, animating, |
| WIRIS | Digital solutions for Math and Science Education | Wiris |
| Ascalaph Designer | Molecular Modelling Suite |
| bioRxiv | the preprint server for Biology |
| BOSS | The Monte Carlo engine the rest runs on. |
| Cartes du Ciel | Free software to draw sky charts |
| Cinderella | The Interactive Geometry Software |
| Fermat | Fermat, Computer Algebra System |
| JabRef | JabRef — Reference manager |
| Mitaka | 宇宙の階層構造をリアルタイムに可視化するソフトウェアです。 |
| Nektar++ | Nektar++ – Spectral/hp Element Framework |
| Presentation | commercial name of a software for conducting psychological and neurobehavioral experiments, using sensitive, muscular, cardiorespiratory… |
| AfricArxiv | online, publicly accessible digital repository for African scientists to share their research outputs |
| Agilent ChemStation | software for liquid chromatography, gas chromatography, and ultraviolet-visible spectroscopy |
| MuPAD | computer algebra system (CAS), originally developed by the MuPAD research group at the University of Paderborn, Germany |
| Prototype Verification System | specification language integrated with support tools and an automated theorem prover |
| AMBER | software for simulating force fields for the molecular dynamics of biomolecules |
| Atomistix ToolKit | software for atomic-scale modeling and simulation of nanosystems |
| Biber | bibliography information processing program |
| BibSonomy | social bookmarking and publication-sharing system |
| ChemWindow | chemical structure drawing and publishing program |
| FastQC | bioinformatics software for quality control |
| FORM | mathematical software for symbolic manipulation |
| Gabedit | graphical user interface for several computational chemistry packages |
| Gekko (optimization software) | modeling language for machine learning and optimization |
| GNPS | database of mass spectra and web-based data processing environment |
| Jmol | Jmol is an open-source Java viewer for chemical structures in 3D |
| Kimeme | open platform for multi-objective optimization |
| Mendeley | reference management software; product of Elsevier |
| OpenCog | open source artificial intelligence software framework |
| RaptorX | software for protein modeling and analysis |
| RasMol | software for the visualisation of macromolecules |
Showing 150 of 214: products read from their own pages first. The rest are in the subcategories. 129 of these are read from their own pages. A product appears where AirStack's category list places it; 7,865 of 13,386 listed products carry no category yet.