Found 3 Software Packages (Results 1–3)


Software Authors:   Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso; Caballero, Rafael
Referenced in: 11 Publications (2009–2017)
Related Software: Maude; Anima; Web-TLR; iJulienne; QuickCheck; Elf; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)


Software Authors:   Rowan Zellers, Ari Holtzman, Yonatan Bisk, Ali Farhadi, Yejin Choi
Referenced in: 1 Publication (2022)
Related Software: RoBERTa; BLEU; CoQA; XLNet; RACE; OpenAI Gym; …
Main Fields: Mathematical logic and foundations (03-XX)


Software Authors:   Daniel Tamayo, Hanno Rein, Pengshuai Shi, David M. Hernandez
Referenced in: 1 Publication (2021)
Related Software: REBOUND; exoplanet; NbodyGradient; RadVel; batman; EXOFAST; …
Main Fields: Mechanics of particles and systems (70-XX)