AGG Cited in 70 Documents (1994–2023) Software Authors: Gabriele Taentzer Related Software: GROOVE; PROGRES; AToM3; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX); …
DART Cited in 59 Documents (2005–2022) Software Authors: Patrice Godefroid; Nils Klarlund; Koushik Sen Related Software: CUTE; z3; Pex; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Hets Cited in 65 Documents (2005–2023) Software Authors: Mossakowski, T., Maeder, C., Lüttich, K. Related Software: CASL; Isabelle/HOL; Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX); …
CakeML Cited in 60 Documents (2014–2023) Software Authors: Kumar, Ramana; Myreen, Magnus O.; Norrish, Michael; Owens, Scott Related Software: Isabelle/HOL; Coq; HOL; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX); …
PointNet Cited in 44 Documents (2018–2022) Software Authors: Charles R. Qi, Hao Su, Kaichun Mo, Leonidas J. Guibas Related Software: ImageNet; VoxNet; PointCNN; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
GF Cited in 30 Documents (1999–2021) Software Authors: Ranta, Aarne Related Software: Coq; Mizar; Isar; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
bioperl Cited in 10 Documents (2006–2021) Software Authors: Stajich, J.E., et al. Related Software: PERL; Biopython; ClustalW; … Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Statistics (62-XX); …
JastAdd Cited in 17 Documents (2003–2022) Software Authors: Hedin, Görel; Magnusson, Eva Related Software: Stratego; ANTLR; ASF+SDF; … Main Fields: Computer science (68-XX)
Minlog Cited in 22 Documents (2001–2022) Software Authors: Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut; Seisenberger, Monika Related Software: Coq; Haskell; Nuprl; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); …
lubridate Cited in 7 Documents (2014–2022) Software Authors: Garrett Grolemund, Vitalie Spinu, Hadley Wickham, Ian Lyttle, Imanuel Constigan, Jason Law, Doug Mitarotonda, Joseph Larmarange, Jonathan Boiser, Chel Hee Lee Related Software: R; ggplot2; zoo; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
LZ77 Cited in 20 Documents (2013–2022) Software Authors: Juha Kärkkäinen, Dominik Kempa, Simon J. Puglisi Related Software: r-index; GitHub; get-git-revisions; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
TXL Cited in 13 Documents (2005–2022) Software Authors: Cordy, James R. Related Software: Stratego; ASF+SDF; JastAdd; … Main Fields: Computer science (68-XX)
XML Cited in 7 Documents (2003–2019) Software Authors: Duncan Temple Lang Related Software: R; lattice; RODBC; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
libSBML Cited in 6 Documents (2009–2022) Software Authors: B. J. Bornstein, S. M. Keating, A. Jouraku, M. Hucka Related Software: COPASI; SimpleSBML; BioModels; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …
Dyna Cited in 13 Documents (2008–2022) Software Authors: Jason Eisner; Eric Goldlust; Noah A. Smith; Filardo, N. W. Related Software: ProbLog; PRISM; kProbLog; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
THF0 Cited in 14 Documents (2008–2019) Software Authors: Benzmüller, Christoph; Rabe, Florian; Sutcliffe, Geoff Related Software: TPTP; E Theorem Prover; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HOL Zero Cited in 12 Documents (2014–2023) Software Authors: Adams, Mark Related Software: Isabelle/HOL; HOL Light; HOL; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); …
JFLAP Cited in 11 Documents (2002–2019) Software Authors: Rodger S, Finley T Related Software: SPIN; FAUST; CAITLIN; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
Lamatto Cited in 13 Documents (2012–2021) Software Authors: Björn Geißler; Oliver Kolb; Antonio Morsi Related Software: Lamatto++; GasLib; Gurobi; … Main Fields: General and overarching topics; collections (00-XX); Calculus of variations and optimal control; optimization (49-XX); Fluid mechanics (76-XX); …
Lamatto++ Cited in 13 Documents (2016–2021) Software Authors: Antonio Morsi, Björn Geißler, Oliver Kolb Related Software: GasLib; Lamatto; SCIP; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
NoDoSE Cited in 3 Documents (2000–2014) Software Authors: Adelberg B Related Software: ROADRUNNER; XPath; XMLTK; … Main Fields: Computer science (68-XX)
GEOquery Cited in 7 Documents (2016–2022) Software Authors: Sean D, Meltzer PS Related Software: Bioconductor; R; shiny; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX); …
ADE20k Cited in 5 Documents (2020–2022) Software Authors: Zhou B., Zhao H., Puig X., Fidler S., Barriuso A., Torralba A. Related Software: MS-COCO; DeepLab; Cityscapes; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
Grammar Matrix Cited in 2 Documents (2006–2019) Software Authors: Bender E., Flickinger D., Oepen S. Related Software: LKB; Prolog; GF; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
STOMP Cited in 10 Documents (2008–2022) Software Authors: White MD, Oostrom M Related Software: eSTOMP; OpenGeoSys; TOUGH; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX); …
biXid Cited in 7 Documents (2006–2018) Software Authors: Kawanaka, Shinya; Hosoya, Haruo Related Software: XSugar; XDuce; Rocksalt; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
TRX Cited in 8 Documents (2010–2020) Software Authors: Koprowski, Adam; Binsztok, Henri Related Software: Coq; Agda; HOL; … Main Fields: Computer science (68-XX)
Big-BWT Cited in 8 Documents (2018–2021) Software Authors: Christina Boucher, Travis Gagie, Alan Kuhnle, Giovanni Manzini Related Software: r-index; BWA; LZ77; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
D-FLAT Cited in 8 Documents (2012–2020) Software Authors: Bliem, B., Morak, M., Woltran, S.; Abseher, M., Bliem, B., Charwat, G., Dusberger, F., Hecher, M. Related Software: Clingo; Jdrasil; ComputeTW; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Elkhound Cited in 7 Documents (2004–2014) Software Authors: McPeak, Scott; Necula, George C. Related Software: BRNGLR; ATERM; eSkel; … Main Fields: Computer science (68-XX)
muparser Cited in 8 Documents (2016–2023) Software Authors: Ingo Berg Related Software: Open CASCADE; deal.ii; UMFPACK; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
PowerModels.jl Cited in 7 Documents (2021–2023) Software Authors: C. Coffrin, R. Bent, K. Sundar, Y. Ng, M. Lubin Related Software: JuMP; Julia; PGLib-OPF; … Main Fields: Operations research, mathematical programming (90-XX)
LRinv Cited in 7 Documents (2009–2023) Software Authors: Kawabe, M., Glück, R. Related Software: SyReC; GDB; CauDEr; … Main Fields: Computer science (68-XX)
PyYAML Cited in 3 Documents (2014–2017) Software Authors: Kirill Simonov Related Software: Python; NumPy; SciPy; … Main Fields: Computer science (68-XX); Classical thermodynamics, heat transfer (80-XX); Quantum theory (81-XX)
ApolloScape Cited in 1 Document (2021) Software Authors: Huang X., Cheng X., Geng Q., Cao B., Zhou D., Wang P., et al. Related Software: KITTI; H3D; MS-COCO; … Main Fields: Computer science (68-XX)
OpenNLP Cited in 3 Documents (2011–2018) Software Authors: Baldridge, J., Morton, T., Bierner, G. Related Software: R; lsa; Bow; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX); …
PADS Cited in 5 Documents (2010–2020) Software Authors: Kathleen Fisher; Robert Gruber Related Software: YAKKER; OCaml; hypoparsr; … Main Fields: Computer science (68-XX)
ALE Cited in 3 Documents (1992–2005) Software Authors: Carpenter, B., G. Penn Related Software: Grammar Matrix; LKB Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Bedrock Cited in 4 Documents (2017–2019) Software Authors: Adam Chlipala Related Software: Coq; Toolchain; OCaml; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CatLog3 Cited in 5 Documents (2019–2022) Software Authors: Morrill, Glyn Related Software: Grail; Lolli; GitHub; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CCNet Cited in 3 Documents (2021–2022) Software Authors: Zilong Huang, Xinggang Wang, Yunchao Wei, Lichao Huang, Humphrey Shi, Wenyu Liu, Thomas S. Huang Related Software: DeepLab; MS-COCO; U-Net; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
ebs Cited in 5 Documents (2015–2021) Software Authors: Luca Oddone Breveglieri Related Software: GitHub Main Fields: Computer science (68-XX)
GDK Cited in 3 Documents (2002–2010) Software Authors: Kort, J.; Lämmel, R.; Verhoef, C. Related Software: ASF+SDF; GRK; UMLDiff; … Main Fields: Computer science (68-XX)
I2T Cited in 1 Document (2012) Software Authors: Yao, B.; Yang, X.; Lin, L.; Lee, M. W.; Zhu, S. C. Related Software: Im2Text; DenseCap; PASCAL VOC; … Main Fields: Computer science (68-XX)
qdap Cited in 1 Document (2020) Software Authors: Tyler Rinker, Bryan Goodrich, Dason Kurkiewicz Related Software: tidytext; tm; syuzhet; … Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Cetus Cited in 2 Documents (2004–2011) Software Authors: Lee, Sang-Ik; Johnson, Troy A.; Eigenmann, Rudolf Related Software: AspectC++; Zoltar; Daikon; … Main Fields: Computer science (68-XX)
CRSX Cited in 3 Documents (2009–2011) Software Authors: Rose, K.H.; IBM Related Software: Automath; Nominal Isabelle; PoplMark; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Forest FIRE Cited in 3 Documents (2009–2020) Software Authors: Cleophas, Loek; Hemerik, Kees Related Software: MONA; Tiburon Main Fields: Computer science (68-XX)
LTLMoP Cited in 4 Documents (2017–2020) Software Authors: Cameron Finucane; Gangyuan Jing; Hadas Kress-Gazit Related Software: TuLiP; PESSOA; ROS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); …
ManeParse Cited in 2 Documents (2021–2022) Software Authors: D. B. Clark, E. Godat, F. I. Olness Related Software: Mathematica; Package-X; TikZ-Feynman; … Main Fields: Statistics (62-XX); Quantum theory (81-XX)
mmLib Cited in 3 Documents (2009–2017) Software Authors: Ethan Merritt; Jay Painter Related Software: PyACTS; Python; PyClimate; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Sawja Cited in 4 Documents (2011–2022) Software Authors: Hubert, Laurent; Barr\'e, Nicolas; Besson, Fr\'ed\'eric; Demange, Delphine; Jensen, Thomas; Monfort, Vincent; Pichardie, David; Turpin, Tiphaine Related Software: WALA; DeepWukong; GitHub; … Main Fields: Computer science (68-XX)
siEDM Cited in 4 Documents (2016–2021) Software Authors: Takabatake, Yoshimasa; Nakashima, Kenta; Kuboyama, Tetsuji; Tabei, Yasuo; Sakamoto, Hiroshi Related Software: r-index Main Fields: Computer science (68-XX)
stringi Cited in 0 Documents Software Authors: Marek Gagolewski, Bartek Tartanus, et al. Related Software: R; Rcpp; stm; … Main Fields: –
SugarJ Cited in 2 Documents (2015–2020) Software Authors: Erdweg, S., Rendel, T., Kastner, C., Ostermann, K. Related Software: Spoofax; JastAdd; lang-n-play; … Main Fields: Computer science (68-XX)
BRNGLR Cited in 3 Documents (2007–2019) Software Authors: Scott, Elizabeth; Johnstone, Adrian; Economopoulos, Rob Related Software: Elkhound; CDuce; Cecil; … Main Fields: Computer science (68-XX)
BSP Cited in 3 Documents (2015–2020) Software Authors: Borsotti, Angelo; Breveglieri, Luca; Crespi Reghizzi, Stefano; Morzenti, Angelo Related Software: Nethogs; GRAPE; Blogel; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
cleanNLP Cited in 0 Documents Software Authors: Taylor B. Arnold Related Software: RcppRoll; ISOweek; lubridate; … Main Fields: –
DCMTB Cited in 1 Document (2011) Software Authors: Langer S, Charboneau N, French T Related Software: ITACA; LTSA-WS; WSAT Main Fields: Computer science (68-XX)
DeeperLab Cited in 2 Documents (2022) Software Authors: Tien-Ju Yang, Maxwell D. Collins, Yukun Zhu, Jyh-Jing Hwang, Ting Liu, Xiao Zhang, Vivienne Sze, George Papandreou, Liang-Chieh Chen Related Software: MS-COCO; Panoptic-DeepLab; KITTI; … Main Fields: Computer science (68-XX)
FLOPS Cited in 3 Documents (2018–2020) Software Authors: Qian, H. Related Software: PolyMesher; METIS Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); …
HepML Cited in 2 Documents (2010–2013) Software Authors: Belov, S.; Dudko, L.; Kekelidze, D.; Sherstnev, A. Related Software: libhepml; MadEvent; HELAC; … Main Fields: Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)
libhepml Cited in 2 Documents (2010–2013) Software Authors: Belov, S.; Dudko, L.; Kekelidze, D.; Sherstnev, A. Related Software: HepML; MadEvent; HELAC; … Main Fields: Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)
LIGHT Cited in 3 Documents (2002–2003) Software Authors: Ciortuz, Liviu Related Software: – Main Fields: Computer science (68-XX)
Lightspeed Cited in 3 Documents (2011–2022) Software Authors: T. Minka Related Software: Quantum Espresso; CRYSTAL; CheFSI; … Main Fields: Numerical analysis (65-XX); Quantum theory (81-XX); Biology and other natural sciences (92-XX); …
MedScan Cited in 2 Documents (2008–2017) Software Authors: Novichkova S, Egorov S, Daraselia N Related Software: IgRepertoireConstructor; GraphClust; RNASurface; … Main Fields: General and overarching topics; collections (00-XX); Biology and other natural sciences (92-XX)
openNLP Cited in 1 Document (2019) Software Authors: Kurt Hornik Related Software: lubridate; ggplot2; data.table; … Main Fields: Computer science (68-XX)
ParsCit Cited in 2 Documents (2013) Software Authors: Councill, I.G., Giles, C.L., Kan, M.-Y. Related Software: MALLET; LIBSVM; MathML; … Main Fields: Computer science (68-XX)
PHORA Cited in 3 Documents (2001–2002) Software Authors: Palomar, Manuel; Saiz-Noeda, Maximiliano; Muñoz, Rafael; Suárez, Armando; Martínez-Barco, Patricio Related Software: WordNet Main Fields: Computer science (68-XX)
PolyFARM Cited in 3 Documents (2002–2012) Software Authors: Clare, Amanda; King, Ross D. Related Software: GOLEM; Aleph; TopLog; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
PVSio Cited in 3 Documents (2007–2015) Software Authors: César Muñoz Related Software: PVS; Coq; MetiTarski; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
RIGAL Cited in 3 Documents (1991–1993) Software Authors: Auguston, M.I. Related Software: YACC Main Fields: Computer science (68-XX)
SPARK Cited in 3 Documents (2002–2014) Software Authors: Aycock, John Related Software: ANTLR; dypgen; DEXTER; … Main Fields: Computer science (68-XX)
AugGAN Cited in 2 Documents (2022) Software Authors: Sheng-Wei Huang, Che-Tsung Lin, Shu-Ping Chen, Yen-Yi Wu, Po-Hao Hsu, Shang-Hong Lai Related Software: Wasserstein GAN; PULSE; LSUN; … Main Fields: Computer science (68-XX)
Bio.Phylo Cited in 0 Documents Software Authors: Talevich E, Invergo BM, Cock PJ, Chapman BA Related Software: Biopython; DendroPy; Python; … Main Fields: –
CamemBERT Cited in 1 Document (2022) Software Authors: Louis Martin, Benjamin Muller, Pedro Javier Ortiz Suárez, Yoann Dupont, Laurent Romary, Éric Villemonte de la Clergerie, Djamé Seddah, Benoît Sagot Related Software: ALBERT; BERT; Adam; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
CDG LAB Cited in 2 Documents (2015–2017) Software Authors: R. Alfared, D. Béchet, A. Dikovsky Related Software: – Main Fields: History and biography (01-XX); Computer science (68-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)
IKOS Cited in 1 Document (2015) Software Authors: Guillaume Brat, Jorge A. Navas, Nija Shi, Arnaud Venet Related Software: – Main Fields: Computer science (68-XX)
indentation Cited in 2 Documents (2017–2020) Software Authors: Michael D. Adams; Ömer S. Ağacan Related Software: Shonky; parsec; Trifecta; … Main Fields: Computer science (68-XX)
LibYAML Cited in 1 Document (2020) Software Authors: Kirill Simonov Related Software: nuclide-data; GitHub; Ecosystem Software; … Main Fields: Numerical analysis (65-XX); Biology and other natural sciences (92-XX)
MIGenAS Cited in 0 Documents Software Authors: Rampp M, Soddemann T, Lederer H Related Software: BLAST; PSI-BLAST; ClustalW; … Main Fields: –
nflscrapR Cited in 2 Documents (2021–2023) Software Authors: Horowitz M , Yurko R , Ventura S Related Software: nflfastR; R; NFLSimulatoR; … Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX)
SciBERT Cited in 1 Document (2022) Software Authors: Iz Beltagy, Kyle Lo, Arman Cohan Related Software: BART; BERT; PLBART; … Main Fields: Computer science (68-XX)
SFADiff Cited in 2 Documents (2019) Software Authors: Argyros, G., Stais, I., Jana, S., Keromytis, A.D., Kiayias, A. Related Software: Uppaal; EvoSuite; prob-black-reach; … Main Fields: Computer science (68-XX)
SimGen Cited in 2 Documents (1995–1996) Software Authors: Kramer, K.M.; Hitchon, W.N.G. Related Software: PLTMG; cheney-kincaid Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
SLING Cited in 1 Document (2019) Software Authors: Michael Ringgaard, Rahul Gupta, Fernando C. N. Pereira Related Software: TensorFlow; ATHENA; BabelNet; … Main Fields: Computer science (68-XX)
SM Toolbox Cited in 1 Document (2015) Software Authors: Müller, M., Jiang, N., Grohganz, H. Related Software: FMP Notebooks; Tempogram Toolbox; Matlab; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
SQLizer Cited in 2 Documents (2021–2023) Software Authors: Yaghmazadeh, N.; Wang, Y.; Dillig, I.; Dillig, T. Related Software: RobustFill; PyGGI; Gin; … Main Fields: Computer science (68-XX)
StrBioLib Cited in 1 Document (2016) Software Authors: John-Marc Chandonia Related Software: EMBOSS; Jmol; PhenomeNET; … Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)
textacy Cited in 0 Documents Software Authors: Burton DeWilde Related Software: spaCy; Python; Click; … Main Fields: –
UDPipe Cited in 1 Document (2020) Software Authors: Milan Straka Related Software: AnCora; spaCy; flair; … Main Fields: Computer science (68-XX)
Ultimate Cited in 2 Documents (2015–2017) Software Authors: Christ, J., Dietsch, D., Ermis, E., Heizmann, M., Hoenicke, J., Langenfeld, V., Leike, J., Musa, B., Nutz, A., Schilling, C. Related Software: CPAchecker; SMTInterpol; UFO; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Xerces Cited in 2 Documents (2009–2010) Software Authors: Apache Software Foundation Related Software: GanttProject; Checkstyle; XMLSpy; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
YAKKER Cited in 2 Documents (2010–2011) Software Authors: Jim, Trevor; Mandelbaum, Yitzhak; Walker, David Related Software: PADS; OCaml; dypgen; … Main Fields: Computer science (68-XX)
YakYak Cited in 2 Documents (2000–2009) Software Authors: Klarlund, Nils; Damgaard, Niels; Schwartzbach, Michael I. Related Software: YACC; Bison; MONA Main Fields: Computer science (68-XX)
affxparser Cited in 1 Document (2008) Software Authors: Henrik Bengtsson, James Bullard, Robert Gentleman, Kasper Daniel Hansen, Jim Hester, Martin Morgan Related Software: slingshot; seqLogo; scone; … Main Fields: Statistics (62-XX)
alchemlyb Cited in 0 Documents Software Authors: David Dotson; et al. Related Software: Alchemical Analysis; Gromacs; CUDA; … Main Fields: –
ASER Cited in 1 Document (2022) Software Authors: Zhang, Hongming; Liu, Xin; Pan, Haojie; Ke, Haowen; Ou, Jiefu; Fang, Tianqing; Song, Yangqiu Related Software: Penn Treebank; Event2Mind; GPT-3; … Main Fields: Computer science (68-XX)
AspCcgTk Cited in 1 Document (2013) Software Authors: Peter Schüller Related Software: clasp; Gringo Main Fields: Computer science (68-XX)