×

Found 166 Software Packages (Results 1–100)

R

Software Authors:   Hadley Wickham; Robert Gentleman; Ross Ihaka; John M. Chambers; William N. Venables; Brian D. Ripley
Referenced in: 8,334 Publications (1978–2023)
Related Software: CRAN; SAS; MASS (R); ggplot2; S-PLUS; Matlab; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

HOL Light

Software Authors:   Harrison, John
Referenced in: 301 Publications (1998–2022)
Related Software: Coq; Isabelle/HOL; HOL; Isabelle; Mizar; ML; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

Esterel

Software Authors:   Gérard Berry
Referenced in: 133 Publications (1985–2022)
Related Software: SIGNAL; LUSTRE; Uppaal; Simulink; SPIN; Quartz; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

REDLOG

Software Authors:   Andreas Dolzmann; Thomas Sturm; Weispfenning, Volker
Referenced in: 164 Publications (1997–2022)
Related Software: QEPCAD; Maple; z3; REDUCE; RSOLVER; DISCOVERER; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX)

Scala

Software Authors:   Loverdos, Christos K. K.; Syropoulos, Apostolos
Referenced in: 75 Publications (2005–2022)
Related Software: Coq; Haskell; Featherweight Java; z3; Isabelle; OCaml; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)

Camellia

Software Authors:   Aoki, Kazumaro; Ichikawa, Tetsuya; Kanda, Masayuki; Matsui, Mitsuru; Moriai, Shiho; Nakajima, Junko; Tokita, Toshio
Referenced in: 84 Publications (2001–2021)
Related Software: CLEFIA; PRESENT; ARIA; Square; SIMON; LBlock; …
Main Fields: Number theory (11-XX); Group theory and generalizations (20-XX); Numerical analysis (65-XX)

GiNaC

Software Authors:   European Patent Office (EPO); C.W. Bauer, A. Frink, R. Kreckel
Referenced in: 71 Publications (2002–2022)
Related Software: FORM; Reduze; Mathematica; HPL; FIRE; LiteRed; …
Main Fields: Functions of a complex variable (30-XX); Geometry (51-XX); Numerical analysis (65-XX)

KLAIM

Software Authors:   De Nicola, R.; Ferrari, G.L.; Pugliese, R.
Referenced in: 62 Publications (2000–2021)
Related Software: Linda; Klava; LIME; SCEL; Maude; SLMC; …
Main Fields: Mathematical logic and foundations (03-XX); General topology (54-XX); Computer science (68-XX)

SIGNAL

Software Authors:   Nowak, David; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul
Referenced 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)

CDuce

Software Authors:   Benzaken, Véronique; Castagna, Giuseppe; Frisch, Alain
Referenced in: 48 Publications (2003–2020)
Related Software: XDuce; XPath; XQuery; Haskell; OCaml; PiDuce; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Numerica

Software Authors:   van Hentenryck, P., Deville, Y., Michel, L.
Referenced in: 46 Publications (1998–2020)
Related Software: INTOPT_90; RealPaver; BARON; GlobSol; COCONUT; IbexOpt; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

Feel++

Software Authors:   Christophe Prud'homme, Vincent Chabannes, Stéphane Veys, Abdoulaye Samake, Cecile Daversin, Christophe Trophime, Goncalo Pena, Guillaume Dollé, Jean-Baptiste Wahl, Mourad Ismail, Ranine Tarabay, Vincent Doyeux, Vincent Huber
Referenced in: 38 Publications (1999–2022)
Related Software: PETSc; FEniCS; FreeFem++; deal.ii; Gmsh; Getfem++; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

GHC

Software Authors:   Ueda, Kazunori
Referenced in: 36 Publications (1986–2014)
Related Software: PARLOG; Kima; Haskell; LMNtal; Esterel; Janus; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

NRL

Software Authors:   Meadows, Catherine
Referenced in: 29 Publications (1996–2018)
Related Software: Maude; AVISPA; OFMC; Maude-NPA; Casper; ProVerif; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

SMS

Software Authors:   Korelc, Jože
Referenced in: 33 Publications (1997–2022)
Related Software: Mathematica; AceGen; AceFEM; FINGER; Matlab; ABAQUS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

