×

Found 159 Software Packages (Results 1–100)

PostgreSQL

Software Authors:   –
Referenced in: 52 Publications (2000–2022)
Related Software: Oracle; MySQL; Python; MS SQL Server; DB2; R; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

Pict

Software Authors:   Pierce, Benjamin C.; Turner, David N
Referenced in: 69 Publications (1998–2022)
Related Software: JoCaml; Maude; Oz; Erlang; MWB; Lolli; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

AntNet

Software Authors:   Di Caro, G.; Dorigo, M.
Referenced in: 48 Publications (1998–2015)
Related Software: AntHocNet; MACS-VRPTW; HAS-SOP; Tabu search; HAS-QAP; ns-2; …
Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Hyperopt

Software Authors:   Bergstra, J.S., Bardenet, R., Bengio, Y., Kégl, B.
Referenced in: 49 Publications (2015–2022)
Related Software: Spearmint; SMAC; Scikit; Auto-WEKA; Hyperband; TensorFlow; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

COWS

Software Authors:   Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco
Referenced in: 46 Publications (2007–2020)
Related Software: SPIN; CC-Pi; PiDuce; Maude; Orc; KLAIM; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

IF-2.0

Software Authors:   Bozga, Marius; Graf, Susanne; Mounier, Laurent
Referenced in: 37 Publications (2002–2017)
Related Software: Uppaal; Kronos; SPIN; HyTech; CADP; CMC; …
Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

PLASMA

Software Authors:   E. Agullo, J. Dongarra, B. Hadri, et al.
Referenced in: 41 Publications (2010–2021)
Related Software: MAGMA; LAPACK; ScaLAPACK; BLAS; StarPU; CUDA; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

WSAT

Software Authors:   Fu, Xiang; Bultan, Tevfik; Su, Jianwen
Referenced in: 29 Publications (2004–2019)
Related Software: BPEL2PN; CADP; SPIN; LTSA-WS; mCRL2; Woflan; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

ARock

Software Authors:   Peng, Zhimin; Xu, Yangyang; Yan, Ming; Yin, Wotao
Referenced in: 33 Publications (2016–2022)
Related Software: HOGWILD; iPiano; Saga; Finito; JuMP; Julia; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

MCK

Software Authors:   Ron van der Meyden; Peter Gammie; Kai Baukus; Jeremy Lee; Cheng Luo; Xiaowei Huang
Referenced in: 33 Publications (2004–2021)
Related Software: MCMAS; VerICS; NuSMV; CUDD; MOCHA; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

ABS

Software Authors:   Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M.
Referenced in: 29 Publications (2012–2022)
Related Software: JCobox; SACO; Erlang; Creol; COSTABS; SPEED; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

APPSPACK

Software Authors:   Genetha A. Gray; Tamara G. Kolda
Referenced in: 31 Publications (2004–2022)
Related Software: NOMAD; NEWUOA; CUTEr; SDPEN; DFO; HOPSPACK; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

PMaude

Software Authors:   Gul Agha; José Meseguer; Koushik Sen
Referenced in: 26 Publications (2005–2021)
Related Software: Maude; PVeStA; VESTA; CafeOBJ; ITP; PRISM; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

ART 3

Software Authors:   Gail A. Carpenter; Stephen Grossberg
Referenced in: 16 Publications (1992–2012)
Related Software: Fuzzy ARTMAP; UCI-ml; LVQPAK; Matplotlib; SciPy; Matlab; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Creol

Software Authors:   Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh
Referenced in: 25 Publications (2006–2022)
Related Software: Featherweight Java; ABCL; Maude; Multilisp; ABS; AmbientTalk; …
Main Fields: Computer science (68-XX)

JoCaml

Software Authors:   Fournet, Cedric; Le Fessant, Fabrice; Maranget, Luc; Schmitt, Alan
Referenced in: 26 Publications (2000–2022)
Related Software: Pict; OCaml; PiDuce; KLAIM; Erlang; Scala; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Petrify

Software Authors:   Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.
Referenced in: 24 Publications (2001–2022)
Related Software: APT; GitHub; Genet; rbminer; Uppaal; Kronos; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)

HOLyHammer

Software Authors:   Kaliszyk, Cezary; Urban, Josef
Referenced in: 26 Publications (2014–2021)
Related Software: HOL Light; Mizar; Flyspeck; Isabelle/HOL; E Theorem Prover; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)

