×

Found 137 Software Packages (Results 1–100)

Matlab

Software Authors:   MathWorks Inc
Cited in: 13,110 Publications (1982–2024)
Related Software: Simulink; LMI toolbox; Maple; MATLAB ODE suite; ode23; ode45; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Python

Software Authors:   Guido van Rossum
Cited in: 1,094 Publications (1991–2023)
Related Software: SciPy; NumPy; Matplotlib; Scikit; Matlab; PyTorch; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Octave

Software Authors:   John W. Eaton
Cited in: 279 Publications (1992–2022)
Related Software: Matlab; R; Scilab; Python; Mathematica; LAPACK; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

Ada95

Software Authors:   Jean Ichbiah
Cited in: 274 Publications (1979–2022)
Related Software: Modula; Eiffel; Smalltalk; Simula 67; ALGOL 68; ML; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

LISP

Software Authors:   McCarthy, John
Cited in: 111 Publications (1960–2020)
Related Software: ACL2; NQTHM; Haskell; ML; Coq; REDUCE; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

MadGraph

Software Authors:   Alwall, Johan; Herquet, Michel; Maltoni, Fabio; Mattelaer, Olivier; Stelzer, Tim
Cited in: 95 Publications (2010–2022)
Related Software: PYTHIA8; FeynRules; SHERPA; MadEvent; FeynArts; CompHep; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

MCMAS

Software Authors:   Alessio Lomuscio, Hongyang Qu, Franco Raimondi
Cited in: 81 Publications (2006–2022)
Related Software: MCMAS-SLK; MCK; MOCHA; VerICS; PRISM; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

COMET

Software Authors:   Michel, Laurent; See, Andrew; van Hentenryck, Pascal
Cited in: 75 Publications (2004–2021)
Related Software: CPLEX; Localizer; Gecode; SALSA; CSPLib; MiniZinc; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

Pict

Software Authors:   Pierce, Benjamin C.; Turner, David N
Cited 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)

CasADi

Software Authors:   Andersson, Joel; Åkesson, Johan; Diehl, Moritz
Cited in: 66 Publications (2012–2022)
Related Software: Ipopt; ACADO; qpOASES; Matlab; HSL; SUNDIALS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

YAWL

Software Authors:   van der Aalst, Wil M.P.
Cited in: 26 Publications (2004–2021)
Related Software: Taverna; Woflan; WSAT; PNML; Oracle; BPEL2PN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SWIG

Software Authors:   Beazley, D.M.
Cited in: 39 Publications (2000–2022)
Related Software: Python; NumPy; F2PY; SciPy; Octave; Matlab; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

SIGNAL

Software Authors:   Nowak, David; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul
Cited in: 48 Publications (1987–2018)
Related Software: Esterel; LUSTRE; Ptolemy; Simulink; Polychrony; StateFlow; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

TREX

Software Authors:   Annichini, Aurore; Bouajjani, Ahmed; Sighireanu, Mihaela
Cited in: 39 Publications (2001–2021)
Related Software: FAST; HyTech; LASH; Uppaal; IMITATOR; Kronos; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Handel-C

Software Authors:   –
Cited in: 28 Publications (2001–2020)
Related Software: Circus; Haskell; Xilinx; Z; Isabelle/UTP; Isabelle/Circus; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

CHARM++

Software Authors:   Laxmikant V. Kale; Sanjeev Krishnan
Cited in: 31 Publications (1997–2023)
Related Software: PETSc; Cilk; ParFUM; ParaView; deal.ii; Chapel; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

CIL

Software Authors:   Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.
Cited in: 30 Publications (2002–2022)
Related Software: BLAST; CBMC; SLAM; CUTE; veriSoft; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

CLAIRE

Software Authors:   Caseau, Yves; Josset, François-Xavier; Laburthe, François
Cited in: 32 Publications (1998–2019)
Related Software: Oz; Choco; SALSA; CHIP; BL data set; ELAN; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

OPL

Software Authors:   Van Hentenryck, Pascal; Perron, Laurent; Puget, Jean-Francois
Cited in: 35 Publications (2000–2022)
Related Software: CHIP; SALSA; AMPL; CPLEX; Zinc; COMET; …
Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

dSPIN

Software Authors:   Demartini, C., Iosif, R., Sisto, R.
Cited in: 22 Publications (2000–2014)
Related Software: SPIN; Bandera; Java PathFinder; veriSoft; Bogor; Bebop; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