Odyssee

Software Authors:   Rostaing, N., Dalmas, S., Galligo, A
Referenced in: 32 Publications (1996–2016)
Related Software: ADIFOR; TAMC; ADOL-C; ADIC; TAF; MINPACK-2; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

SRILM

Software Authors:   Andreas Stolcke
Referenced in: 6 Publications (2005–2015)
Related Software: BLEU; Moses; WordNet; CASIA; WEKA; Europarl; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MRST-AD

Software Authors:   Krogstad, S., Lie, K.-A., Møyner, O., Nilsen, H.M., Raynaud, X., Skaflestad, B
Referenced in: 24 Publications (2016–2022)
Related Software: MRST; Matlab; MRST-co2lab; DuMuX; IPARS; ISTL; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

Localizer

Software Authors:   Michel, Laurent; Van Hentenryck, Pascal
Referenced in: 21 Publications (1999–2021)
Related Software: COMET; SALSA; EasyLocal++; CPLEX; iOpt; Oz; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); General topology (54-XX)

PAG

Software Authors:   Martin, Florian
Referenced in: 20 Publications (1996–2018)
Related Software: NINJA; CiaoPP; Ciao; Aspic; Coq; JTransformer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

Snow

Software Authors:   Tierney, Luke; Rossini, A.J.; Li, Na
Referenced in: 21 Publications (2006–2022)
Related Software: R; snow; Rcpp; Rmpi; snowfall; RngSteam; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Mozart

Software Authors:   Peter Van Roy; Seif Haridi
Referenced in: 15 Publications (1999–2018)
Related Software: Oz; CPLEX; CHIP; SICStus; Choco; Haskell; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

ProTDB

Software Authors:   A. Nierrman, H.V. Jagadish
Referenced in: 12 Publications (2005–2018)
Related Software: ProbView; PSQL; XPath; TAX; XSEarch; XQuery; …
Main Fields: Computer science (68-XX)

ArchJava

Software Authors:   Aldrich, Jonathan; Chambers, Craig; Notkin, David
Referenced in: 10 Publications (2002–2017)
Related Software: SOFA 2.0; Rapide; UMLDiff; PICCOLA; Squeak; JavAdaptor; …
Main Fields: Computer science (68-XX)

Klava

Software Authors:   Bettini, Lorenzo; De Nicola, Rocco; Pugliese, Rosario
Referenced in: 18 Publications (2002–2020)
Related Software: KLAIM; Linda; LIME; SCEL; MetaKlaim; Sumatra; …
Main Fields: Computer science (68-XX)

cc(FD)

Software Authors:   Van Hentenryck, Pascal; Saraswat, Vijay; Deville, Yves
Referenced in: 17 Publications (1998–2021)
Related Software: CPLEX; Choco; COMET; MINION; Oz; Gecode; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

Delphin

Software Authors:   Schürmann, C., Fontana, R., Liao, Y., Poswolsky, A.
Referenced in: 17 Publications (2003–2020)
Related Software: Twelf; Coq; Beluga; Abella; Isabelle/HOL; Isabelle; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SCEL

Software Authors:   Rocco De Nicola, Diego Latella. Alberto Lluch Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin
Referenced in: 15 Publications (2014–2021)
Related Software: KLAIM; Maude; PALOMA; Linda; CARMA; SCELlight; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Metropolis

Software Authors:   Balarin F, Watanabe Y, Hsieh H, Lavagno L, Passerone C, Sangiovanni-Vincentelli A
Referenced in: 7 Publications (2006–2018)
Related Software: Ptolemy; Reo; SPIN; Esterel; Uppaal; Kronos; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

PICCOLA

Software Authors:   Achermann, Franz; Lumpe, Markus; Schneider, Jean-Guy; Nierstrasz, Oscar
Referenced in: 16 Publications (1999–2017)
Related Software: Reo; Linda; Pict; ArchJava; dot; Stata; …
Main Fields: Computer science (68-XX)

ICOS

Software Authors:   Lebbah, Y.
Referenced in: 16 Publications (2005–2021)
Related Software: BARON; Numerica; COCONUT; RealPaver; ANTIGONE; LINDO; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