GraphLab

Software Authors:   Yucheng Low, Joseph E. Gonzalez, Aapo Kyrola, Danny Bickson, Carlos E. Guestrin, Joseph Hellerstein
Referenced in: 20 Publications (2010–2022)
Related Software: Pregel; MapReduce; GraphX; Giraph; PowerGraph; Blogel; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

FEMPAR

Software Authors:   Santiago Badia, Alberto F. Martín, Javier Principe
Referenced in: 17 Publications (2018–2021)
Related Software: PETSc; CutFEM; p4est; FEniCS; deal.ii; Dune-UDG; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

PiDuce

Software Authors:   Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca
Referenced in: 18 Publications (2006–2020)
Related Software: XPi; XDuce; COWS; XPath; CDuce; PIPER; …
Main Fields: Computer science (68-XX)

BoolNet

Software Authors:   Christoph Müssel, Martin Hopfensitz, Dao Zhou, Hans Kestler
Referenced in: 15 Publications (2012–2022)
Related Software: Ginsim; R; Macaulay2; BioLQM; PyBoolNet; MaBoSS; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Ordinary differential equations (34-XX); Statistics (62-XX)

OmpSs

Software Authors:   Bueno J, Planas J, Duran A, Badia RM, Martorell X, Ayguade E, et al.
Referenced in: 9 Publications (2015–2022)
Related Software: StarPU; Superglue; DAGuE; CUDA; Intel TBB; QUARK; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

KAAPI

Software Authors:   Thierry Gautier; Xavier Besseron; Laurent Pigeon
Referenced in: 8 Publications (2007–2021)
Related Software: LinBox; Cilk; StarPU; SMCSolver; GXL; JaCoP; …
Main Fields: Commutative algebra (13-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

HOFiD_UP

Software Authors:   Amodio, Pierluigi; Settanni, Giuseppina
Referenced in: 13 Publications (2012–2022)
Related Software: Matlab; twpbvp; bvptwp.m; COLSYS; acdc; twpbvpl; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

SMV

Software Authors:   Ed Clarke; K. L. McMillan; E. A. Emerson; J. R. Burch
Referenced in: 13 Publications (1986–2018)
Related Software: HyTech; PHAVer; SPIN; HSolver; RSOLVER; MATISSE; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

MUI

Software Authors:   Tang, Yu-Hang; Kudo, Shuhei; Bian, Xin; Li, Zhen; Karniadakis, George Em
Referenced in: 11 Publications (2015–2021)
Related Software: preCICE; AdResS; OpenFOAM; CEDRE; MpCCI; pyprecice; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

ZeroMQ

Software Authors:   iMatix
Referenced in: 4 Publications (2016–2021)
Related Software: Python; TensorFlow; Jupyter; Parsl; DLHub; Swift; …
Main Fields: Computer science (68-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

future

Software Authors:   Henrik Bengtsson
Referenced in: 2 Publications (2021)
Related Software: R; ggplot2; doFuture; foreach; rjags; Scikit; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

VINAS-P

Software Authors:   Yoneda, Tomohiro
Referenced in: 11 Publications (2000–2019)
Related Software: Uppaal; HyTech; IMITATOR; Octagon; Z_LINEAR_K; GADMM; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Harmonic analysis on Euclidean spaces (42-XX); Convex and discrete geometry (52-XX)

HPCTOOLKIT

Software Authors:   L. Adhianto; S. Banerjee; M. Fagan; M. Krentel; G. Marin; J. Mellor-Crummey; N. R. Tallent
Referenced in: 6 Publications (2010–2021)
Related Software: TAU; Scalasca; SCALEA; PAPI; AlgoWiki; SPL Conqueror; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

QUARK

Software Authors:   Yarkhan, A., Kurzak, J., Dongarra, J.
Referenced in: 9 Publications (2012–2017)
Related Software: LAPACK; PLASMA; Cilk; StarPU; libflame; Algorithm 679; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

PetriNets

Software Authors:   C.A. Petri
Referenced in: 8 Publications (2006–2014)
Related Software: Uppaal; Kronos; TAPAAL; CMC; IF-2.0; TINA; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); General topology (54-XX); Computer science (68-XX)

ProActive

Software Authors:   Inria Sophia Antipolis
Referenced in: 6 Publications (2002–2019)
Related Software: AmbientTalk; ABS; Creol; Multilisp; IC2D; ABCL; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Geophysics (86-XX)

ASYNPLEX

Software Authors:   Hall, J.A.J.; McKinnon, K.I.M.
Referenced in: 8 Publications (1998–2018)
Related Software: PARSMI; DEVEX; HiGHS; ParISS; Benchmarks for Optimization Software; SoPlex; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CASCADE

Software Authors:   Jochen Beister, Gernot Eckstein, Ralf Wollowski
Referenced in: 8 Publications (2000–2008)
Related Software: CASCADE
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)