BETA

Software Authors:   Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard
Cited in: 21 Publications (1985–2016)
Related Software: Eiffel; Simula 67; Smalltalk; BetaSim; PolyTOIL; Featherweight Java; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

SETL

Software Authors:   Schwartz, J. T.; Dewar, R. B. K.; Dubinsky, E.; Schonberg, E.
Cited in: 27 Publications (1986–2021)
Related Software: Z; JSetL; Referee; AEtnaNova; MiniZinc; seL4; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); General algebraic systems (08-XX)

MLlib

Software Authors:   Meng, Xiangrui; Bradley, Joseph; Yavuz, Burak; Sparks, Evan; Venkataraman, Shivaram; Liu, Davies; Freeman, Jeremy; Tsai, Db; Amde, Manish; Owen, Sean; Xin, Doris; Xin, Reynold; Franklin, Michael J.; Zadeh, Reza; Zaharia, Matei; Talwalkar, Ameet
Cited in: 22 Publications (2016–2022)
Related Software: Apache Spark; Scikit; Spark; LIBSVM; MapReduce; Hadoop; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

Tom

Software Authors:   Emilie Balland; Paul Brauner; Radu Kopetz; Pierre-Etienne Moreau; Antoine Reilles
Cited in: 22 Publications (2006–2022)
Related Software: Stratego; Maude; ASF+SDF; ELAN; PORGY; Haskell; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

ForwardDiff

Software Authors:   Jarrett Revels, Miles Lubin, Theodore Papamarkou
Cited in: 20 Publications (2017–2022)
Related Software: Julia; PyTorch; TensorFlow; Ipopt; JuMP; Stan; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

Essence

Software Authors:   Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian
Cited in: 25 Publications (2008–2022)
Related Software: MiniZinc; Zinc; ESRA; Gecode; COMET; AMPL; …
Main Fields: Associative rings and algebras (16-XX); Computer science (68-XX); Quantum theory (81-XX)

Möbius

Software Authors:   William H. Sanders
Cited in: 19 Publications (2001–2021)
Related Software: SMART_; PEPA; SHARPE; PRISM; GreatSPN 1.7; SPNP; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

MTT

Software Authors:   Durán, F., Lucas, S., Meseguer, J.
Cited in: 25 Publications (2008–2022)
Related Software: Maude; AProVE; OBJ3; CafeOBJ; MU-TERM; Maude-NPA; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

MACHAR

Software Authors:   Cody, W.J.
Cited in: 22 Publications (1988–2018)
Related Software: EISPACK; SPECFUN; Algorithm 528; LAPACK; CELEFUNT; LINPACK; …
Main Fields: Special functions (33-XX); Numerical analysis (65-XX); Computer science (68-XX)

PAG

Software Authors:   Martin, Florian
Cited in: 20 Publications (1996–2018)
Related Software: NINJA; MPI/MPICH; PHiPAC; PLAPACK; FFTW; BLAS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

GPGPU

Software Authors:   Luebke, D., Harris, M., Govindaraju, N., Lefohn, A., Houston, M., Owens, J., Segal, M., Papakipos, M., Buck, I.
Cited in: 14 Publications (2006–2018)
Related Software: CUDA; OpenACC; OpenCL; HOSTA; MPI; ATLAS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

Maria

Software Authors:   M"akel"a, Marko
Cited in: 19 Publications (2000–2021)
Related Software: LoLA; Uppaal; M-nets; Isabelle; PEP; Kronos; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Biology and other natural sciences (92-XX)

FAdo

Software Authors:   André Almeida; Marco Almeida; José Alves; Nelma Moreira; Rogério Reis
Cited in: 15 Publications (2010–2021)
Related Software: GUItar; Python; Vaucanson; OpenFst; Regular Sets; PDCoq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

CArtAgO

Software Authors:   Alessandro Ricci; Andrea Santi; Michele Piunti; Mirko Viroli; Andrea Omicini; Marco Guidi; Mattia Minotti
Cited in: 7 Publications (2009–2011)
Related Software: Jason; Jadex; AgentSpeak; 2APL; ReSpecT; simpA; …
Main Fields: Computer science (68-XX)

Fiat

