Matlab Cited in 13,338 Documents (1982–2024) Software Authors: MathWorks Inc Related Software: Simulink; Maple; LMI toolbox; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
Mathematica Cited in 6,327 Documents (1986–2024) Software Authors: Wolfram Research Related Software: Maple; Matlab; R; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Maple Cited in 5,286 Documents (1983–2023) Software Authors: Waterloo Maple Inc. Related Software: Mathematica; Matlab; MACSYMA; … Main Fields: Number theory (11-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX); …
Isabelle/HOL Cited in 1,027 Documents (1996–2023) Software Authors: Naraschewski, Wolfgang; Nipkow, Tobias Related Software: Isabelle; Coq; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …
Maude Cited in 631 Documents (1984–2023) Software Authors: Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Maude team Related Software: CafeOBJ; OBJ3; ELAN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX); …
MATCONT Cited in 471 Documents (2003–2023) Software Authors: Dhooge, A.; Sautois, B.; Govaerts, W.; Kuznetsov, Yu.A. Related Software: AUTO; Matlab; CL_MATCONT; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
gss Cited in 333 Documents (1997–2023) Software Authors: Chong Gu Related Software: R; SemiPar; fda (R); … Main Fields: Functional analysis (46-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …
DYNAMO Cited in 252 Documents (1968–2023) Software Authors: Jay Wright Forrester, Phyllis Fox, Alexander L. Pugh III, Grace Duren Related Software: Vensim; STELLA; AnyLogic; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); …
Scilab Cited in 171 Documents (1999–2022) Software Authors: Scilab Enterprises; Ricardo Fabbri Related Software: Matlab; Octave; R; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
DiffSharp Cited in 185 Documents (2016–2023) Software Authors: Baydin, A.G., Pearlmutter, B.A. Related Software: Adam; TensorFlow; PyTorch; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …
LCF Cited in 159 Documents (1972–2023) Software Authors: Milner, Robin Related Software: ML; Coq; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Category theory; homological algebra (18-XX); …
ELAN Cited in 106 Documents (1996–2020) Software Authors: Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek Related Software: Maude; CafeOBJ; OBJ3; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …
Linda Cited in 77 Documents (1985–2020) Software Authors: Gelernter, David Related Software: KLAIM; LIME; ReSpecT; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
PASCAL-XSC Cited in 98 Documents (1991–2022) Software Authors: Klatte, R., Kulisch, U., Neaga, M., Ratz, D., Ullrich, Ch, Januschke, P., Ratz, D. Related Software: C-XSC; C-XSC 2.0; ACRITH-XSC; … Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX); Computer science (68-XX); …
GiNaC Cited in 90 Documents (2002–2023) Software Authors: European Patent Office (EPO); C.W. Bauer, A. Frink, R. Kreckel Related Software: FIRE; FORM; Reduze; … Main Fields: Functions of a complex variable (30-XX); Geometry (51-XX); Numerical analysis (65-XX); …
BABEL Cited in 72 Documents (1988–2013) Software Authors: Mario Rodriguez-Artalejo Related Software: Kernel-LEAF; TOY; Curry; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
MiniML Cited in 49 Documents (2000–2021) Software Authors: Davies, Rowan; Pfenning, Frank Related Software: Coq; ML; Pesca; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Elf Cited in 47 Documents (1989–2023) Software Authors: Frank Pfenning Related Software: Nuprl; Twelf; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Refal Cited in 42 Documents (1969–2020) Software Authors: Valentin F. Turchin Related Software: Haskell; COSTA; CiaoPP; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX); …
GHC Cited in 36 Documents (1986–2014) Software Authors: Ueda, Kazunori Related Software: PARLOG; Kima; Haskell; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX); …
LANGAGE Cited in 39 Documents (2000–2021) Software Authors: Caron, Pascal Related Software: TESTAS; AG; Algorithm 97; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX); …
Lucid Cited in 34 Documents (1978–2015) Software Authors: Wadge, William W.; Ashcroft, Edward A. Related Software: Haskell; Esterel; LUSTRE; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); General topology (54-XX); …
OMRS Cited in 38 Documents (1995–2009) Software Authors: Armando, Alessandro; Kohlhase, Michael; Ranise, Silvio Related Software: Analytica; Theorema; PVS; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX); …
Mosel Cited in 37 Documents (2003–2021) Software Authors: Fair Isaac Corporation; Colombani Y., Heipcke S. Related Software: XPRESS; AMPL; GAMS; … Main Fields: General and overarching topics; collections (00-XX); Order, lattices, ordered algebraic structures (06-XX); Numerical analysis (65-XX); …
Quipper Cited in 33 Documents (2013–2022) Software Authors: Green, Alexander S.; Lumsdaine, Peter LeFanu; Ross, Neil J.; Selinger, Peter; Valiron, Benoît Related Software: QPL; ScaffCC; ProjectQ; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX); …
ALTRAN Cited in 34 Documents (1971–2018) Software Authors: W.S. Brown; Andrew D. Hall Related Software: MACSYMA; REDUCE; gmp; … Main Fields: Group theory and generalizations (20-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX); …
Analytica Cited in 33 Documents (1993–2022) Software Authors: Bauer, A., Clarke, E.M., Zhao Related Software: Theorema; Nuprl; PVS; … Main Fields: Mathematical logic and foundations (03-XX); Real functions (26-XX); Computer science (68-XX); …
Transformers Cited in 11 Documents (2021–2023) Software Authors: Thomas Wolf, Lysandre Debut, Victor Sanh, Julien Chaumond, Clement Delangue, Anthony Moi, Pierric Cistac, Tim Rault, Rémi Louf, Morgan Funtowicz, Jamie Brew Related Software: BERT; Python; PyTorch; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Multilisp Cited in 29 Documents (1985–2019) Software Authors: Halstead, Robert H.jun. Related Software: Creol; Eiffel; Maude; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
Odyssee Cited in 32 Documents (1996–2016) Software Authors: Rostaing, N., Dalmas, S., Galligo, A Related Software: ADIFOR; TAMC; ADOL-C; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
GNMT Cited in 25 Documents (2018–2022) Software Authors: Yonghui Wu, Mike Schuster, Zhifeng Chen, Quoc V. Le, Mohammad Norouzi, Wolfgang Macherey, Maxim Krikun, Yuan Cao, Qin Gao, Klaus Macherey, Jeff Klingner, Apurva Shah, Melvin Johnson, Xiaobing Liu, Łukasz Kaiser, Stephan Gouws, Yoshikiyo Kato, Taku Kudo, Hideto Kazawa, Keith Stevens, George Kurian, Nishant Patil, Wei Wang, Cliff Young, Jason Smith, Jason Riesa, Alex Rudnick, Oriol Vinyals, Greg Corrado, Macduff Hughes, Jeffrey Dean Related Software: ImageNet; Adam; AlexNet; … Main Fields: Approximations and expansions (41-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …
MATISSE Cited in 30 Documents (2007–2022) Software Authors: Girard, Antoine; Pappas, George J. Related Software: HyTech; PHAVer; SpaceEx; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); …
Pascal-SC Cited in 27 Documents (1984–2016) Software Authors: Bohlender, Gerd; Ullrich, Christian; Wolff von Gudenberg, Jürgen; Rall, Louis B. Related Software: JAKEF; Maple; DiffSharp; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Genetic Algorithm and Direct Search Toolbox Cited in 27 Documents (2002–2018) Software Authors: – Related Software: Matlab; GAToolBox; Genocop; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
CVXR Cited in 23 Documents (2019–2022) Software Authors: Anqi Fu, Balasubramanian Narasimhan, Stephen Boyd Related Software: CVX; CVXPY; R; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …
Matchbox Cited in 23 Documents (2005–2018) Software Authors: Waldmann, J. Related Software: AProVE; Tyrolean; Haskell; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX); …
VESTA Cited in 22 Documents (2007–2021) Software Authors: Koushik Sen, Mahesh Viswanathan, Gul Agha Related Software: PRISM; Maude; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …
PITA Cited in 23 Documents (2010–2022) Software Authors: Riguzzi, Fabrizio; Swift, Terrance Related Software: ProbLog; CP-logic; PRISM; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …
Hat Cited in 20 Documents (2001–2012) Software Authors: Chitil, Olaf; Runciman, Colin; Wallace, Malcolm Related Software: Hood; Freja; Haskell; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
BlenX Cited in 18 Documents (2008–2020) Software Authors: Lorenzo Dematté; Corrado Priami; Alessandro Romanel Related Software: Bio-PEPA; PRISM; PEPA; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX); …
DARTS Cited in 15 Documents (2020–2023) Software Authors: Hanxiao Liu, Karen Simonyan, Yiming Yang Related Software: ImageNet; CIFAR; PyTorch; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Grail Cited in 20 Documents (1994–2021) Software Authors: Raymond, Darrell; Wood, Derick Related Software: AUTOMATE; AMoRE; Walnut; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …
Chapel Cited in 13 Documents (2009–2021) Software Authors: Brad Chamberlain Related Software: CUDA; CoArray; MapReduce; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX); …
PCOMP Cited in 20 Documents (1991–2013) Software Authors: Dobmann, M.; Liepelt, M.; Schittkowski, K. Related Software: PDEFIT; EASY - FIT; ADOL-C; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
FLAC Cited in 20 Documents (1989–2022) Software Authors: Itasca Related Software: FLAC3D; ABAQUS/Explicit; TetGen; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
Felix Cited in 18 Documents (1991–2020) Software Authors: Joachim Apel, Uwe Klaus Related Software: Plural; SINGULAR; Macaulay2; … Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Nonassociative rings and algebras (17-XX); …
TASTY Cited in 18 Documents (2011–2021) Software Authors: Henecka, W., Kögl, S., Sadeghi, A.-R., Schneider, T., Wehrenberg, I. Related Software: Sharemind; FairplayMP; VIFF; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
JAS Cited in 15 Documents (2008–2023) Software Authors: Heinz Kredel Related Software: SINGULAR; AXIOM; Plural; … Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX); …
SoDA Cited in 16 Documents (2004–2018) Software Authors: Chambers, John M. Related Software: R; lattice; MASS (R); … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX); …
ALBERT Cited in 10 Documents (2021–2023) Software Authors: Zhenzhong Lan, Mingda Chen, Sebastian Goodman, Kevin Gimpel, Piyush Sharma, Radu Soricut Related Software: RoBERTa; BERT; GloVe; … Main Fields: Statistics (62-XX); Computer science (68-XX); Systems theory; control (93-XX)
FairplayMP Cited in 11 Documents (2012–2022) Software Authors: Ben-David, A., Nisan, N., Pinkas, B. Related Software: TASTY; VIFF; VMCrypt; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
KeYmaera X Cited in 15 Documents (2015–2022) Software Authors: Fulton, N., Mitsch, S., Quesel, J., Völp, M., Platzer, A. Related Software: KeYmaera; SpaceEx; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX); …
Sacado Cited in 14 Documents (2008–2023) Software Authors: Phipps, Eric; Pawlowski, Roger Related Software: ADOL-C; Trilinos; SUNDIALS; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX); …
HOPLA Cited in 14 Documents (2002–2014) Software Authors: Nygaard, Mikkel; Winskel, Glynn Related Software: New-HOPLA Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Category theory; homological algebra (18-XX); …
kv Cited in 14 Documents (2015–2023) Software Authors: Masahide Kashiwagi Related Software: INTLAB; VNODE; ValEncIA-IVP; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
PyOP2 Cited in 10 Documents (2016–2020) Software Authors: Imperial College London; Rathgeber F, Markall GR, Mitchell L, Loriant N, Ham DA, Bertolli C, Kelly PH Related Software: Firedrake; PETSc; FEniCS; … Main Fields: Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX); …
Snoop Cited in 3 Documents (2010–2021) Software Authors: Chakravarthy S, Mishra D Related Software: Cayuga; TelegraphCQ; GOLOG; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Swin Transformer Cited in 10 Documents (2022–2023) Software Authors: Ze Liu, Yutong Lin, Yue Cao, Han Hu, Yixuan Wei, Zheng Zhang, Stephen Lin, Baining Guo Related Software: ViT; ImageNet; BERT; … Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX); …
AMoRE Cited in 12 Documents (1998–2010) Software Authors: O. Matz, A. Miller, A. Potthoff, W. Thomas, E. Valkema Related Software: AUTOMATE; GAP; Grail; … Main Fields: General and overarching topics; collections (00-XX); Group theory and generalizations (20-XX); Computer science (68-XX)
CompCertTSO Cited in 12 Documents (2013–2019) Software Authors: Ševčík, Jaroslav; Vafeiadis, Viktor; Zappa Nardelli, Francesco; Jagannathan, Suresh; Sewell, Peter Related Software: Coq; CompCert; CakeML; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX); …
PyCox Cited in 11 Documents (2012–2020) Software Authors: Geck, Meinolf Related Software: CHEVIE; GAP; SageMath; … Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Nonassociative rings and algebras (17-XX); …
voFoam Cited in 12 Documents (2014–2021) Software Authors: Tomislav Maric, Holger Marschall, Dieter Bothe Related Software: Gerris; PROST; VOFTools; … Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)
Push Cited in 2 Documents (2002–2004) Software Authors: Spector, Lee; Robinson, Alan Related Software: PushGP; CUDA; TerpreT; … Main Fields: Computer science (68-XX); Quantum theory (81-XX); Operations research, mathematical programming (90-XX)
AURA Cited in 10 Documents (2008–2016) Software Authors: Jia, Limin; Vaughan, Jeffrey A.; Mazurak, Karl; Zhao, Jianzhou; Zarko, Luke; Schorr, Joseph; Zdancewic, Steve Related Software: Coq; F*; Agda; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
clSpMV Cited in 10 Documents (2013–2020) Software Authors: B. Su; K. Keutzer Related Software: SparseMatrix; yaSpMV; CUDA; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Pochoir Cited in 10 Documents (2013–2019) Software Authors: Tang, Y., Chowdhury, R.A., Kuszmaul, B.C., Luk, C.K., Leiserson, C.E. Related Software: PATUS; Coq; GKLEE; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SBERT Cited in 7 Documents (2021–2022) Software Authors: Nils Reimers, Iryna Gurevych Related Software: Sentence-BERT; GloVe; BERT; … Main Fields: Computer science (68-XX)
HOCL Cited in 7 Documents (2006–2020) Software Authors: Banâtre, J.-P.; Fradet, P.; Radenac, Y. Related Software: MGS; Tom; Stratego; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …
Kleene Algebra Cited in 9 Documents (2015–2022) Software Authors: Armstrong, A., Struth, G., Weber, T. Related Software: Archive Formal Proofs; Isabelle/HOL; Sledgehammer; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX); …
MGS Cited in 9 Documents (2001–2016) Software Authors: Giavitto, J.-L.; Michel, O. Related Software: HOCL; NESL; Maude; … Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX); …
PowerGraph Cited in 8 Documents (2015–2022) Software Authors: J. E. Gonzalez, Y. Low, H. Gu, D. Bickson, C. Guestrin Related Software: Pregel; GraphX; GraphLab; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Spot Cited in 8 Documents (2008–2021) Software Authors: Ewout van den Berg; Michael P. Friedlander Related Software: ASTRA; SPGL1; Regularization tools; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
ABC-SysBio Cited in 6 Documents (2012–2022) Software Authors: Liepe, J., Barnes, C., Cule, E., Erguler, K., Kirk, P., Toni, T., Stumpf, M. P. H. Related Software: BioBayes; astroABC; EasyABC; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Agapia Cited in 6 Documents (2008–2020) Software Authors: Ştefănescu, Gheorghe; Tătărâm, Monica Related Software: TensorFlow; Chord; Rodin; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
ConservationLawsMD Cited in 8 Documents (2011–2022) Software Authors: L.D. Poole; W. Hereman Related Software: PDERecursionOperator; PainleveTest; Mathematica; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
RotatE Cited in 6 Documents (2020–2023) Software Authors: Zhiqing Sun, Zhi-Hong Deng, Jian-Yun Nie, Jian Tang Related Software: TransG; Adam; YAGO; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
Transformer-XL Cited in 6 Documents (2021–2022) Software Authors: Zihang Dai, Zhilin Yang, Yiming Yang, Jaime Carbonell, Quoc V. Le, Ruslan Salakhutdinov Related Software: BERT; Tensor2Tensor; ALBERT; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
VeriML Cited in 8 Documents (2010–2016) Software Authors: Stampoulis, Antonis; Shao, Zhong Related Software: Coq; seL4; Mtac; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
ACTLW Cited in 6 Documents (2008–2016) Software Authors: – Related Software: SPIN; COWS; mCRL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ALOHA Cited in 6 Documents (2013–2022) Software Authors: P. de Aquino, W. Link, F. Maltoni, O. Mattelaer, T. Stelzer Related Software: GoSam; CutTools; MadGraph5_aMC@NLO; … Main Fields: Numerical analysis (65-XX); Quantum theory (81-XX)
AUTOSIM Cited in 7 Documents (1990–2010) Software Authors: Sayers, Michael W. Related Software: Matlab Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)
ObliVM Cited in 7 Documents (2017–2021) Software Authors: Liu, C., Wang, X., Nayak, K., Huang, Y., Shi, E. Related Software: ABY; Sharemind; GraphSC; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
Tensorforce Cited in 4 Documents (2021–2022) Software Authors: Kuhnle, Alexander; Schaarschmidt, Michael; Fricke, Kai Related Software: TensorFlow; OpenAI Gym; PyTorch; … Main Fields: Computer science (68-XX); Fluid mechanics (76-XX); Biology and other natural sciences (92-XX)
catch22 Cited in 5 Documents (2020–2022) Software Authors: Carl H Lubba, Sarab S Sethi, Philip Knaute, Simon R Schultz, Ben D Fulcher, Nick S Jones Related Software: rocket; FFORMA; hctsa; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)
hiCUDA Cited in 2 Documents (2013–2015) Software Authors: T. D. Han; T. S. Abdelrahman Related Software: CUDA; Fortran DVM; CUDA-lite; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
JuliaReach Cited in 5 Documents (2018–2022) Software Authors: Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling Related Software: SpaceEx; Flow*; XSpeed; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
MultiBUGS Cited in 2 Documents (2019–2022) Software Authors: Goudie, R. J. B., Turner, R. M., De Angelis, D., Thomas, A. Related Software: R; WinBUGS; JAGS; … Main Fields: Statistics (62-XX)
Nematus Cited in 0 Documents Software Authors: Rico Sennrich, Orhan Firat, Kyunghyun Cho, Alexandra Birch, Barry Haddow, Julian Hitschler, Marcin Junczys-Dowmunt, Samuel Läubli, Antonio Valerio Miceli Barone, Jozef Mokry, Maria Nădejde Related Software: Adam; OpenNMT; Tensor2Tensor; … Main Fields: –
Newton Cited in 5 Documents (1997–2013) Software Authors: Van Hentenryck, Pascal; Michel, Laurent; Benhamou, F. Related Software: Helios; PASCAL-XSC; COMET; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
OpenMusic Cited in 4 Documents (2009–2015) Software Authors: Bresson, J., Agon, C., Assayag, G. Related Software: SPIN; ntccSim; Ntccrt; … Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); …
SHRAD Cited in 6 Documents (2005–2008) Software Authors: Farjudian, Amin Related Software: iRRAM Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
UPC Cited in 4 Documents (2012–2021) Software Authors: UPC Consortium Related Software: CUDA; OpenNebula; Airflow; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
BSGP Cited in 2 Documents (2011) Software Authors: Hou, Q.; Zhou, K.; Guo, B. Related Software: CUDA; BSPlib; hiCUDA; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
EdenTV Cited in 3 Documents (2008–2016) Software Authors: Berthold, Jost; Loogen, Rita Related Software: Eden; Haskell; eSkel; … Main Fields: Computer science (68-XX)
EmptyHeaded Cited in 3 Documents (2017–2022) Software Authors: Christopher R. Aberger, Susan Tu, Kunle Olukotun, Christopher Ré Related Software: HyperBench; Ligra; GraphX; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
EPGY Cited in 3 Documents (2001–2020) Software Authors: Richard Sommer; Gregory Nuckols Related Software: LPL software; REDUCE; OTTER; … Main Fields: Computer science (68-XX); Mathematics education (97-XX)
Hop Cited in 5 Documents (2010–2019) Software Authors: Manuel Serrano, Erick Gallesio, Florian Loitsch Related Software: Links; Ur/Web; Haskell; … Main Fields: Computer science (68-XX)
MathPartner Cited in 5 Documents (2017–2022) Software Authors: Malaschonok, G. I. Related Software: SymPy; Mathematica; Maple Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); …
MONSTR Cited in 5 Documents (1995–1998) Software Authors: Banach, R. Related Software: DACTL Main Fields: Computer science (68-XX)
nextnano Cited in 4 Documents (2012–2019) Software Authors: Birner, Stefan; Zibold, T.; Andlauer, T.; Kubis, T. Related Software: NanoTCAD ViDES; transiesta; Kwant; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Quantum theory (81-XX); …