tKlaim

Software Authors:   De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
Referenced in: 6 Publications (2005–2008)
Related Software: KLAIM; Linda; Klava; SLMC; MWB
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ToolBus

Software Authors:   J.A. Bergstra; P. Klint
Referenced in: 6 Publications (1996–2007)
Related Software: Zapato; E Theorem Prover; CVC Lite; Chaff; GridSAT; Python; …
Main Fields: Computer science (68-XX)

DSCOVR

Software Authors:   Xiao, Lin; Yu, Adams Wei; Lin, Qihang; Chen, Weizhu
Referenced in: 7 Publications (2019–2022)
Related Software: HOGWILD; Saga; DiSCO; AIDE; RCV1; LIBSVM; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

HYPERS

Software Authors:   Omelchenko, Y.A.; Karimabadi, H.
Referenced in: 7 Publications (2012–2022)
Related Software: HPX; Gurobi; WRF-SFIRE; ForeFire; IPython; Matplotlib; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

Kit

Software Authors:   W.R. Bevier
Referenced in: 6 Publications (1993–2017)
Related Software: veriSoft; NQTHM; Haskell; PVS; Isabelle/HOL; Image Processing Toolbox; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

PARSMI

Software Authors:   Hall, J.A.J., McKinnon, K.I.M.
Referenced in: 7 Publications (2010–2018)
Related Software: HiGHS; ParISS; ASYNPLEX; Benchmarks for Optimization Software; SIMPAR; DEVEX; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SensorDCSP

Software Authors:   Béjar, Ramón; Domshlak, Carmel; Fernández, Cèsar; Gomes, Carla; Krishnamachari, Bhaskar; Selman, Bart; Valls, Magda
Referenced in: 4 Publications (2005–2020)
Related Software: DisChoco; CSPLib; PRMLT; Algorithm 97; CNCL; SATLIB
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Tac

Software Authors:   Baelde, David; Miller, Dale; Snow, Zachary
Referenced in: 7 Publications (2007–2012)
Related Software: Abella; Bedwyr; Twelf; Automath; HYBRID; Prolog; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TRANSYT