SSJ

Software Authors:   Pierre L'Ecuyer; Lakhdar Meliani; Jean Vaucher
Referenced in: 15 Publications (2008–2021)
Related Software: ContactCenters; sobol.cc; MRG32k3a; RandQMC; VRP; Algorithm 823; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

DIASPORA

Software Authors:   Ramanath, Maya; Haritsa, Jayant R.
Referenced in: 14 Publications (2000–2009)
Related Software:
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Linear and multilinear algebra; matrix theory (15-XX)

PLUMP

Software Authors:   Beg, Ivan; Ling, Wu; M\"uller, Andreas; Przybyszewski, Piotr; R\"uhl, Roland; Sawyer, William
Referenced in: 14 Publications (1991–2009)
Related Software: PROGRES; SPARSKIT; ITSOL
Main Fields: Algebraic geometry (14-XX); Category theory; homological algebra (18-XX); Real functions (26-XX)

NESL

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

Sailfish

Software Authors:   Januszewski, M.; Kostur, M.
Referenced in: 11 Publications (2014–2021)
Related Software: CUDA; Palabos; LUDWIG; LBfoam; LBsoft; LB3D; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX)

Polychrony

Software Authors:   INRIA; Talpin, J.-P., Le Guernic, P., Shukla, S.K., Gupta, R.K., Doucet, F.
Referenced in: 11 Publications (2004–2016)
Related Software: Esterel; Ptolemy; SIGNAL; UNITY; AADL; LNT2LOTOS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PySCF

Software Authors:   Qiming Sun, Timothy C. Berkelbach, Nick S. Blunt, George H. Booth, Sheng Guo, Zhendong Li, Junzi Liu, James McClain, Sandeep Sharma, Sebastian Wouters, Garnet Kin-Lic Chan
Referenced in: 4 Publications (2019–2022)
Related Software: SciPy; Python; Psi4; OpenFermion; qHiPSTER; ProjectQ; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX)

voFoam

Software Authors:   Tomislav Maric, Holger Marschall, Dieter Bothe
Referenced in: 12 Publications (2014–2021)
Related Software: Gerris; PROST; VOFTools; SLIC; OpenFOAM; KRAKEN; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

Helios

Software Authors:   Laurent Michel, Pascal Van Hentenryck
Referenced in: 10 Publications (1997–2015)
Related Software: AMPL; Newton; FleetWave; Skyblue; Mozart; QOCA; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

jContractor

Software Authors:   Karaorman, Murat; Abercrombie, Parker
Referenced in: 9 Publications (2002–2012)
Related Software: JML; Eiffel; Spec#; Jass; JUnit; LARCH; …
Main Fields: Computer science (68-XX)

NARROWER

Software Authors:   Rety, Pierre; Kirchner, Claude; Kirchner, Hélène; Lescanne, Pierre
Referenced in: 10 Publications (1985–1992)
Related Software: PARLOG; REVE; Kernel-LEAF; AFFIRM; RRL; REDUCE; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); General algebraic systems (08-XX)

Visual DSD

Software Authors:   Lakin, M.R., Youssef, S., Polo, F., Emmott, S., Phillips, A.
Referenced in: 10 Publications (2013–2020)
Related Software: PRISM; CRN++; MedOlDatschgerl; ERODE; PoplMark; z3
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

LOTOSphere

Software Authors:   T. Bolognesi, J. van de Lagemaat, C. Vissers
Referenced in: 6 Publications (2000–2015)
Related Software: LOTOS; Concurrency Workbench; XSB; LEGO; Oz; Maude; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Paragon

Software Authors:   Broberg, Niklas; van Delft, Bart; Sands, David
Referenced in: 8 Publications (2010–2019)
Related Software: Jif; JRIF; Laminar; JFlow; FlowFox; JSFlow; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

SmallEiffel

Software Authors:   Zendra, Olivier; Colnet, Dominique
Referenced in: 9 Publications (2001–2011)
Related Software: Eiffel; Smalltalk; TREX; Spec#; SCOOP; TALx86; …
Main Fields: Computer science (68-XX)

TcT