Software Authors:   Delaware, B., Claudel, C.P., Gross, J., Chlipala, A.
Cited in: 14 Publications (2015–2019)
Related Software: Coq; Isabelle/HOL; Isabelle; CertiCoq; CakeML; OCaml; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

CertiCoq

Software Authors:   Anand, A., Appel, A., Morrisett, G., Paraskevopoulou, Z., Pollack, R., Belanger, O.S., Sozeau, M., Weaver, M.
Cited in: 13 Publications (2017–2022)
Related Software: Coq; CakeML; OEuf; Isabelle/HOL; HOL; Fiat; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

Dylan

Software Authors:   Shalit A
Cited in: 12 Publications (1996–2014)
Related Software: Python; Eiffel; Cecil; Ruby; LISP; R; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

NESL

Software Authors:   Blelloch, Guy E.
Cited in: 13 Publications (1994–2017)
Related Software: Haskell; MapReduce; GHC; CUDA; MGS; SETL; …
Main Fields: General algebraic systems (08-XX); Computer science (68-XX)

OPTYap

Software Authors:   Rocha, Ricardo; Silva, Fernando; Costa, Vítor Santos
Cited in: 12 Publications (2001–2018)
Related Software: XSB; YapTab; YapOr; YAP-Prolog; OpenRuleBench; CAT; …
Main Fields: Computer science (68-XX)

CheckVML

Software Authors:   Ákos Schmidt, Dániel Varró
Cited in: 8 Publications (2004–2019)
Related Software: SPIN; GROOVE; Bogor; Augur 2; PROGRES; Fujaba; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

ESRA

Software Authors:   Flener, Pierre; Pearson, Justin; Ågren, Magnus
Cited in: 11 Publications (2004–2022)
Related Software: Essence; Zinc; NP-SPEC; AMPL; MiniZinc; Gecode; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Spatial SQL

Software Authors:   M. Egenhofer
Cited in: 6 Publications (1996–2008)
Related Software: DB2; Oracle; Geo-sal; Informix; PostGIS; JTS Topology Suite; …
Main Fields: Computer science (68-XX)

M-nets

Software Authors:   Eike Best, Wojciech Frączak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
Cited in: 10 Publications (1998–2012)
Related Software: Maria; PEP; Uppaal; Kronos; Ptolemy; Renew; …
Main Fields: Computer science (68-XX)

Spoofax

Software Authors:   Lennart C.L. Kats; Eelco Visser
Cited in: 10 Publications (2011–2020)
Related Software: Stratego; JastAdd; SugarJ; Neverlang; Ott; ANTLR; …
Main Fields: Computer science (68-XX)

GUItar

Software Authors:   André Almeida; Marco Almeida; José Alves; Nelma Moreira; Rogério Reis
Cited in: 9 Publications (2010–2018)
Related Software: FAdo; Python; Vaucanson; OpenFst; Regular Sets; PDCoq; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

MatlabMPI

Software Authors:   –
Cited in: 7 Publications (2004–2021)
Related Software: Matlab; MultiMATLAB; Parallel Computing Toolbox; pMatlab; CoArray; MultiMin; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

ADL

Software Authors:   The Open Group
Cited in: 4 Publications (1995–2018)
Related Software: JPAX; CESAR; Bandera; Pex; SLAM; veriSoft; …
Main Fields: Computer science (68-XX)

Theseus

Software Authors:   James, R.P., Sabry, A.
Cited in: 8 Publications (2015–2020)
Related Software: LRinv; Matita; Eiffel; BETA
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Agapia

Software Authors:   Ştefănescu, Gheorghe; Tătărâm, Monica
Cited in: 6 Publications (2008–2020)
Related Software: TensorFlow; Chord; Rodin; Lucid; KOOL; K Prover; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

ALM

Software Authors:   Daniela Inclezan, Michael Gelfond
Cited in: 8 Publications (2012–2020)
Related Software: PEORL; VerbNet; CCalc; BWIBots; StanfordCoreNLP; PDDL; …
Main Fields: Computer science (68-XX)

Assimulo

Software Authors:   Andersson, C., Führer, C., Åkesson, J.
Cited in: 5 Publications (2015–2022)
Related Software: Python; F2PY; SUNDIALS; PyBOX; DASSL; Matlab; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

FiniteFlow