Software Authors:   Pastor, Enric; Peña, Marco A.; Solé, Marc
Referenced in: 7 Publications (1990–2013)
Related Software: Petrify; CUDD; NuSMV
Main Fields: Global analysis, analysis on manifolds (58-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

XPi

Software Authors:   Acciai, Lucia; Boreale, Michele
Referenced in: 6 Publications (2008–2020)
Related Software: PiDuce; XDuce; XPath; CDuce; CC-Pi; COWS; …
Main Fields: Computer science (68-XX)

AFACx

Software Authors:   Lee, Barry; McCormick, Stephen F.; Philip, Bobby; Quinlan, Daniel J.
Referenced in: 6 Publications (2003–2022)
Related Software: PETSc; MueLu; hypre; RODAS; SUNDIALS; Wesseling; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

CHESS

Software Authors:   Musuvathi M, Qadeer S, Ball T
Referenced in: 5 Publications (2008–2021)
Related Software: veriSoft; Eraser; AVIO; RacerX; CIL; BIDE; …
Main Fields: Computer science (68-XX)

GRINS

Software Authors:   Paul T. Bauman, Roy H. Stogner
Referenced in: 3 Publications (2018–2021)
Related Software: PETSc; deal.ii; libMesh; FEniCS; Trilinos; FreeFem++; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

HPF/JA

Software Authors:   Seo, Yoshiki; Iwashita, Hidetoshi; Ohta, Hiroshi; Sakagami, Hitoshi
Referenced in: 6 Publications (2002)
Related Software: NAS Parallel Benchmarks
Main Fields: Computer science (68-XX)

JACK

Software Authors:   Magoulès, F.; Gbikpi-Benissan, G.
Referenced in: 6 Publications (2017–2022)
Related Software: Alinea; mpi4py; TetGen; JaceP2P; JaceV; NewtonLib
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

LargeVis

Software Authors:   Jian Tang, Jingzhou Liu, Ming Zhang, Qiaozhu Mei
Referenced in: 5 Publications (2018–2022)
Related Software: largeVis; UMAP; t-SNE; Scikit; UCI-ml; openTSNE; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

pySOT

Software Authors:   David Eriksson, David Bindel, Christine Shoemaker
Referenced in: 6 Publications (2018–2022)
Related Software: EGO; MultiMin; GitHub; NOMAD; MLMSRBF; MISO; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Workcraft

Software Authors:   Poliakov, Ivan; Sokolov, Danil; Mokhov, Andrey
Referenced in: 4 Publications (2011–2022)
Related Software: VipTool; Genet; Petrify; ProM; rbminer; TINA; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

Algorithm 872

Software Authors:   Chernikov, Andrey N.; Chrisochoides, Nikos
Referenced in: 4 Publications (2008–2019)
Related Software: Triangle; CGAL; MSES; Algorithm 995; FUN3D; FIST; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

AsySPA

Software Authors:   Zhang, Jiaqi; You, Keyou
Referenced in: 5 Publications (2020–2022)
Related Software: UCI-ml; DiSCO; IMPALA; Saga; ARock
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

COSTABS

Software Authors:   Albert, E., Arenas, P., Genaim, S., Gómez-Zamalloa, M., Puebla, G.
Referenced in: 5 Publications (2012–2017)
Related Software: ABS; SPEED; SACO; JCobox; Erlang; Featherweight Java; …
Main Fields: Computer science (68-XX)

Hume

Software Authors:   Hammond, K., Michaelson, G.
Referenced in: 3 Publications (2007–2011)
Related Software: Cyclone; Cedalion; JastAdd; Feldspar; mbeddr; ArchJava; …
Main Fields: Computer science (68-XX)

MERAM

Software Authors:   Emad, Nahid; Petiton, Serge; Edjlali, Guy
Referenced in: 5 Publications (2005–2020)
Related Software: IRAM; eigs; ARPACK; MatrixMarket; CUBLAS; SparseMatrix; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

PSync

Software Authors:   Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien
Referenced in: 5 Publications (2016–2021)
Related Software: Verdi; SPIN; ByMC; z3; Distal; Horus; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PVM-RPC

Software Authors:   Krantz, A.T.; Sunderam, V.S.
Referenced in: 5 Publications (1997–2002)
Related Software: PVM; NetSolve
Main Fields: Computer science (68-XX)

FastInf

Software Authors:   Jaimovich, Ariel; Meshi, Ofer; Mcgraw, Ian; Elidan, Gal
Referenced in: 4 Publications (2010–2016)
Related Software: LibDAI; Alchemy; PMTK; L-BFGS; Libra; OpenGM; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

icity

Software Authors:   Stevens, D., Dragicevic, S., & Rothley, K.
Referenced in: 3 Publications (2008–2014)
Related Software: LUCAS; AntNet; QUAL2Kw; SymbolicC++; FANN
Main Fields: Computer science (68-XX); Fluid mechanics (76-XX); Operations research, mathematical programming (90-XX)

ParaMEME

Software Authors:   Grundy WN, Bailey TL, Elkan CP
Referenced in: 3 Publications (2002–2015)
Related Software: Algorithm 97; ClustalW; MODA; MultiPhyl; PathBLAST; Graemlin; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

PyCOMPSs

Software Authors:   E. Tejedor, Y. Becerra, G. Alomar, A. Queralt, R. M. Badia, J. Torres, T. Cortes, J. Labarta
Referenced in: 2 Publications (2021)
Related Software: Dask; Parsl; Python; Swift; ZeroMQ; Hadoop; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

SynchAADL2Maude

Software Authors:   Bae, K., Ölveczky, P.C., Meseguer, J., Al-Nayeem, A.
Referenced in: 2 Publications (2015)
Related Software: Maude; Uppaal; AADL; dReal; Quicksort; Dist-Orc; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Catalyst.RL

Software Authors:   Sergey Kolesnikov, Oleksii Hrinchuk
Referenced in: 1 Publication (2021)
Related Software: Dopamine; RLlib; OpenAI Gym; Python; rlpyt; ChainerRL; …
Main Fields: Computer science (68-XX)

CCMA

Software Authors:   Benachour, P.; Markarian, G.; Honary, B.
Referenced in: 3 Publications (1997–2007)
Related Software:
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Celery

Software Authors:   –
Referenced in: 0 Publications
Related Software: Python; ImageNet; Dask; SCOOP; hompi; NDL; …
Main Fields:

CHR.js

Software Authors:   Falco Nogatz; Thom Frühwirth; Dietmar Seipel
Referenced in: 2 Publications (2020)
Related Software: FACTORIE; PAKCS; Church; FlatCurry; EasyCheck; KiCS2; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CometG

Software Authors:   Li, Zhen; Parashar, Manish
Referenced in: 1 Publication (2006)
Related Software: Chord; Linda; Satin; AutoDock; ABCtoolbox; CHARMM; …
Main Fields: Computer science (68-XX)

CYCLADES

Software Authors:   Xinghao Pan, Maximilian Lam, Stephen Tu, Dimitris Papailiopoulos, Ce Zhang, Michael I. Jordan, Kannan Ramchandran, Chris Re, Benjamin Recht
Referenced in: 3 Publications (2018–2019)
Related Software: HOGWILD; MovieLens; D-ADMM; ColPack; Saga; RCV1; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

DUNE-FEM-DG

Software Authors:   Andreas Dedner; Stefan Girke; Robert Klöfkorn; Tobias Malkmus
Referenced in: 3 Publications (2019–2022)
Related Software: Dune-FemPy; Python; DUNE-FEM; Feel++; deal.ii; DUNE; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

HyDI

Software Authors:   Cimatti A, Mover S, Tonetta S
Referenced in: 3 Publications (2013–2015)
Related Software: SpaceEx; MathSAT; HySAT; HyCreate; HYST; Charon; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

Imandra

Software Authors:   Grant Olney Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto
Referenced in: 3 Publications (2020–2021)
Related Software: Zeno; SMT-LIB; VAMPIRE; CVC4; AVATAR; eThor; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MPGOS

Software Authors:   Hegedűs, Ferenc
Referenced in: 3 Publications (2020–2022)
Related Software: ginSODA; GitHub; CUDA; SUNDIALS; Matlab; ode23s; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

Mrnet

Software Authors:   P. Roth, D. Arnold, B. Miller
Referenced in: 2 Publications (2008–2010)
Related Software: TotalView
Main Fields: Computer science (68-XX)

NewGOA

Software Authors:   Yu, G.; Fu, G.; Wang, J.; Zhao, Y.
Referenced in: 3 Publications (2020–2022)
Related Software: COFACTOR; DeepGOPlus; DeepGO; QAUST; ProTranslator; GOLabeler; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Timed Rebeca

Software Authors:   Khamespanah, E., Sirjani, M., Sabahi-Kaviani, Z., Khosravi, R., Izadi, M.
Referenced in: 3 Publications (2016–2020)
Related Software: Rebeca; Uppaal; SPIN; HOL/SPIN
Main Fields: Computer science (68-XX)

UPC++

Software Authors:   Yili Zheng; Amir Kamil; Michael B. Driscoll; Hongzhang Shan; Katherine Yelick
Referenced in: 1 Publication (2018)
Related Software: Chapel; Legion; Kokkos; Trilinos; OpenACC; Thrust; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX)

