Found 4 Software Packages (Results 1–4)


Software Authors:   Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
Cited in: 105 Publications (1996–2020)
Related Software: Maude; OBJ3; CafeOBJ; Stratego; Haskell; ATERM; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)


Software Authors:   Yang, Jae Dong
Cited in: 2 Publications (1997–2001)
Related Software: KernSmooth
Main Fields: Computer science (68-XX)


Software Authors:   Golev, Angel; Malinova, Anna; Zaharieva, Desislava
Cited in: 2 Publications (2012–2018)
Related Software: symrcm; filib++; Mathematica
Main Fields: Numerical analysis (65-XX)


Software Authors:   Aktemur, Barış; Kamin, Sam
Cited in: 1 Publication (2006)
Related Software: Maude
Main Fields: Computer science (68-XX)