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); …
PROGRES Cited in 51 Documents (1994–2022) Software Authors: Münch, Manfred; Schürr, Andy; Winter, Andreas J. Related Software: AGG; VIATRA2; Fujaba; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX); …
CLEAN Cited in 56 Documents (1987–2016) Software Authors: Plasmeijer, M.J. Related Software: Haskell; Miranda; Sparkle; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
AToM3 Cited in 17 Documents (2002–2013) Software Authors: de Lara, Juan; Vangheluwe, Hans Related Software: AGG; VIATRA2; DiaGen; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Biology and other natural sciences (92-XX); …
DACTL Cited in 28 Documents (1987–2015) Software Authors: John R. W. Glauert, Richard Kennaway, George A. Papadopoulos, Ronan Sleep Related Software: DIEGO; PROGRES; MONSTR; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX); …
Quantomatic Cited in 23 Documents (2009–2022) Software Authors: Kissinger, Aleks Related Software: PyZX; Globular; pytket; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX); …
GrGen Cited in 16 Documents (2006–2021) Software Authors: Geiß, Rubino; Batz, Gernot Veit; Grund, Daniel; Hack, Sebastian; Szalkowski, Adam Related Software: AGG; PROGRES; GROOVE; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
AGREE Cited in 15 Documents (2015–2023) Software Authors: Corradini, A., Duval, D., Echahed, R., Prost, F., Ribeiro, L. Related Software: Verigraph; AGG; Henshin; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
DIASPORA Cited in 14 Documents (2000–2009) Software Authors: Ramanath, Maya; Haritsa, Jayant R. Related Software: – Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Linear and multilinear algebra; matrix theory (15-XX); …
PORGY Cited in 14 Documents (2011–2020) Software Authors: Maribel Fernandez; Hélène Kirchner Related Software: AGG; GROOVE; ELAN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); …
Sparkle Cited in 12 Documents (2002–2013) Software Authors: de Mol, Maarten; van Eekelen, Marko; Plasmeijer, Rinus Related Software: CLEAN; Haskell; Coq; … Main Fields: Computer science (68-XX)
MOMENT2 Cited in 9 Documents (2010–2016) Software Authors: Artur Boronat; Peter Csaba Ölveczky Related Software: Maude; ITP/OCL; Ptolemy; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LMNtal Cited in 8 Documents (2005–2013) Software Authors: Ueda, Kazunori Related Software: GHC; Janus; CC-Pi; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Gpd Cited in 8 Documents (2002–2010) Software Authors: Emma Moore, Chris Wensley Related Software: GAP; XMod; groupoids Main Fields: History and biography (01-XX); Associative rings and algebras (16-XX); Category theory; homological algebra (18-XX); …
Grez Cited in 6 Documents (2014–2020) Software Authors: Bruggink HJS, König B, Zantema H. Related Software: MedOlDatschgerl; z3; AGG; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
Hornlog Cited in 6 Documents (1987–1993) Software Authors: Gallier, Jean H.; Raatz, Stan Related Software: Ltur Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
MONSTR Cited in 5 Documents (1995–1998) Software Authors: Banach, R. Related Software: DACTL Main Fields: Computer science (68-XX)
GReAT Cited in 3 Documents (2012–2016) Software Authors: Daniel Balasubramanian, Anantha Narayanan, Christopher van Buskirk, Gabor Karsai Related Software: Maude; AToM3; VIATRA2; … Main Fields: Computer science (68-XX)
Diablo Cited in 2 Documents (2016–2018) Software Authors: Ghent University; Jonas Maebe; Bjorn De Sutter Related Software: Inforence; PinPoint; HSFal; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
DrAGoM Cited in 2 Documents (2019–2020) Software Authors: Nolte, D. Related Software: AGG; Grez; CatLib; … Main Fields: Computer science (68-XX)
Fragger Cited in 2 Documents (2020–2021) Software Authors: Danos, Vincent; Heindel, Tobias; Honorato-Zimmer, Ricardo; Stucki, Sandro Related Software: KappaTools; BGL; MedOlDatschgerl; … Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX); …
GMTE Cited in 2 Documents (2013–2019) Software Authors: Hannachi, Mohamed Amine; Bouassida Rodriguez, Ismael; Drira, Khalil; Pomares Hernandez, Saul Eduardo Related Software: jLibBig; GraphML; AGG; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
KaSim Cited in 2 Documents (2015–2018) Software Authors: Pierre Boutillier, et.al. Related Software: Negatome; MatrixDB; InnateDB; … Main Fields: Computer science (68-XX); Classical thermodynamics, heat transfer (80-XX); Biology and other natural sciences (92-XX)
Metatheory.jl Cited in 1 Document (2022) Software Authors: Alessandro Cheli Related Software: ModelingToolkit.jl; SymPy; SymbolicNumericIntegration.jl; … Main Fields: Computer science (68-XX)
Polar Cited in 2 Documents (2013–2019) Software Authors: Dietrich, Dominik; Whiteside, Iain; Aspinall, David Related Software: Matita; OpenTheory; CoqHammer; … Main Fields: Computer science (68-XX)
Anagopos Cited in 1 Document (2011) Software Authors: Bugge Grathwohl, Niels Bjørn; Ketema, Jeroen; Pallesen, Jens Duelund; Simonsen, Jakob Grue Related Software: TILC; Tulip; Graphviz Main Fields: Computer science (68-XX)
3D FractaL Tree Cited in 1 Document (2011) Software Authors: John Jungck, Jennifer Spangenberg, Noppadon Khiripet, Rawin Viruchpinta, Jutarat Maneewattanapluk Related Software: Excel Main Fields: Measure and integration (28-XX); Biology and other natural sciences (92-XX)
EClean Cited in 1 Document (2021) Software Authors: Sipos, Á.; Zsók, V. Related Software: MetaFun; Boost C++ Libraries Main Fields: Computer science (68-XX)
lin_inf Cited in 1 Document (2021) Software Authors: Anupam Das, Alex Rice Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LNetReduce Cited in 1 Document (2021) Software Authors: Buffard, Marion; Desoeuvres, Aurélien; Naldi, Aurélien; Requilé, Clément; Zinovyev, Andrei; Radulescu, Ovidiu Related Software: GitHub; Python; NetworkX Main Fields: Combinatorics (05-XX); Biology and other natural sciences (92-XX)
petBoss Cited in 1 Document (2018) Software Authors: Yu, Cunxi; Yasin, Atif; Su, Tiankai; Mishchenko, Alan; Ciesielski, Maciej Related Software: ABC; STABLE; SINGULAR Main Fields: Computer science (68-XX)
PICASSO Cited in 1 Document (2012) Software Authors: Damien Zufferey; Thomas Wies; Thomas A. Henzinger Related Software: Lift Main Fields: Computer science (68-XX)
Skeblle Cited in 0 Documents Software Authors: Sunkara, Vinodh Kumar; Sane, Aamod Related Software: TikZ; Matplotlib; JSXGraph; … Main Fields: Computer science (68-XX)
ViSiDiA Cited in 1 Document (2019) Software Authors: M. Bauderon, M. Mosbah, A. Sellami Related Software: Rodin Main Fields: Computer science (68-XX)