Aeon

Software Authors:   Beneš, Nikola; Brim, Luboš; Pastva, Samuel; Šafránek, David
Referenced in: 2 Publications (2020–2021)
Related Software: Cytoscape.js; ATLANTIS; PyBoolNet; ASSA-PBN; BioModelAnalyzer; Ginsim; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

BioLQM

Software Authors:   Naldi, A.
Referenced in: 1 Publication (2022)
Related Software: BoolNet; Pint; PyBoolNet; usefun; MaBoSS; Cellnoptr; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Biology and other natural sciences (92-XX)

CLF

Software Authors:   Watkins, Kevin; Cervesato, Iliano; Pfenning, Frank; Walker, David
Referenced in: 2 Publications (2007–2018)
Related Software: Nominal Isabelle; Agda; Abella; Isabelle/HOL
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Clide

Software Authors:   Christoph Lüth; Martin Ring
Referenced in: 2 Publications (2013–2014)
Related Software: Isabelle/jEdit; Proof General; Isabelle; Mizar; Isabelle/HOL; jEdit
Main Fields: Computer science (68-XX)

CoBoxes

Software Authors:   Jan Schäfer, Arnd Poetzsch-Heffter
Referenced in: 1 Publication (2017)
Related Software: JavAdaptor; JCobox; ABS; Fredhopper; Creol; Maude; …
Main Fields: Computer science (68-XX)