Software Authors:   Tiziano Peraro
Cited in: 7 Publications (2020–2022)
Related Software: pySecDec; SecDec; Reduze; Kira; DiffExp; FIESTA; …
Main Fields: Combinatorics (05-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX)

Impromptu

Software Authors:   Grishikashvili, Ella; Allen, M.; Taleb-Bendiab, A.
Cited in: 8 Publications (2002–2011)
Related Software:
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Functional analysis (46-XX)

LogiMOO

Software Authors:   Tarau, Paul; De Bosschere, Koen; Dahl, Veronica; Rochefort, Stephen
Cited in: 8 Publications (1997–2012)
Related Software: Oz; SICStus; Prolog; Mozart
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Frenetic

Software Authors:   Foster, N., Harrison, R., Freedman, M.J., Monsanto, C., Rexford, J., Story, A., Walker, D.
Cited in: 7 Publications (2011–2021)
Related Software: NetKAT; Nettle; VeriCon; VeriFlow; SDN-SafeCheck; AProVE; …
Main Fields: Computer science (68-XX)

CoCaml

Software Authors:   Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
Cited in: 6 Publications (2017–2022)
Related Software: coFJ; Paco; Featherweight Java; CoALP; Nominal Isabelle; Fudgets; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

Turing

Software Authors:   Hong Ge, Kai Xu, Zoubin Ghahramani
Cited in: 3 Publications (2022)
Related Software: Julia; Optim; Stan; Pyro; ForwardDiff; TensorFlow; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

acados

Software Authors:   Robin Verschueren, Gianluca Frison, Dimitris Kouzoupis, Niels van Duijkeren, Andrea Zanelli, Branimir Novoselnik, Jonathan Frey, Thivaharan Albin, Rien Quirynen, Moritz Diehl
Cited in: 3 Publications (2018–2022)
Related Software: ACADO; OSQP; VIATOC; BLASFEO; qpOASES; HPIPM; …
Main Fields: (04-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

Bedrock

Software Authors:   Adam Chlipala
Cited in: 4 Publications (2017–2019)
Related Software: Coq; Toolchain; OCaml; Archive Formal Proofs; Amortized Complexity; Separation Logic; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CCUBE

Software Authors:   A. Brodsky, V. Segal, J. Chen, P. Exarkhopoulo
Cited in: 4 Publications (1997–2013)
Related Software: XQuery; LyriC; DEDALE; YACC; OPL; CHIP; …
Main Fields: Computer science (68-XX)

DAQV

Software Authors:   Hackstadt, Steven T.; Malony, Allen D.
Cited in: 5 Publications (1997–2002)
Related Software: HPFIT; WIEN97; SPiDER; TransTOOL; SPARSKIT; ITSOL; …
Main Fields: Computer science (68-XX)

EmptyHeaded

Software Authors:   Christopher R. Aberger, Susan Tu, Kunle Olukotun, Christopher Ré
Cited in: 3 Publications (2017–2022)
Related Software: HyperBench; Ligra; GraphX; Pregel; LogicBlox; iBench; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

EXPRESS

Software Authors:   Shu, N. C.; Housel, B. C.; Taylor, R. W.; Ghosh, S. P.; Lum, V. Y.
Cited in: 4 Publications (1983–2016)
Related Software:
Main Fields: Computer science (68-XX)

LMS

Software Authors:   Tiark Rompf, Martin Odersky
Cited in: 4 Publications (2010–2022)
Related Software: BLOG; TMB; PyMC; Stan; spBayes; Church; …
Main Fields: Computer science (68-XX)

Meteor

Software Authors:   Michael Denkowski, Alon Lavie
Cited in: 2 Publications (2015–2022)
Related Software: BLEU; BEwT-E; SumQE; SIMetrix; BERTScore; SummaryEvaluation; …
Main Fields: Computer science (68-XX)

Nasari

Software Authors:   Camacho-Collados, José; Pilehvar, Mohammad Taher; Navigli, Roberto
Cited in: 5 Publications (2016–2022)
Related Software: word2vec; BabelNet; WordNet; AutoExtend; SBERT; VerbNet; …
Main Fields: Computer science (68-XX)

PSync

Software Authors:   Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien
Cited 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)

Copperhead

Software Authors:   Catanzaro, B., Garland, M., Keutzer, K.
Cited in: 1 Publication (2016)
Related Software: CUDA; OpenCL; PyOpenCL; Accelerate; Lava; Feldspar; …
Main Fields: Computer science (68-XX)

