ETPS Cited in 161 Documents (1986–2022) Software Authors: Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi Related Software: TPS; Isabelle/HOL; HOL; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX); …
LISP Cited in 112 Documents (1960–2020) Software Authors: McCarthy, John Related Software: ACL2; NQTHM; Haskell; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …
LISP-STAT Cited in 88 Documents (1977–2019) Software Authors: Luke Tierney Related Software: R; ViSta; XGobi; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
TPS Cited in 77 Documents (1990–2022) Software Authors: Andrews, Peter B.; Brown, Chad E. Related Software: TPTP; ETPS; HOL; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX); …
Racer Cited in 52 Documents (2001–2021) Software Authors: Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel Related Software: FaCT++; Pellet; KL-ONE; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
CLOS Cited in 49 Documents (1989–2013) Software Authors: Praehofer, H.; Auernig, F.; Reisinger, G. Related Software: Eiffel; Smalltalk; Featherweight Java; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
UCPOP Cited in 40 Documents (1993–2022) Software Authors: Penberthy, J. S.; Weld, D. Related Software: Graphplan; Prodigy; PDDL; … Main Fields: Mathematical logic and foundations (03-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); …
STAR/MPI Cited in 11 Documents (1995–2007) Software Authors: Cooperman, Gene Related Software: GAP; MeatAxe; ATLAS Group Representations; … Main Fields: Group theory and generalizations (20-XX); Numerical analysis (65-XX); Computer science (68-XX)
GANITH Cited in 9 Documents (1990–1997) Software Authors: Chanderjit Bajaj; Andrew Royappa Related Software: CASA; EISPACK; LAPACK; … Main Fields: Algebraic geometry (14-XX); Real functions (26-XX); Approximations and expansions (41-XX); …
OpenMusic Cited in 4 Documents (2009–2015) Software Authors: Bresson, J., Agon, C., Assayag, G. Related Software: SPIN; ntccSim; Ntccrt; … Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); …
SNARK Cited in 3 Documents (2009–2015) Software Authors: Stickel, M. Related Software: Waldmeister; E Theorem Prover; Vivid; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Relativity and gravitational theory (83-XX)
DrACuLa Cited in 2 Documents (2007–2012) Software Authors: Dale Vaillancourt, Rex Page, Matthias Felleisen Related Software: DrScheme; ACL2; DrJava; … Main Fields: Computer science (68-XX); Mathematics education (97-XX)
FEMLISP Cited in 3 Documents (2003–2011) Software Authors: Neuss, Nicolas Related Software: UG; PLTMG; Maxima Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
MKRP Cited in 3 Documents (1996–2005) Software Authors: Eisinger, N., Ohlbach, H.J Related Software: OMEGA; KEIM; Leo; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-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)
CLISP Cited in 1 Document (1990) Software Authors: Bruno Haible; Michael Stoll Related Software: nofib; criterion; SmallCheck; … Main Fields: Computer science (68-XX)
Gelisp Cited in 1 Document (2017) Software Authors: Mauricio Toro, Camilo Rueda, Carlos Agón, Gérard Assayag Related Software: SPIN; ntccSim; Ntccrt; … Main Fields: Operations research, mathematical programming (90-XX)
McCLIM Cited in 2 Documents (2005–2008) Software Authors: Strandh, R.; Moore, T Related Software: Timbuk; Autowrite; SLS Main Fields: Computer science (68-XX)
VSPLAD Cited in 2 Documents (1989–1990) Software Authors: Cecchini, R.; Tarlini, M. Related Software: LISP; MACSYMA; REDUCE Main Fields: Nonassociative rings and algebras (17-XX); Computer science (68-XX)
Belief Cited in 1 Document (1994) Software Authors: Almond R. Related Software: PULCinella Main Fields: Operations research, mathematical programming (90-XX)
cl-jointgen Cited in 1 Document (2018) Software Authors: Utz-Uwe Haus Related Software: FluxModeCalculator; FK-B; efmtool; … Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
GENCRAY Cited in 1 Document (1992) Software Authors: Weerawarana, Sanjiva; Wang, Paul S. Related Software: FINGER; GENTRAN; MACSYMA; … Main Fields: Computer science (68-XX)
GOALIE Cited in 1 Document (2010) Software Authors: Marco Antoniotti; Naren Ramakrishnan; Bud Mishra Related Software: GOurmet; STEM; GOstat Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
KEIM Cited in 1 Document (2005) Software Authors: Huang, X., Kerber, M., Kohlhase, M., Melis, E., Nesmith, D., Richts, J., Siekmann, J. Related Software: OMEGA; Leo; MKRP Main Fields: Computer science (68-XX)
Maxima on Android Cited in 0 Documents Software Authors: Honda, Y. Related Software: AsirPad; Risa/Asir Main Fields: Computer science (68-XX)
Petalisp Cited in 1 Document (2020) Software Authors: M. Heisig Related Software: MODESTO; ExaSlang; SDSLc; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
pregexp Cited in 1 Document (2005) Software Authors: Sitaram, D. Related Software: Bigloo; SSAX; XPath; … Main Fields: Computer science (68-XX)
SLS Cited in 1 Document (2008) Software Authors: Durand, I. Related Software: McCLIM Main Fields: Computer science (68-XX)