Software Authors:   Avanzini, M., Moser, G., Schaper, M.
Referenced in: 9 Publications (2016–2021)
Related Software: AProVE; z3; TiML; KITTeL; Ctrl; ComplexityParser; …
Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

Elkhound

Software Authors:   McPeak, Scott; Necula, George C.
Referenced in: 7 Publications (2004–2014)
Related Software: ATERM; BRNGLR; Chapel; Simula 67; NAS Parallel Benchmarks; CHARM++; …
Main Fields: Computer science (68-XX)

occam-pi

Software Authors:   Welch, Peter H.; Barnes, Frederick R.M.
Referenced in: 6 Publications (2005–2021)
Related Software: Pict; KRoC; Boids; Intel TBB; Eraser; Cilk; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Qbox

Software Authors:   F.Gygi
Referenced in: 5 Publications (2010–2019)
Related Software: Quantum Espresso; NWChem; Python; lobpcg.m; ELPA; ABINIT; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

VeriML

Software Authors:   Stampoulis, Antonis; Shao, Zhong
Referenced in: 8 Publications (2010–2016)
Related Software: Coq; seL4; Mtac; Delphin; ML; Haskell; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Alms

Software Authors:   Tov, Jesse A.; Pucella, Riccardo
Referenced in: 7 Publications (2011–2021)
Related Software: Pesca; OCaml; Haskell; Fugue; PLURAL; PIPER; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FLENS

Software Authors:   Michael Lehn
Referenced in: 6 Publications (2007–2016)
Related Software: Eigen; deal.ii; FEMSTER; Blitz++; LAWA; ALBERTA; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

Frenetic

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

Sumatra

Software Authors:   Anurag Acharya, M. Ranganathan, Joel Saltz
Referenced in: 4 Publications (2002–2017)
Related Software: Klava; LIME; Camelot; Grail; Viptos; Uppaal; …
Main Fields: Computer science (68-XX)

hiCUDA

Software Authors:   T. D. Han; T. S. Abdelrahman
Referenced in: 2 Publications (2013–2015)
Related Software: CUDA; Fortran DVM; CUDA-lite; BSGP; APS; GLift; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

simuPOP

Software Authors:   Kimmel M, Peng B
Referenced in: 5 Publications (2008–2020)
Related Software: R; ROCR; CRAN; genMOSS; SIMCOAL; ForSim; …
Main Fields: Operator theory (47-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

AutoMOTGen

Software Authors:   Ambar A. Gadkari; Anand Yeolekar; J. Suresh; S. Ramesh; Swarup Mohalik; K. C. Shashidhar
Referenced in: 4 Publications (2009–2021)
Related Software: PHAVer; Simulink; DryVR; dReach; S-TaLiRo; Dymola; …
Main Fields: Computer science (68-XX)

Bedrock

Software Authors:   Adam Chlipala
Referenced 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
Referenced 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.
Referenced in: 5 Publications (1997–2002)
Related Software: HPFIT; WIEN97; SPiDER; TransTOOL; SPARSKIT; ITSOL; …
Main Fields: Computer science (68-XX)

Mezzo

Software Authors:   Pottier, François; Protzenko, Jonathan
Referenced in: 4 Publications (2014–2018)
Related Software: Alcove; Featherweight Java; Rodin; Rust; Charge!; Infer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MONSTR

Software Authors:   Banach, R.
Referenced in: 5 Publications (1995–1998)
Related Software: DACTL
Main Fields: Computer science (68-XX)

PaGMO

Software Authors:   Francesco Biscani, Dario Izzo, Chit Hong Yam
Referenced in: 2 Publications (2014–2020)
Related Software: PaGMO/PyGMO; PlatEMO; NumPy; Matplotlib; Platypus; MOEA; …
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-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)

tcltk

Software Authors:   Peter Dalgaard
Referenced in: 3 Publications (2005–2019)
Related Software: R; grDevices; ggplot2; colorspace; ParSD; farver; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

UTP2

Software Authors:   Andrew BUTTERFIELD
Referenced in: 5 Publications (2010–2019)
Related Software: Saoithin; Isabelle/HOL; Isabelle/UTP; ProofPower; PVS; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Aspectual Caml