DiSL

Software Authors:   Lukáš Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tůma, Zhengwei Qi
Cited in: 2 Publications (2016–2022)
Related Software: AspectJ; GitHub; Apache Flink; Savina; Akkaprof
Main Fields: Computer science (68-XX)

Fastflo

Software Authors:   NAG
Cited in: 4 Publications (1999–2004)
Related Software: FLOTRAN; PETSc; ADIC; Diffpack; Python; GRUMMP; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Feldspar

Software Authors:   E. Axelsson, K. Claessen, G. Devai, Z. Horvath, K. Keijzer, B. Lyckegard, A. Persson, M. Sheeran, J. Svenningsson, A. Vajda
Cited in: 2 Publications (2015–2016)
Related Software: Lava; Haskell; Cyclone; Hume; Cedalion; JastAdd; …
Main Fields: Computer science (68-XX)

GASNet

Software Authors:   Hargrove P, Bonachea D
Cited in: 2 Publications (2015–2021)
Related Software: Chapel; UPC++; PaStiX; symPACK; SuperLU; SuperLU-DIST; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Kami

Software Authors:   Choi, J., Vijayaraghavan, M., Sherman, B., Chlipala, A., Arvind
Cited in: 4 Publications (2018–2021)
Related Software: Coq; GitHub; Coquet; Haskell; FreeSpec; operational; …
Main Fields: Computer science (68-XX)

Localizer++

Software Authors:   Michel, L., Hentenryck, P.V.
Cited in: 4 Publications (2003–2013)
Related Software: EasyLocal++; SALSA; COMET; Localizer; iOpt; ECJ; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

LOGLAN

Software Authors:   Kreczmar, Antoni; Salwicki, Andrzej; Warpechowski, Marek
Cited in: 4 Publications (1985–2016)
Related Software: Simula 67; BETA
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

MiningZinc

Software Authors:   Guns, Tias; Dries, Anton; Nijssen, Siegfried; Tack, Guido; De Raedt, Luc
Cited in: 4 Publications (2017–2019)
Related Software: Essence; Gecode; MiniZinc; WASP; CloSpan; CLOSET; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

PROC MATRIX

Software Authors:   Ramsey, J.O.
Cited in: 3 Publications (1986–2004)
Related Software: S-PLUS; SAS; nQuery Advisor; SAS/STAT; SAS/IML; UnifyPow; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX)

QCL

Software Authors:   Ömer, B.
Cited in: 2 Publications (2010–2017)
Related Software: QPL; qasm2circ; qasm-tools; LLVM; F#; Haskell; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX)

Rascal

Software Authors:   Hills, Mark; Klint, Paul; Vinju, Jurgen J.
Cited in: 3 Publications (2010–2013)
Related Software: Maude; Stratego; MetaEdit+; Simpl; Spoofax; Xtext; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Tekkotsu

Software Authors:   Touretzky DS, Tira-Thompson EJ
Cited in: 0 Publications
Related Software: CARMEN; Doxygen; Matlab; PFLib; SMCTC; ROS; …
Main Fields:

Algorithm 818

Software Authors:   Duff, Iain S.; Vörmel, Christof
Cited in: 3 Publications (2002–2017)
Related Software: BLAS; LAPACK; Matlab; Algorithm 722; Python; Algorithm 719; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

CHRAnimation

Software Authors:   Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
Cited in: 2 Publications (2015)
Related Software: BALSA; Zeus; ANIMAL; JAWAA
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Devito

Software Authors:   Navjot Kukreja, Mathias Louboutin, Felippe Vieira, Fabio Luporini, Michael Lange, Gerard Gorman
Cited in: 3 Publications (2020)
Related Software: H-revolve; Python; revolve; YASK; CGen; PDEL; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

HOLCF

Software Authors:   Brian Huffman
Cited in: 3 Publications (2012–2017)
Related Software: Isabelle/HOL; HOL; Archive Formal Proofs; Stern-Brocot Tree; MiniAgda; AmiCo; …
Main Fields: Computer science (68-XX)

NetCore

Software Authors:   Monsanto, Christopher; Foster, Nate; Harrison, Rob; Walker, David
Cited in: 2 Publications (2013–2018)
Related Software: nftables; iptables; pgf; Routing; ConfigChecker; LOFT; …
Main Fields: Computer science (68-XX)

Parsl

Software Authors:   Yadu Babuji, Anna Woodard, Zhuozhao Li, Daniel S. Katz, Ben Clifford, Rohan Kumar, Lukasz Lacinski, Ryan Chard, Justin M. Wozniak, Ian Foster, Michael Wilde, Kyle Chard
Cited in: 0 Publications
Related Software: Python; Dask; Keras; PyCOMPSs; ZeroMQ; TensorFlow; …
Main Fields:

Pycket

Software Authors:   Bauman, Spenser; Bolz, Carl Friedrich; Hirschfeld, Robert; Kirilichev, Vasily; Pape, Tobias; Siek, Jeremy G.; Tobin-Hochstadt, Sam
Cited in: 2 Publications (2015–2019)
Related Software: JavaScript; RPython; GraalVM; PyPy; pike; Kotlin; …
Main Fields: Computer science (68-XX)

Riposte

Software Authors:   J. Talbot, Z. DeVito, P. Hanrahan
Cited in: 1 Publication (2015)
Related Software: R; pqR; Renjin; dplyr; Oracle; Survey; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

SEMANOL

Software Authors:   Anderson, E. R.; Belz, F. C.; Blum, E. K.
Cited in: 3 Publications (1976–1984)
Related Software: ALGOL 68; Refal; ALGOL 60
Main Fields: General algebraic systems (08-XX); Commutative algebra (13-XX); Group theory and generalizations (20-XX)

Terra

Software Authors:   Zachary DeVito, James Hegarty, Alex Aiken, Pat Hanrahan, Jan Vitek
Cited in: 2 Publications (2015–2022)
Related Software: Chainer; DyNet; MacroPy; Python; Lantern; MXNet; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

vlogsl

Software Authors:   Katelman, Michael; Meseguer, José
Cited in: 3 Publications (2011–2013)
Related Software: Java+ITP; K Prover; Dist-Orc; MOMENT2; K tool; PVeStA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Wysteria

Software Authors:   Rastogi, A., Hammer, M.A., Hicks, M.
Cited in: 3 Publications (2016–2022)
Related Software: Sharemind; EasyUC; HyCC; JIFF; Links; Hop; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Information and communication theory, circuits (94-XX)

ANML

Software Authors:   D.E. Smith, J. Frank, W. Cushing
Cited in: 1 Publication (2018)
Related Software: COLIN; PDDL; MathSAT5; GOLOG
Main Fields: Computer science (68-XX)

Biomechanical ToolKit

Software Authors:   Barre, A., Armand, S.
Cited in: 1 Publication (2017)
Related Software: AnyBody; OpenSim; Matlab; CusToM
Main Fields: Biology and other natural sciences (92-XX)

Bocca

Software Authors:   Allan, B.A., Norris, B., Elwasif, W.R., Armstrong, R.C
Cited in: 1 Publication (2011)
Related Software: DRFM; GrACE; AmrLib; FLASH; Uintah; XCAT-C++; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

Firedrake-Fluids

Software Authors:   C.T. Jacobs, M.D. Piggott
Cited in: 2 Publications (2020–2022)
Related Software: PETSc/TS; ADCIRC; FEniCS; PETSc; HySEA; TsunAWI; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

Frag

Software Authors:   Zdun U.
Cited in: 2 Publications (2004–2006)
Related Software: AspectS; CLOS; Jiazzi; REXX; JBoss; Lua; …
Main Fields: Computer science (68-XX)

JNIL

Software Authors:   Tan, Gang
Cited in: 1 Publication (2015)
Related Software: Ilea; Featherweight Java; OCaml
Main Fields: Computer science (68-XX)

Procera

Software Authors:   Voellmy, A., Kim, H., Feamster, N.
Cited in: 1 Publication (2020)
Related Software: SGS; OpenFlowSIA; SDSNM; Flowfence; TDDAD; FADM; …
Main Fields: Computer science (68-XX)

QAPgrid

Software Authors:   Inostroza-Ponta M, Berretta R, Moscato P
Cited in: 2 Publications (2017–2021)
Related Software: HAS-QAP; Wumpus; QAPLIB; PARAssign; Numbat; WhatsHap; …
Main Fields: General and overarching topics; collections (00-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)