deal.ii Cited in 691 Documents (1999–2023) Software Authors: Bangerth W, Hartman R, Kanschat G Related Software: Trilinos; PETSc; FEniCS; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
MUMPS Cited in 585 Documents (2000–2023) Software Authors: Amestoy, Patrick R.; Duff, Iain S.; L’Excellent, Jean-Yves; Koster, Jacko Related Software: PETSc; PARDISO; METIS; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
ScaLAPACK Cited in 410 Documents (1995–2023) Software Authors: Blackford, L.S.; Choi, J.; Cleary, A.; D'Azevedo, E.; Demmel, J.; Dhillon, I.; Dongarra, J.; Hammarling, S.; Henry, G.; Petitet, A.; Stanley, K.; Walker, D.; Whaley, R.C. Related Software: LAPACK; BLAS; PLAPACK; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …
XFEM Cited in 389 Documents (2002–2022) Software Authors: Bordas, Stéphane Author Profile; Nguyen, Phu Vinh; Dunant, Cyrille; Guidoum, Amor; Nguyen-Dang, Hung Related Software: Matlab; Gmsh; ABAQUS; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
Gerris Cited in 362 Documents (2000–2023) Software Authors: Popinet, Stéphane Related Software: PROST; SLIC; Basilisk; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Mfree2D Cited in 329 Documents (2002–2023) Software Authors: G.R. Liu, Z.H. Tu Related Software: Matlab; XFEM; ABAQUS; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
Z Cited in 228 Documents (1958–2022) Software Authors: Woodcock, Jim; Davies, Jim Related Software: Circus; ProofPower; Rodin; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX); …
PLTMG Cited in 215 Documents (1990–2023) Software Authors: Randolph E. Bank; University of California Related Software: UG; PETSc; deal.ii; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
Traces Cited in 219 Documents (2014–2023) Software Authors: Adolfo Piperno Related Software: nauty; GAP; SageMath; … Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX); …
TetGen Cited in 196 Documents (2006–2023) Software Authors: Hang Si Related Software: Triangle; Gmsh; Netgen; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
UG Cited in 185 Documents (1994–2021) Software Authors: Bastian, P.; Birken, K.; Johannsen, K.; Lang, S.; Neuß, N.; Rentz-Reichert, H.; Wieners, C. Related Software: DUNE; PETSc; PLTMG; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
SuperLU Cited in 189 Documents (1997–2022) Software Authors: X. Sherry Li; Jim Demmel; John Gilbert; Laura Grigori; Meiyue Shao; Ichitaro Yamazaki Related Software: MUMPS; PETSc; UMFPACK; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
JML Cited in 157 Documents (2000–2022) Software Authors: Gary T. Leavens; Yoonsik Cheon Related Software: Spec#; Eiffel; KRAKATOA; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); …
iFEM Cited in 192 Documents (2009–2024) Software Authors: Chen L Related Software: Matlab; DistMesh; AFEM@matlab; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
ALBERTA Cited in 184 Documents (2005–2023) Software Authors: Alfred Schmidt, Kunibert G. Siebert, Claus-Justus Heine, Daniel Köster, Oliver Kriessl Related Software: UMFPACK; ALBERT; DUNE; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
PROST Cited in 179 Documents (2002–2023) Software Authors: Renardy, Yuriko; Renardy, Michael Related Software: Gerris; SLIC; KRAKEN; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
libMesh Cited in 151 Documents (2004–2023) Software Authors: B. S. Kirk, J. W. Peterson, R. H. Stogner, and G. F. Carey Related Software: PETSc; deal.ii; FEniCS; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
CLAWPACK Cited in 144 Documents (1996–2023) Software Authors: LeVeque, Randall J. Related Software: AMRCLAW; Pyclaw; HE-E1GODF; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
DeepXDE Cited in 139 Documents (2019–2023) Software Authors: Lu Lu, Xuhui Meng, Zhiping Mao, George E. Karniadakis Related Software: Adam; DGM; PyTorch; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
PARAMESH Cited in 105 Documents (2000–2023) Software Authors: P. MacNeice, K.M. Olson, C. Mobarry, R. de Fainchtein, C. Packer Related Software: Chombo; FLASH; Gerris; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
LEGO Cited in 107 Documents (1991–2021) Software Authors: Luo, Z., Pollack, R. Related Software: Coq; Nuprl; Automath; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …
Rodin Cited in 90 Documents (2008–2023) Software Authors: Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L. Related Software: ProB; Z; Circus; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
MA57 Cited in 95 Documents (2002–2022) Software Authors: Duff, Iain S. Related Software: HSL; Ipopt; SparseMatrix; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
SuperLU-DIST Cited in 95 Documents (2002–2023) Software Authors: Li, X.S., Demmel, J.W. Related Software: MUMPS; PETSc; SparseMatrix; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Circus Cited in 74 Documents (2002–2022) Software Authors: Woodcock, J.C.P., Cavalcanti, A.L.C. Related Software: Z; ProofPower; ZRC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); …
ALBERT Cited in 84 Documents (1997–2023) Software Authors: Schmidt, A.; Siebert, K.G. Related Software: ALBERTA; PETSc; FreeFem++; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
MFEM Cited in 75 Documents (2012–2023) Software Authors: Robert Anderson, Julian Andrej, Andrew Barker, Jamie Bramwell, Jean-Sylvain Camier, Jakub Cerveny, Veselin Dobrev, Yohann Dudouit, Aaron Fisher, Tzanio Kolev, Will Pazner, Mark Stowell, Vladimir Tomov, Johann Dahm, David Medina, Stefano Zampini Related Software: deal.ii; PETSc; hypre; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
Chombo Cited in 73 Documents (2002–2023) Software Authors: Colella, P., Graves, D.T., Ligocki, T.J., Martin, D.F., Modiano, D., Serafini, D.B., Straalen, B.V.; ANAG Related Software: PARAMESH; p4est; SAMRAI; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
MUSCLE Cited in 51 Documents (2005–2022) Software Authors: R.C. Edgar Related Software: ClustalW; MAFFT; T-coffee; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …
FLASH Cited in 66 Documents (2001–2023) Software Authors: B. Fryxell, K. Olson, P. Ricker, F. X. Timmes, M. Zingale, D. Q. Lamb, P. Macneice, R. Rosner, J. W. Rosner, J. W. Truran, H. Tufo Related Software: PARAMESH; HE-E1GODF; HLLE; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
AMRCLAW Cited in 72 Documents (1997–2023) Software Authors: M. J. Berger, R. J. LeVeque Related Software: CLAWPACK; PARAMESH; GEOCLAW; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
ECOS Cited in 68 Documents (2014–2023) Software Authors: Alexander Domahidi, Eric Chu, Santiago Akle, Han Wang Related Software: CVXPY; Mosek; SCS; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Computer science (68-XX); …
ProB Cited in 55 Documents (2002–2022) Software Authors: Michael Leuschel; Michael Butler Related Software: Rodin; Z; SPIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
Getfem++ Cited in 68 Documents (2004–2023) Software Authors: Yves Renard, Julien Pommier Related Software: deal.ii; Gmsh; PETSc; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
NAPACK Cited in 70 Documents (1987–2020) Software Authors: Hager, William W. Related Software: Maple; symrcm; Mathematica; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
MathSAT Cited in 56 Documents (2005–2022) Software Authors: Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani Related Software: z3; Yices; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX); …
FDR2 Cited in 45 Documents (2000–2016) Software Authors: Formal Systems Related Software: SPIN; Z; Circus; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
ProofPower Cited in 52 Documents (2001–2020) Software Authors: Roger Jones; Arthan, R.D.; Dave King; Lemma 1 Ltd Related Software: Circus; Z; HOL; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Real functions (26-XX); …
SAMRAI Cited in 49 Documents (2002–2023) Software Authors: Hornung, Richard D.; Kohn, Scott R. Related Software: PETSc; hypre; Chombo; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
CVXGEN Cited in 45 Documents (2010–2022) Software Authors: J. Mattingley; S. Boyd Related Software: qpOASES; ECOS; fast_mpc; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
elsA Cited in 43 Documents (1987–2023) Software Authors: ONERA Related Software: Spalart-Allmaras; AUSM; TAU; … Main Fields: Algebraic geometry (14-XX); Statistics (62-XX); Numerical analysis (65-XX); …
RAMSES Cited in 42 Documents (2006–2023) Software Authors: R. Teyssier Related Software: FLASH; GADGET; NIRVANA; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
GEOCLAW Cited in 43 Documents (2011–2022) Software Authors: M. J. Berger, D. L. George, R. J. LeVeque, K. M. Mandli Related Software: AMRCLAW; CLAWPACK; ADCIRC; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Overture Cited in 39 Documents (2000–2022) Software Authors: L. Brown, William D. Henshaw, Daniel J. Quinlan. Related Software: PETSc; CMPGRD; PARAMESH; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
p1afem Cited in 44 Documents (2011–2022) Software Authors: Funken, Stefan; Praetorius, Dirk; Wissgott, Philipp Related Software: Matlab; na14; iFEM; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
hp-VPINNs Cited in 43 Documents (2020–2023) Software Authors: Kharazmi, Ehsan; Zhang, Zhongqiang; Karniadakis, George E. M. Related Software: Adam; DiffSharp; DGM; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
AMROC Cited in 39 Documents (2005–2022) Software Authors: Ralf Deiterding Related Software: PARAMESH; AMRCLAW; Chombo; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
Palabos Cited in 37 Documents (2011–2023) Software Authors: Lagrava, D.; Malaspinas, O.; Latt, J.; Chopard, B.; Latt, Jonas; et al. Related Software: OpenLB; waLBerla; CUDA; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); …
SatAbs Cited in 35 Documents (2005–2020) Software Authors: Clarke, E., Kroning, D., Sharygina, N., Yorav, K. Related Software: BLAST; SLAM; CPAchecker; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
MAGIC Cited in 39 Documents (2003–2020) Software Authors: Chaki, Sagar; Clarke, Edmund; Jha, Somesh; Veith, Helmut Related Software: ComFoRT; Bandera; 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)
RAReQS Cited in 39 Documents (2012–2022) Software Authors: Janota, Mikoláš; Klieber, William; Marques-Silva, Joao; Clarke, Edmund Related Software: DepQBF; Bloqqer; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
PAT Cited in 33 Documents (2011–2022) Software Authors: Jun Sun, Yang Liu , Jin Song Dong , Jun Pang Related Software: Uppaal; SPIN; ProB; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); …
CEGAR Cited in 38 Documents (2006–2022) Software Authors: Hermanns, Holger; Wachter, Björn; Zhang, Lijun Related Software: PRISM; PASS; MRMC; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
CHARMS Cited in 35 Documents (2002–2022) Software Authors: Krysl, P. Related Software: ISOGAT; ABAQUS; Diffpack; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
QBIC Cited in 25 Documents (1997–2018) Software Authors: W. Niblack, R. Barber, W. Equitz, M. Flickner, E. Glasman, D. Petkovic, P. Yanker, C. Faloutsos, G. Taubin Related Software: VisualSEEk; Chabot; PicHunter; … Main Fields: Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Prodigy Cited in 24 Documents (1992–2019) Software Authors: Carbonell, J., Blythe, J., Etzioni, O., Gil, Y., Joseph, R., Kahn, D., Knoblock, C., Minton, S., Pérez, M.A., Reilly, S., Veloso, M., Wang, X. Related Software: UCPOP; Graphplan; KQML; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Pluto Cited in 33 Documents (2007–2022) Software Authors: Mignone, A.; Bodo, G.; Massaglia, S.; Matsakos, T.; Tesileanu, O.; Zanni, C.; Ferrari, A. Related Software: Athena; HLLE; RAMSES; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
Qsplat Cited in 20 Documents (2004–2022) Software Authors: Rusinkiewicz S, Levoy M Related Software: CGAL; Powercrust; OBBTree; … Main Fields: Convex and discrete geometry (52-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Carpet Cited in 31 Documents (2003–2020) Software Authors: Tom Goodale, Gabrielle Allen, Gerd Lanfermann, Joan Massó, Thomas Radke, Edward Seidel, John Shalf, Schnetter, E. Related Software: Cactus; Einstein Toolkit; Chombo; … Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Quantum theory (81-XX); …
AMReX Cited in 27 Documents (2019–2023) Software Authors: Ann Almgren Related Software: p4est; Chombo; FLASH; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
NIRVANA Cited in 31 Documents (2004–2022) Software Authors: Udo Ziegler, Oliver Gressel Related Software: RAMSES; Athena; PARAMESH; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-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); …
ARMC Cited in 25 Documents (2007–2020) Software Authors: Andreas Podelski, Andrey Rybalchenko Related Software: SLAM; TRACER; Dagger; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Benchmarks Cited in 27 Documents (2005–2022) Software Authors: Ratschan, Stefan; She, Zhikun Related Software: RSOLVER; HSolver; HyTech; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX); …
BoxLib Cited in 20 Documents (1998–2022) Software Authors: CCSE Related Software: Chombo; SAMRAI; PARAMESH; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
Cadence SMV Cited in 22 Documents (2000–2018) Software Authors: McMillan K L. Related Software: NuSMV; SPIN; SPOT; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
FDR3 Cited in 27 Documents (2014–2023) Software Authors: Thomas Gibson-Robinson; Philip Armstrong; Alexandre Boulgakov; Andrew W. Roscoe Related Software: CADP; LTSmin; SPIN; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
MA48 Cited in 26 Documents (1995–2022) Software Authors: Duff, I.S.; Reid, J.K. Related Software: HSL; SparseMatrix; BLAS; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
MPAS-Ocean Cited in 27 Documents (2015–2023) Software Authors: Ringler, T., Petersen, M., Higdon, R. L., Jacobsen, D., Jones, P. W., Maltrud, M. Related Software: POP; chammp; Expokit; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
CWENO Cited in 26 Documents (2004–2021) Software Authors: Kleimann, Jens; Kopp, Andreas; Fichtner, Horst; Grauer, Rainer; Germaschewski,Kai Related Software: NIRVANA; FLASH; MAP; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
qGCL Cited in 23 Documents (2000–2021) Software Authors: Zuliani, Paolo Related Software: QPL; QML; Quipper; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX); …
ALUGrid Cited in 25 Documents (2008–2022) Software Authors: Andreas Dedner, Robert Klöfkorn, Martin Nolte Related Software: DUNE-ALUGrid; DUNE; DuMuX; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
CASTRO Cited in 22 Documents (2011–2022) Software Authors: Ann Almgren; et al. Related Software: FLASH; MAESTRO; HE-E1GODF; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
Rabbit Cited in 23 Documents (2001–2022) Software Authors: Beyer, Dirk; Lewerentz, Claus; Noack, Andreas Related Software: Uppaal; Kronos; PRISM; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); …
SBA Cited in 23 Documents (2007–2022) Software Authors: Manolis I. A. Lourakis; Antonis A. Argyros Related Software: SIFT; MonoSLAM; PCA-SIFT; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Specware Cited in 25 Documents (1998–2019) Software Authors: Srinivas, Y., Jullig, R.; Waldiger, R. Related Software: PVS; Nuprl; CASL; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX); …
ENZO Cited in 19 Documents (2009–2023) Software Authors: Bryan, G. L., Norman, M. L., O’Shea, B. W., Abel, T., Wise, J. H., Turk, M. J., Reynolds, D. R., Collins, D. C., Wang, P., Skillman, S. W., Smith, B., Harkness, R. P., Bordner, J., Kim, J.-h., Kuhlen, M., Xu, H., Goldbaum, N., Hummels, C., Kritsuk, A. G., Tasker, E., Skory, S., Simpson, C. M., Hahn, O., Oishi, J. S., So, G. C., Zhao, F., Cen, R., Li, Y., Related Software: FLASH; RAMSES; AMReX; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SCOTS Cited in 22 Documents (2016–2022) Software Authors: Rungger, Matthias; Zamani, Majid Related Software: PESSOA; CoSyma; TuLiP; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX); …
UFO Cited in 17 Documents (2012–2021) Software Authors: Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik Related Software: CPAchecker; z3; BLAST; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
D-Claw Cited in 22 Documents (2014–2023) Software Authors: George, David L.; Iverson, Richard M. Related Software: HE-E1GODF; GEOCLAW; PVM; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
Reveal Cited in 22 Documents (1993–2021) Software Authors: Andraus, Zaher S.; Liffiton, Mark H.; Sakallah, Karem A. Related Software: MiniSat; MUSer2; HMQV; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …
csp2B Cited in 16 Documents (2000–2014) Software Authors: Butler, Michael Related Software: Circus; Rodin; Z; … Main Fields: Computer science (68-XX)
HOL-OCL Cited in 13 Documents (2002–2016) Software Authors: Brucker, Achim D.; Wolff, Burkhart Related Software: ATL; KeY; ETPS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
RELION Cited in 21 Documents (2015–2023) Software Authors: S. H. W. Scheres Related Software: cryoSPARC; EMan; FREALIGN; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Uintah Cited in 20 Documents (2001–2019) Software Authors: J. Davison de St Germain, J. McCorquodale, S.G. Parker, et al. Related Software: PETSc; Chombo; Overture; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
Y12M Cited in 21 Documents (1981–2010) Software Authors: Zlatev, Zahari; Wasniewski, Jerzy; Schaumburg, Kjeld Related Software: MA28; BLAS; LINPACK; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX); …
CAQE Cited in 20 Documents (2016–2022) Software Authors: Rabe, M.N., Tentrup, L. Related Software: RAReQS; HQSpre; DepQBF; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
F* Cited in 20 Documents (2011–2020) Software Authors: Microsoft Research, INRIA; Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean Related Software: Coq; EasyCrypt; Nuprl; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); …
GTS Cited in 20 Documents (2000–2019) Software Authors: S. Popinet; T. Jones Related Software: CGAL; DOLFIN; FEniCS; … Main Fields: Algebraic topology (55-XX); Numerical analysis (65-XX); Computer science (68-XX); …
HP90 Cited in 20 Documents (1995–2017) Software Authors: Demkowicz, L.; Gerdes, K.; Schwab, C.; Bajer, A.; Walsh, T. Related Software: 3Dhp90; 2Dhp90; PLAPACK; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
I-TASSER Cited in 15 Documents (2012–2023) Software Authors: A. Roy, A. Kucukural, Y. Zhang Related Software: BLAST; PSI-BLAST; Gromacs; … Main Fields: Partial differential equations (35-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX); …
PLTMGC Cited in 19 Documents (1984–2021) Software Authors: Bank, Randolph E.; Chan, Tony F. Related Software: LOCA; PLTMG; GPFEM; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Operator theory (47-XX); …
Autoref Cited in 18 Documents (2013–2022) Software Authors: Lammich, Peter Related Software: Isabelle/HOL; Archive Formal Proofs; Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …
DROPS Cited in 18 Documents (2005–2022) Software Authors: S. Groß, J. Peters, V. Reichelt, A. Reusken Related Software: UG; CutFEM; NewtonLib; … Main Fields: Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX); …
Jakarta Cited in 17 Documents (2001–2014) Software Authors: Daniela Junho de Andrade, Simão Melo de Sousa Related Software: Coq; OCaml; LETOS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Geophysics (86-XX); …
ADER-DG Cited in 17 Documents (2014–2022) Software Authors: Rannabauer, Leonhard; Dumbser, Michael; Bader, Michael Related Software: HE-E1GODF; MOOD; ECHO; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
CAVA LTL Modelchecker Cited in 16 Documents (2015–2021) Software Authors: Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf; Jan-Georg Smaus Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); …
CSP-prover Cited in 17 Documents (2005–2022) Software Authors: Isobe, Yoshinao; Roggenbach, Markus Related Software: PVS; Isabelle/HOL; FDR2; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
DAGH Cited in 13 Documents (1998–2011) Software Authors: Parashar, Manish; Browne, James C. Related Software: PARAMESH; AMROC; SAMRAI; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
par2Dhp Cited in 15 Documents (2006–2021) Software Authors: Paszyński, M.; Kurtz, J.; Demkowicz, L. Related Software: 3Dhp90; MUMPS; PETSc; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …