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); …
Prolog Cited in 57 Documents (1984–2020) Software Authors: Daniel Diaz Related Software: SICStus; CHIP; Twelf; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …
ParLinSys Cited in 21 Documents (2004–2022) Software Authors: Popova, Evgenija D.; Krämer, Walter Related Software: INTLAB; C-XSC; C-XSC 2.0; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …
HACL* Cited in 11 Documents (2018–2023) Software Authors: Jean Karim Zinzindohoué, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche Related Software: Jasmin; Toolchain; Why3; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
FastImp Cited in 6 Documents (2006–2022) Software Authors: Z. Zhu, B. Song, J. K. White Related Software: Fasthenry; quadva; quadgk; … Main Fields: Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX)
KDE Toolbox Cited in 5 Documents (2008–2017) Software Authors: Alexander Ihler Related Software: LIBSVM; PRMLT; rflowcyt; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
MPACK Cited in 6 Documents (2012–2021) Software Authors: M. Nakata Related Software: XBLAS; exflib; gmp; … Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX); Quantum theory (81-XX)
muparser Cited in 7 Documents (2016–2021) Software Authors: Ingo Berg Related Software: WorkStream; Open CASCADE; Intel TBB; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
PANOW Cited in 7 Documents (2008–2022) Software Authors: Vergne, Nicolas; Abadi, Miguel Related Software: – Main Fields: Dynamical systems and ergodic theory (37-XX); Probability theory and stochastic processes (60-XX); Biology and other natural sciences (92-XX)
Scythe Cited in 7 Documents (2010–2015) Software Authors: Daniel Pemstein, Kevin M. Quinn, Andrew D. Martin Related Software: sn Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …
GFortran Cited in 4 Documents (2011–2023) Software Authors: – Related Software: DDCalc; dmscatter; Python; … Main Fields: Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); Quantum theory (81-XX); …
MCdevelop Cited in 4 Documents (2011–2018) Software Authors: Slawinska, M.; Jadach, S. Related Software: Foam; ROOT; BHLUMI; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Quantum theory (81-XX); …
Orion Cited in 4 Documents (2006–2018) Software Authors: Dams, Dennis R.; Namjoshi, Kedar S. Related Software: SatAbs; BLAST; Goanna; … Main Fields: Computer science (68-XX)
SoftFloat Cited in 4 Documents (2002–2021) Software Authors: Hauser, J. Related Software: INTLAB; MPFR; CUBLAS; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
GraphicsMagick Cited in 1 Document (2021) Software Authors: GraphicsMagick Group Related Software: ImageMagick; FFmpeg; LibTIFF; … Main Fields: Computer science (68-XX)
Milepost GCC Cited in 1 Document (2015) Software Authors: Fursin Grigori, Kashnikov Yuriy, Memon Abdul Wahid, Chamski Zbigniew, Temam Olivier, et al. Related Software: LLVM; FFTW; ATLAS; … Main Fields: Computer science (68-XX)
OpenCoarrays Cited in 3 Documents (2015–2022) Software Authors: Fanfarillo, A.; Burnus, T.; Cardellini, V.; Filippone, S.; Nagle, D.; Rouson, D. Related Software: CoArray; ParaDRAM; QUESO; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)
CompCertS Cited in 3 Documents (2017–2019) Software Authors: Besson, Frédéric; Blazy, Sandrine; Wilke, Pierre Related Software: CompCertTSO; Coq; CompCert; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
logcf Cited in 2 Documents (2015–2019) Software Authors: Liyun Dai, Bican Xia Related Software: Mathematica; INTLAB; ISOLATE; … Main Fields: Field theory and polynomials (12-XX); Numerical analysis (65-XX); Computer science (68-XX)
lrslib Cited in 2 Documents (2008–2017) Software Authors: David Avis Related Software: lrs; PORTA; LattE; … Main Fields: Group theory and generalizations (20-XX); Convex and discrete geometry (52-XX); Statistics (62-XX); …
RTSIM Cited in 3 Documents (2002–2016) Software Authors: Cesare Bartolini; Giuseppe Lipari Related Software: SchedCAT; GitHub; M-CASH Main Fields: Computer science (68-XX)
GCC Cited in 2 Documents (2022–2023) Software Authors: Jiezhong Qiu, Qibin Chen, Yuxiao Dong, Jing Zhang, Hongxia Yang, Ming Ding, Kuansan Wang, Jie Tang Related Software: GloVe; word2vec; GLoMo; … Main Fields: Computer science (68-XX); Mechanics of deformable solids (74-XX)
gccXfront Cited in 1 Document (2007) Software Authors: M. Hennessy, B.A. Malloy, J.F. Power Related Software: muJava; TUAnalyzer; XOgastan; … Main Fields: Computer science (68-XX)
InterAspect Cited in 2 Documents (2012–2021) Software Authors: Seyster, Justin; Dixit, Ketan; Huang, Xiaowan; Grosu, Radu; Havelund, Klaus; Smolka, Scott A.; Stoller, Scott D.; Zadok, Erez Related Software: AspectJ; AspectWerkz; Java-MaC; … Main Fields: Computer science (68-XX)
libquadmath Cited in 2 Documents (2015–2016) Software Authors: Free Software Foundation Related Software: NAG; AS 241; Algorithm 955; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
PyURDME Cited in 1 Document (2017) Software Authors: Brian Drawert, Andreas Hellander Related Software: MOLNs; mftoolbox; mlrnd; … Main Fields: Partial differential equations (35-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
Acovea Cited in 0 Documents Software Authors: Ladd Scott Robert Related Software: TACT; Cole; Micomp; … Main Fields: –
Cole Cited in 0 Documents Software Authors: Hoste Kenneth, Eeckhout Lieven Related Software: TACT; Micomp; Acovea; … Main Fields: –
Crellvm Cited in 1 Document (2021) Software Authors: Kang, J., Kim, Y., Song, Y., Lee, J., Park, S., Shin, M.D., Kim, Y., Cho, S., Choi, J., Hur, C., Yi, K. Related Software: z3; Loopy; WebAssembly; … Main Fields: Computer science (68-XX)
lquadmath Cited in 1 Document (2017) Software Authors: Free Software Foundation Related Software: FPTuner; dReal; HOL Light; … Main Fields: Computer science (68-XX)
Nonio Cited in 0 Documents Software Authors: Ricardo Nobre, João Bispo, Tiago Carvalho, João M.P. Cardoso Related Software: TACT; Cole; Micomp; … Main Fields: –
Obliv-C Cited in 1 Document (2017) Software Authors: Zahur, S., Evans, D. Related Software: ABC; TinyGarble; Frigate; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
SIMBio Cited in 1 Document (2020) Software Authors: Rubert DP, Araujo E, Stefanes MA Related Software: GO-TermFinder; QPath; GraMoFoNe; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
SPARKSkein Cited in 0 Documents Software Authors: Chapman, Roderick; Botcazou, Eric; Wallenburg, Angela Related Software: VeriFast; VCC; Alt-Ergo; … Main Fields: Information and communication theory, circuits (94-XX)
SymbiFlow Cited in 1 Document (2021) Software Authors: Wolf, C Related Software: GitHub; Yosys Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
TACT Cited in 0 Documents Software Authors: Dmitry Plotnikov; Dmitry Melnik; Mamikon Vardanyan; Ruben Buchatskiy; Roman Zhuykov Related Software: Cole; Micomp; Acovea; … Main Fields: –
TranslationUnit Cited in 1 Document (2009) Software Authors: Winters A. Related Software: Python; RGCCTranslationUnit; Cscope; … Main Fields: Statistics (62-XX); Computer science (68-XX)
XOgastan Cited in 1 Document (2007) Software Authors: G. Antoniol, M. Di Penta, G. Masone, U. Villano Related Software: gccXfront; TUAnalyzer; Columbus Main Fields: Computer science (68-XX)