Software Authors:   Masuhara, Hidehiko; Tatsuzawa, Hideaki; Yonezawa, Akinori
Referenced in: 4 Publications (2005–2012)
Related Software: PolyAML; AspectC++; OCaml; AspectJ; MAVEN; Haskell
Main Fields: Computer science (68-XX)

AtomCaml

Software Authors:   Ringenburg, Michael F.; Grossman, Dan
Referenced in: 3 Publications (2005–2022)
Related Software: SAMOA; JudoSTM; SPEC Benchmarks; PARSEC; Lee-TM; SPLASH-2; …
Main Fields: Computer science (68-XX)

FluidSim

Software Authors:   Ashwin Vishnu Mohanan, Cyrille Bonamy, Miguel Calpe Linares, Pierre Augier
Referenced in: 1 Publication (2019)
Related Software: FluidFFT; Python; FluidDyn; Pythran; cuFFT; PFFT; …
Main Fields: Fluid mechanics (76-XX)

GCminor

Software Authors:   McCreight, Andrew; Chevalier, Tim; Tolmach, Andrew
Referenced in: 4 Publications (2010–2019)
Related Software: Coq; CompCert; CompCertTSO; HOL; Milawa; OCaml; …
Main Fields: Computer science (68-XX)

Hakaru

Software Authors:   Narayanan, Praveen; Carette, Jacques; Romano, Wren; Shan, Chung-chieh; Zinkov, Robert
Referenced in: 4 Publications (2016–2018)
Related Software: Venture; Church; Stan; Idris; Lean; MathScheme; …
Main Fields: Computer science (68-XX)

jMocha

Software Authors:   Alur, R.; de Alfaro, L.; Grosu, R.; Henzinger, T.; Thomas, A.; Kang, M.; Kirsch, C.; Majumdar, R.; Mang, F.; Wang, B. -Y.
Referenced in: 4 Publications (2008–2021)
Related Software: MOCHA; MCMAS; MCMAS-SLK; VerICS; MCK; CUDD; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Lem

Software Authors:   Mulligan, Dominic P.; Owens, Scott; Gray, Kathryn E.; Ridge, Tom; Sewell, Peter
Referenced in: 3 Publications (2011–2021)
Related Software: Isabelle/HOL; Coq; ACL2; HOL Light; HOL; Ott; …
Main Fields: Computer science (68-XX)

MAGMA-Lisp

Software Authors:   C. Montangero; G. Pacini; F. Turini
Referenced in: 4 Publications (1976–1984)
Related Software: LCF; Magma2; ML
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MontiCore

Software Authors:   Krahn, Holger; Rumpe, Bernhard; Völkel, Steven
Referenced in: 2 Publications (2016–2021)
Related Software: ANTLR; Neverlang; Featherweight Java; JastAdd; Melange; Ann; …
Main Fields: Computer science (68-XX)

PolyTop++

Software Authors:   Duarte LS, Celes W, Pereira A, Menezes IFM, Paulino GH
Referenced in: 4 Publications (2016–2022)
Related Software: PolyTop; top88.m; top.m; Matlab; ISOGAT; PolyMat; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Systems theory; control (93-XX)

Saoithin

Software Authors:   Andrew BUTTERFIELD
Referenced in: 4 Publications (2010–2017)
Related Software: UTP2; Isabelle/HOL; PVS; Coq; Isabelle/UTP; Isabelle/Circus; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ADATE

Software Authors:   Lokketangen, Arne; Olsson, Roland
Referenced in: 2 Publications (2003–2010)
Related Software: Tabu search; Walksat; ML; Hyperheuristics; UCI-ml
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Devito

Software Authors:   Navjot Kukreja, Mathias Louboutin, Felippe Vieira, Fabio Luporini, Michael Lange, Gerard Gorman
Referenced 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)

FatTire

Software Authors:   –
Referenced in: 3 Publications (2017–2022)
Related Software: Kandoo; PLASMA; sharpSAT; PVeStA; SciPy; z3; …
Main Fields: Computer science (68-XX)

HOL Light QE

Software Authors:   Carette, Jacques; Farmer, William M.; Laskowski, Patrick
Referenced in: 3 Publications (2018–2020)
Related Software: Coq; Idris; reFLect; Agda; Nuprl; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

