SeaLion Cited in 7 Documents (2012–2019) Software Authors: Johannes Oetsch, Jörg Pührer, Hans Tompits Related Software: ASPIDE; Kara; APE; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-XX)
Rdimtools Cited in 0 Documents Software Authors: Kisung You, Changhee Suh Related Software: R; Scikit; Python; … Main Fields: –
ACIDE Cited in 1 Document (2020) Software Authors: Sáenz-Pérez, Fernando Related Software: XSB; NP Datalog; HR-SQL; … Main Fields: Computer science (68-XX)
Proof Pad Cited in 1 Document (2018) Software Authors: Caleb Eggensperger Related Software: ACL2; DrACuLa; DrJava; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Thonny Cited in 0 Documents Software Authors: Aivar Annamaa Related Software: Python; VILLE; UUhistle; … Main Fields: –
CharmFL Cited in 0 Documents Software Authors: Qusay Idrees Sarhan, Attila Szatmari, Rajmond Toth, Arpad Beszedes Related Software: Crisp; pytest; coverage.py; … Main Fields: –
GN IDE Cited in 1 Document (2016) Software Authors: Angelova, Nora; Todorova, Magdalina; Krassimir, Atanassov Related Software: – Main Fields: Computer science (68-XX)
Rbox Cited in 0 Documents Software Authors: Saeid Amiri Related Software: Jupyter; OpenCPU; R Main Fields: –
Web-STAR Cited in 1 Document (2019) Software Authors: Rodosthenous, Christos T.; Michael, Loizos Related Software: SWISH DataLab; SeaLion; Kara; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)