CRAFT

Software Authors:   Faisal Shahzad, Jonas Thies, Moritz Kreutzer, Thomas Zeiser, Georg Hager, Gerhard Wellein
Referenced in: 2 Publications (2019–2021)
Related Software: FE2TI; FEAP; MUMPS; PETSc; hypre; BoomerAMG; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

EDUCO

Software Authors:   Kurhila, Jaakko; Miettinen, Miikka; Nokelainen, Petri; Tirri, Henry
Referenced in: 2 Publications (2002)
Related Software:
Main Fields: Computer science (68-XX)

GRL

Software Authors:   Jebali F, Lang F, Mateescu R
Referenced in: 1 Publication (2016)
Related Software: AADL; LNT2LOTOS; Esterel; Polychrony; CADP; SPIN; …
Main Fields: Computer science (68-XX)

HAL_

Software Authors:   Chris Houck , Gul Agha
Referenced in: 2 Publications (1992–2000)
Related Software: Python; CHARM++; Oz; PROCOL; Ada95
Main Fields: Computer science (68-XX)

HEREZH++

Software Authors:   Rio, G.; Laurent, H.; Bles, G.
Referenced in: 2 Publications (2005–2008)
Related Software: UMAT; ABAQUS
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

IDB-ADOPT

Software Authors:   Yeoh, William; Felner, Ariel; Koenig, Sven
Referenced in: 1 Publication (2009)
Related Software:
Main Fields: Computer science (68-XX)

JaceP2P

Software Authors:   Bahi, J.M.; Couturier, R.; Vuillemin, P.
Referenced in: 1 Publication (2018)
Related Software: Alinea; JACK; JaceV; NewtonLib
Main Fields: Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

JaceV

Software Authors:   Bahi, J.M.; Couturier, R.; Vuillemin, P.
Referenced in: 1 Publication (2018)
Related Software: JaceP2P; Alinea; JACK; NewtonLib
Main Fields: Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MinEX

Software Authors:   Das, Sajal K.; Harvey, Daniel J.; Biswas, Rupak
Referenced in: 2 Publications (2002–2006)
Related Software: METIS; NetSolve
Main Fields: Computer science (68-XX)

MPSA

Software Authors:   Sanvicente-Sánchez, Héctor; Frausto-Solís, Juan
Referenced in: 2 Publications (2002)
Related Software:
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

NMRPipe

Software Authors:   F Delaglio, S Grzesiek, G.W Vuister, G Zhu, J Pfeifer, A Bax
Referenced in: 1 Publication (2020)
Related Software: XPLO2D; VMD-XPLOR; VMD; CNS; CHARMM; Xplor-NIH; …
Main Fields: Biology and other natural sciences (92-XX)

PARyOpt

Software Authors:   Balaji Sesha Sarath Pokuri; Alec Lofquist; Chad M Risko; Baskar Ganapathysubramanian
Referenced in: 1 Publication (2020)
Related Software: PyPI; Python
Main Fields: Fluid mechanics (76-XX)

POOSL

Software Authors:   Theelen, B. D.; Voeten, J. P. M.; Kramer, R. D. J.
Referenced in: 2 Publications (2003–2007)
Related Software: Esterel; Uppaal; TIMES
Main Fields: Computer science (68-XX)

PTTAC

Software Authors:   Camacho, M.A., Merayo, M.G., Medina-Bulo
Referenced in: 2 Publications (2017–2018)
Related Software:
Main Fields: Computer science (68-XX)

RoutingLib

Software Authors:   Zmigrod, Ran; Daggitt, Matthew L.; Griffin, Timothy G.
Referenced in: 2 Publications (2018–2020)
Related Software: Agda; GitHub
Main Fields: Computer science (68-XX)