INTAMAP

Software Authors:   Pebesma, E., Cornford, D., Dubois, G., Heuvelink, G. B., Hristopulos, D., Pilz, J., Stöhlker, U., Morin, G., and Skøien, J. O
Referenced in: 2 Publications (2013–2020)
Related Software: R; gstat; spacetime; raster; GRASS GIS; ArcGIS; …
Main Fields: Statistics (62-XX)

Ivor

Software Authors:   Brady, Edwin
Referenced in: 3 Publications (2007–2010)
Related Software: Agda; Haskell; CLEAN; Coq; GUM; Links; …
Main Fields: Computer science (68-XX)

JavaSPI

Software Authors:   Sisto, Riccardo; Bettassa Copet, Piergiuseppe; Avalle, Matteo; Pironti, Alfredo
Referenced in: 1 Publication (2018)
Related Software: MJ; AGVI; Bouncy Castle; UMLsec; Helios; TS#; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

LTLMoP

Software Authors:   Cameron Finucane; Gangyuan Jing; Hadas Kress-Gazit
Referenced in: 3 Publications (2017–2020)
Related Software: TuLiP; PESSOA; pypoman; FACTEST; FaSTrack; PythonRobotics; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

NetCore

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

ReachLab

Software Authors:   Dubey, A.; Wu, X.; Su, H.; Koo, T.J.
Referenced in: 3 Publications (2005–2006)
Related Software: Uppaal; d/dt; ToolboxLS
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

Riposte

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

SAGA

Software Authors:   Conrad, O., Bechtel, B., Bock, M., Dietrich, H., Fischer, E., Gerlitz, L., Wehberg, J., Wichmann, V., Böhner, J.
Referenced in: 0 Publications
Related Software: R; GRASS GIS; OpenStreetMap; Groovy; RPostgreSQL; randomForest; …
Main Fields:

SciDB

Software Authors:   Stonebraker, M., Brown, P., Zhang, D., Becla, J.
Referenced in: 1 Publication (2016)
Related Software: R; dtwSat; zoo; mgcv; ggplot2; MODISTools; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

StatDataML

Software Authors:   David Meyer, Torsten Hothorn, Friedrich Leisch
Referenced in: 3 Publications (2002–2008)
Related Software: R; RSXMLObjects; Stat/Transfer; Excel; SAS; SPSS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

TSL

Software Authors:   Lim, J., Reps, T.W.
Referenced in: 3 Publications (2015–2021)
Related Software: K Prover; TSOTool; CompCert; Lem; CoqJVM; Isabelle/HOL; …
Main Fields: Computer science (68-XX)

ABASH

Software Authors:   Mazurak, K., Zdancewic, S.
Referenced in: 1 Publication (2010)
Related Software: NixOS; OPIUM
Main Fields: Computer science (68-XX)

Aboria

Software Authors:   M. Robinson, M. Bruna
Referenced in: 2 Publications (2017–2019)
Related Software: FEniCS; Gmsh; Matlab
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Fluid mechanics (76-XX)

BCOOPL

Software Authors:   De Bruin, Hans
Referenced in: 2 Publications (2001–2003)
Related Software:
Main Fields: Computer science (68-XX)

BPEL4WS

Software Authors:   Zhong Jie Li; Wei Sun; Bin Du
Referenced in: 0 Publications
Related Software: muJava
Main Fields:

CBabel

Software Authors:   Rademaker, Alexandre; Braga, Christiano; Sztajnberg, Alexandre
Referenced in: 2 Publications (2005–2009)
Related Software: Maude; GraphML; SLMC; yEd
Main Fields: Computer science (68-XX)

Codecharts

Software Authors:   Eden, A.H.; Gasparis, E.; Nicholson, J.; Kazman, R.
Referenced in: 2 Publications (2011–2013)
Related Software: LARCH
Main Fields: Computer science (68-XX)

DynaMoW

Software Authors:   Chyzak, Frédéric; Darrasse, Alexis
Referenced in: 2 Publications (2011)
Related Software: OCaml; Camlp4; OEIS
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)