PRISM Software Authors: Kwiatkowska, Marta; Norman, Gethin; Parker, David Cited in: 438 Publications (2001–2022) Related Software: MRMC; Uppaal; SPIN; Bio-PEPA; Storm; PEPA; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
AProVE Software Authors: Jürgen Giesl, Peter Schneider-Kamp, René Thiemann Cited in: 163 Publications (2002–2022) Related Software: Tyrolean; MU-TERM; Maude; Haskell; CiME; z3; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX)
Benchmarks for Optimization Software Software Authors: Hans Mittelmann Cited in: 147 Publications (1999–2022) Related Software: SeDuMi; MIPLIB; SCIP; SDPT3; CPLEX; MIPLIB2003; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
Tyrolean Software Authors: Hirokawa, Nao; Middeldorp, Aart Cited in: 92 Publications (2005–2022) Related Software: AProVE; MU-TERM; Haskell; CiME; Maude; Matchbox; … Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Associative rings and algebras (16-XX)
Find Software Authors: C.A.R. Hoare Cited in: 86 Publications (1972–2023) Related Software: Quicksort; Algorithm 347; Algorithm 489; Coq; MedianOfNinthers; QuickHeapsort; … Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)
Dafny Software Authors: Rustan Leino Cited in: 76 Publications (2010–2023) Related Software: z3; Why3; Boogie; Coq; VCC; VeriFast; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
DART Software Authors: Patrice Godefroid; Nils Klarlund; Koushik Sen Cited in: 58 Publications (2005–2022) Related Software: CUTE; z3; Pex; KLEE; STP; Java PathFinder; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
REVE Software Authors: Pierre Lescanne Cited in: 67 Publications (1984–2018) Related Software: RRL; AProVE; Tyrolean; CiME; Coq; NQTHM; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)
VeriFast Software Authors: Bart Jacobs; Jan Smans; Frank Piessens Cited in: 61 Publications (2009–2022) Related Software: Boogie; Dafny; z3; Why3; Coq; jStar; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
DISCOVERER Software Authors: Xia B Cited in: 57 Publications (1999–2022) Related Software: QEPCAD; Maple; REDLOG; Sostools; YALMIP; ISOLATE; … Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)
CeTA Software Authors: Thiemann, René; Sternagel, Christian Cited in: 46 Publications (2009–2021) Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; CoLoR; AProVE; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Commutative algebra (13-XX)
K Prover Software Authors: Roşu, Grigore et.al Cited in: 46 Publications (2007–2022) Related Software: Maude; K tool; z3; MMT; JavaFAN; K-Java; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
NLPQLP Software Authors: K Schittkowski Cited in: 41 Publications (2000–2023) Related Software: NLPQL; QL; MISER3; CUTEr; SNOPT; NBI; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)
CoLoR Software Authors: F. Blanqui, W. Delobel, S. Coupet-Grimal, S. Hinderer, A. Koprowski Cited in: 39 Publications (2006–2022) Related Software: Coq; Isabelle/HOL; CeTA; AProVE; Tyrolean; CiME; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX)
CiME Software Authors: Évelyne Contejean, Claude Marché, Andrei Paskevich, Xavier Urbain Cited in: 38 Publications (1997–2022) Related Software: AProVE; Tyrolean; Coq; CoLoR; MU-TERM; CeTA; … Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)
MU-TERM Software Authors: Salvador Lucas Cited in: 34 Publications (2005–2022) Related Software: AProVE; Tyrolean; Maude; CiME; OBJ3; Haskell; … Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Computer science (68-XX)
Ynot Software Authors: Nanevski, Aleksandar; Morrisett, Greg; Shinnar, Avraham; Govereau, Paul; Birkedal, Lars Cited in: 34 Publications (2008–2019) Related Software: Coq; Isabelle/HOL; Haskell; Isabelle; VeriFast; Spec#; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
Matchbox Software Authors: Waldmann, J. Cited in: 23 Publications (2005–2018) Related Software: AProVE; Tyrolean; Haskell; TORPA; CiME; Jambox; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)
MTT Software Authors: Durán, F., Lucas, S., Meseguer, J. Cited in: 25 Publications (2008–2022) Related Software: Maude; AProVE; OBJ3; CafeOBJ; MU-TERM; Maude-NPA; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
COSTA Software Authors: Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini Cited in: 22 Publications (1992–2020) Related Software: SPEED; AProVE; Refal; Featherweight Java; PPL; JCobox; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Partial differential equations (35-XX)
CSI Software Authors: Zankl, Harald; Felgenhauer, Bertram; Middeldorp, Aart Cited in: 22 Publications (2011–2021) Related Software: Saigawa; CeTA; Tyrolean; CiME; Isabelle/HOL; Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
FLATA Software Authors: Marius Bozga; Radu Iosif; Filip Konecny; Tomas Vojnar Cited in: 21 Publications (2009–2021) Related Software: Eldarica; Princess; z3; FAST; Aspic; Spacer; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
SCIFF Software Authors: Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni Cited in: 19 Publications (2006–2022) Related Software: HYPROLOG; PRISM; ProbLog; SOLAR; ACORDA; DeepProbLog; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
K tool Software Authors: David Lazar, Andrei Arusoaie, Traian Florin Şerbǎnuţǎ, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Roşu Cited in: 17 Publications (2010–2022) Related Software: K Prover; Maude; PLT Redex; z3; K-Maude; MMT; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
TPDB Software Authors: http://termination-portal.org/wiki/Category:People Cited in: 18 Publications (2006–2022) Related Software: AProVE; Tyrolean; CiME; z3; Matchbox; MU-TERM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
MetTeL Software Authors: Tishkovsky, Dmitry; Schmidt, Renate A.; Khodadadi, Mohammad Cited in: 15 Publications (2011–2021) Related Software: KL-ONE; LoTREC; E Theorem Prover; SPASS; Gen2sat; MSPASS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Jambox Software Authors: Endrullis, J Cited in: 15 Publications (2006–2021) Related Software: AProVE; Tyrolean; MU-TERM; Maude; Haskell; Matchbox; … Main Fields: Mathematical logic and foundations (03-XX); Associative rings and algebras (16-XX); Computer science (68-XX)
Spartacus Software Authors: Daniel Götzmann; Mark Kaminski; Gert Smolka Cited in: 14 Publications (2010–2021) Related Software: HTab; FaCT++; InKreSAT; HyLoTab; HyLoRes; HGen; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Threader Software Authors: Popeea, Corneliu; Rybalchenko, Andrey Cited in: 12 Publications (2012–2020) Related Software: CPAchecker; SLAM; CBMC; Predator; UFO; SymmPa; … Main Fields: Computer science (68-XX)
CARIBOO Software Authors: O. Fissore, I. Gnaedig, H. Kirchner Cited in: 14 Publications (2004–2012) Related Software: Maude; AProVE; ELAN; MU-TERM; Tsukuba; REVE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DIASPORA Software Authors: Ramanath, Maya; Haritsa, Jayant R. Cited in: 14 Publications (2000–2009) Related Software: – Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Linear and multilinear algebra; matrix theory (15-XX)
RROOT_748 Software Authors: Alefeld, G.E.; Potra, F.A.; Shi, Y. Cited in: 14 Publications (1995–2022) Related Software: Algorithm 748; BRENT; RRK_rr; MINLP; Bonmin; Boost; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
BFO Software Authors: Porcelli, Margherita; Toint, Philippe L. Cited in: 13 Publications (2017–2022) Related Software: NOMAD; MISO; DFL; SO-I; DFLBOX; BOBYQA; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
PEBBL Software Authors: Eckstein, Jonathan; Hart, William E.; Phillips, Cynthia A. Cited in: 12 Publications (2009–2022) Related Software: CHiPPS; SCIP; ParaSCIP; UG; SYMPHONY; ALPS; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
TPA Software Authors: Adam Koprowski Cited in: 13 Publications (2006–2017) Related Software: Tyrolean; AProVE; Haskell; Matchbox; Jambox; Nagoya Termination Tool; … Main Fields: Mathematical logic and foundations (03-XX); Associative rings and algebras (16-XX); Computer science (68-XX)
DSP Software Authors: Kim, Kibaek; Zavala, Victor M. Cited in: 12 Publications (2018–2022) Related Software: SIPLIB; PySP; CPLEX; DIP; SCIP; Gurobi; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
Slothrop Software Authors: Wehrman, I., Stump, A., Westbrook, E.M. Cited in: 12 Publications (2006–2022) Related Software: mkbTT; AProVE; Tyrolean; KBCV; REVE; TPTP; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Group theory and generalizations (20-XX)
BCCG+FAI Software Authors: Vollebregt, E. Cited in: 11 Publications (2014–2022) Related Software: CONTACT; FEAPpv; AnyBody; SPACAR; Simulink; MBSymba; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
SACO Software Authors: Albert, E., Arenas, P., Flores-Montoya, A., Genaim, S., Gómez-Zamalloa, M., Martin-Martin, E., Puebla, G., Román-Díez, G. Cited in: 10 Publications (2014–2021) Related Software: ABS; JCobox; Kilim; COSTABS; SPEED; Algorithm 864; … Main Fields: Computer science (68-XX)
GAKREM Software Authors: Nguyen, Cao D.; Cios, Krzysztof J. Cited in: 5 Publications (2008–2019) Related Software: WordNet; clusfind; GAPS; WebACE; HPStream; BrainWeb; … Main Fields: Statistics (62-XX); Computer science (68-XX)
MiniAgda Software Authors: Abel, A. Cited in: 10 Publications (2011–2021) Related Software: Coq; Agda; GitHub; Paco; Isabelle; ML; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)
TORPA Software Authors: Zantema, H. Cited in: 9 Publications (2004–2011) Related Software: AProVE; Matchbox; CiME; TPDB; Tsukuba; Jambox; … Main Fields: Computer science (68-XX)
Tsukuba Software Authors: Nao Hirokawa; Aart Middeldorp Cited in: 10 Publications (2003–2008) Related Software: AProVE; CiME; CARIBOO; MU-TERM; Tyrolean; TORPA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CRC 3 Software Authors: Durán, Francisco; Meseguer, José Cited in: 9 Publications (2010–2020) Related Software: Maude; MTT; ChC 3; CafeOBJ; CSI; OBJ3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HERMES Software Authors: Bozga, L., Lakhnech, Y., Perin, M. Cited in: 8 Publications (2005–2009) Related Software: AVISPA; Casper; Timbuk; simpleAPL; Isabelle/ZF; scyther; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
KITTeL Software Authors: Falke, Stephan; Kapur, Deepak; Sinz, Carsten Cited in: 9 Publications (2011–2021) Related Software: z3; Ctrl; Yices; AProVE; LLVM; TcT; … Main Fields: Computer science (68-XX)
Nagoya Termination Tool Software Authors: Yamada, A., Kusakari, K., Sakabe, T. Cited in: 9 Publications (2014–2022) Related Software: Tyrolean; NaTT; AProVE; MU-TERM; StarExec; z3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PAGP Software Authors: Arthur, Jeffrey L.; Ravindran, A. Cited in: 9 Publications (1980–2011) Related Software: MIPLIB2003; MIPLIB; PariTOP; PGB Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
A3PAT Software Authors: Contejean, E., Paskevich, A., Urbain, X., Courtieu, P., Pons, O., Forest, J. Cited in: 8 Publications (2010–2017) Related Software: CoLoR; CeTA; Isabelle/HOL; Coq; AProVE; Tyrolean; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
EMP Software Authors: Schittkowski, Klaus Cited in: 8 Publications (1988–1998) Related Software: SLP-IOR; GAMS; ELL; NLPQL; NPSOL; PCOMP; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
TyPiCal Software Authors: Kobayashi, N. Cited in: 8 Publications (1985–2017) Related Software: PIPER; GitHub; Gopherlyzer; go; RacerX; ABS; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
VMTL Software Authors: Schernhammer, F.; Gramlich, B. Cited in: 7 Publications (2010–2017) Related Software: AProVE; Maude; MU-TERM; Jambox; MTT; Tyrolean; … Main Fields: Computer science (68-XX)
Ctrl Software Authors: Kop, Cynthia; Nishida, Naoki Cited in: 7 Publications (2014–2021) Related Software: KITTeL; z3; TcT; Maude; Yices; ARMC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LPTP Software Authors: Stärk, Robert F. Cited in: 6 Publications (1998–2016) Related Software: AsmL; ML; XSB; HeerHugo; Chaff; SATO; … Main Fields: Computer science (68-XX)
Z3str2 Software Authors: Zheng, Yunhui; Ganesh, Vijay; Subramanian, Sanu; Tripp, Omer; Berzish, Murphy; Dolby, Julian; Zhang, Xiangyu Cited in: 6 Publications (2017–2023) Related Software: Z3str3; HAMPI; CVC4; Stranger; z3; Norn; … Main Fields: Computer science (68-XX)
ZetaSAT Software Authors: Blochinger, W., Westje, W., Küchlin, W., Wedeniwski, S. Cited in: 4 Publications (2006–2015) Related Software: GridSAT; Chaff; MiniSat; GrADSAT; ManySAT; NAGSAT; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
c2i Software Authors: Sharma, Rahul; Aiken, Alex Cited in: 5 Publications (2016–2020) Related Software: z3; Houdini; Spacer; Eldarica; Princess; FLATA; … Main Fields: Computer science (68-XX)
IsaFoR Software Authors: Krauss, Alexander; Sternagel, Christian; Thiemann, René; Fuhs, Carsten; Giesl, Jürgen Cited in: 4 Publications (2011–2016) Related Software: Isabelle/HOL; CeTA; CoLoR; Isabelle; Coq; Tyrolean; … Main Fields: Computer science (68-XX)
Jordan Normal Forms Software Authors: René Thiemann; Akihisa Yamada Cited in: 6 Publications (2016–2021) Related Software: Isabelle/HOL; Archive Formal Proofs; Isabelle; Polynomials; Deep_Learning; Groebner_Bases; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Numerical analysis (65-XX)
mkbTT Software Authors: Winkler, Sarah; Sato, Haruhiko; Middeldorp, Aart; Kurihara, Masahito Cited in: 6 Publications (2008–2015) Related Software: Slothrop; Tyrolean; KBCV; REVE; AProVE; TPTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
NaTT Software Authors: Yamada, Akihisa Cited in: 6 Publications (2014–2022) Related Software: Nagoya Termination Tool; Tyrolean; MU-TERM; AProVE; z3; CoLoR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
copulaedas Software Authors: Yasser Gonzalez-Fernandez; Marta Soto Cited in: 3 Publications (2014–2021) Related Software: R; DEoptim; UCI-ml; RStudio; Tinn-R; rgp; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)
COSTABS Software Authors: Albert, E., Arenas, P., Genaim, S., Gómez-Zamalloa, M., Puebla, G. Cited in: 5 Publications (2012–2017) Related Software: ABS; SPEED; SACO; JCobox; Erlang; Featherweight Java; … Main Fields: Computer science (68-XX)
ffmodstd Software Authors: D.K. Boku; W. Decker; C. Fieker Cited in: 5 Publications (2000–2011) Related Software: FOXBOX; Dagwood; modstd.lib; modwalk; Macaulay2; CoCoA Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Approximations and expansions (41-XX)
Grez Software Authors: Bruggink HJS, König B, Zantema H. Cited in: 5 Publications (2014–2020) Related Software: SMT-LIB; CatLib; VxToolbox; VisiGraphJS; Podmineny; GraJ; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
Moby/DC Software Authors: Dierks, Henning; Tapken, Josef Cited in: 5 Publications (2002–2012) Related Software: Uppaal; Mcta; SLAM; Kronos; Z/EVES Main Fields: Computer science (68-XX)
SAT Solver Verification Software Authors: Filip Maric Cited in: 5 Publications (2009–2018) Related Software: Archive Formal Proofs; Chaff; MiniSat; Isabelle/HOL; BerkMin; SATO; … Main Fields: Computer science (68-XX)
TALP Software Authors: Ohlebusch, Enno; Claves, Claus; March\'e, Claude Cited in: 5 Publications (2000–2015) Related Software: AProVE; ConCon; Conditional Confluence; Isabelle; TPA; Tyrolean; … Main Fields: Computer science (68-XX)
Vadalog Software Authors: Luigi Bellomarini, Georg Gottlob, Emanuel Sallinger Cited in: 4 Publications (2019–2022) Related Software: Datalog; LUBM; RDFox; Dyna; SPARQL; DBpedia; … Main Fields: Computer science (68-XX)
ConCon Software Authors: T. Sternagel, C. Sternagel Cited in: 4 Publications (2015–2020) Related Software: Isabelle/HOL; AProVE; Prover9; Mace4; Nagoya Termination Tool; Matchbox; … Main Fields: Computer science (68-XX)
FEMOEA Software Authors: Redondo, J.L.; Fernández, J.; Ortigosa, P.M. Cited in: 4 Publications (2015–2020) Related Software: AbYSS; SPEA2; MOEA/D; ibexMop; GitHub; SMS-EMOA; … Main Fields: Operations research, mathematical programming (90-XX)
iRankFinder Software Authors: Doménech, J.J., Genaim, S. Cited in: 4 Publications (2022) Related Software: z3; PySMT; AProVE; Yices; Uppaal; TPDB; … Main Fields: Computer science (68-XX)
IsaFoL Software Authors: Blanchette, J.C., Fleury, M., Schlichtkrull, A., Traytel, D. Cited in: 4 Publications (2016–2018) Related Software: Archive Formal Proofs; Isabelle/HOL; Completeness theorem; Sledgehammer; Isabelle; FOL Fitting; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LiquidHaskell Software Authors: Vazou, Niki; Seidel, Eric L.; Jhala, Ranjit; Vytiniotis, Dimitrios; Peyton-Jones, Simon Cited in: 4 Publications (2014–2020) Related Software: Haskell; Spacer; Houdini; Ivy; TreeAutomizer; RAHFT; … Main Fields: Computer science (68-XX)
MFE Software Authors: Durán, Francisco; Rocha, Camilo; Álvarez, José M. Cited in: 3 Publications (2012–2020) Related Software: Maude; ITP; Maude-NPA; PMaude; OBJ3; Stratego; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Pavane Software Authors: G.-C. Roman, K. C. Cox, Donald Wilcox, Jerome Y. Plun Cited in: 4 Publications (2002) Related Software: Tango; Leonardo; Zeus; POLKA; LEDA; XTango; … Main Fields: Computer science (68-XX)
Polynomials Software Authors: Christian Sternagel, René Thiemann, Alexander Maletzky, Fabian Immler, Florian Haftmann, Andreas Lochbihler, Alexander Bentkamp Cited in: 4 Publications (2017–2019) Related Software: Groebner_Bases; Isabelle/HOL; Deep_Learning; Jordan Normal Forms; HOL; Isabelle; … Main Fields: Commutative algebra (13-XX); Computer science (68-XX)
Pyhybridanalysis Software Authors: Casagrande, A.; Dreossi, T. Cited in: 4 Publications (2009–2022) Related Software: Breach; dReach; Flow*; ImageNet; pyHybrid Analysis; SpaceEx; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)
RDL Software Authors: Armando, Alessandro; Compagna, Luca; Ranise, Silvio Cited in: 4 Publications (2001–2005) Related Software: NQTHM; ACL2; Cambridge LCF; GUARDIAN; Maple; PVS; … Main Fields: Computer science (68-XX)
Terminyzer Software Authors: Senlin Liang, Michael Kifer Cited in: 3 Publications (2013–2015) Related Software: Gringo; XSB; clasp; YAP-Prolog; HiLog Main Fields: Computer science (68-XX)
catIrt Software Authors: Steven W. Nydick Cited in: 1 Publication (2016) Related Software: catR; R; shiny; MAT; mirtCAT; SciPy; … Main Fields: Statistics (62-XX)
CO3 Software Authors: Nishida, N., Kuroda, T., Yanagisawa, M., Gmeiner, K. Cited in: 3 Publications (2018–2021) Related Software: Cops; CoCoWeb; MTT; Maude; OBJ3; Haskell; … Main Fields: Computer science (68-XX)
GLUE-IT Software Authors: Andrew E. Firth; Wayne M. Patrick Cited in: 2 Publications (2009–2013) Related Software: PEDEL-AA; PARI/GP; AMPL Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
HMRSVP Software Authors: Tseng, Chien-Chao; Lee, Gwo-Chuan; Liu, Ren-Shiou; Wang, Tsan-Pin Cited in: 2 Publications (2003) Related Software: MRSVP Main Fields: Computer science (68-XX)
KBCV Software Authors: Sternagel, Thomas; Zankl, Harald Cited in: 3 Publications (2011–2015) Related Software: mkbTT; CeTA; Slothrop; Archive Formal Proofs; Well Quasi Orders; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Looper Software Authors: Burnim J, Jalbert N, Stergiou C, Sen K Cited in: 3 Publications (2016–2018) Related Software: z3; Snugglebug; Boogie; DART; Con2colic; STP; … Main Fields: Computer science (68-XX)
Nagini Software Authors: Eilers, M., Müller, P Cited in: 3 Publications (2021–2022) Related Software: Frama-C; Viper; Why3; z3; Boogie; GPUVerify; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
NAST Software Authors: T. Z. DeSantis, Jr., P. Hugenholtz, K. Keller, E. L. Brodie, N. Larsen, Y. M. Piceno, R. Phan, G. L. Andersen Cited in: 2 Publications (2013–2015) Related Software: iGTP; ProtTest 3; MrBayes; Gegenees; POY; MLTreeMap; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
NLP Software Authors: Daniel F. Rufer Cited in: 3 Publications (1978–2020) Related Software: Ipopt; FORCES NLP; liftedCollocation; CasADi; qpOASES; ACADO; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
Online-ABFT Software Authors: Z. Chen Cited in: 3 Publications (2016) Related Software: ickp; SparseMatrix; MUMPS; DUNE; hypre; BoomerAMG Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX)
PEDEL-AA Software Authors: Andrew E. Firth; Wayne M. Patrick Cited in: 2 Publications (2009–2013) Related Software: GLUE-IT; PARI/GP; AMPL Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
SEREN Software Authors: D. A. Hubber, C. P. Batty, A. McLeod, A. P. Whitworth Cited in: 1 Publication (2020) Related Software: PHANTOM; GADGET; Arepo; GIZMO; Python; Splash; … Main Fields: Fluid mechanics (76-XX)
TERMINATOR Software Authors: Xu, Ming; Li, Zhi-Bin Cited in: 3 Publications (2013–2016) Related Software: REACH; DISCOVERER Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Dynamical systems and ergodic theory (37-XX)
CatReg Software Authors: Benjamin Stokell, Daniel Grose, Rajen Shah Cited in: 1 Publication (2021) Related Software: rpart; DMRnet; R; CRAN; effectFusion; randomForest; … Main Fields: Statistics (62-XX)
FuncTion Software Authors: Urban, C. Cited in: 2 Publications (2015) Related Software: AProVE; Ultimate Kojak; LTLAutomizer; Ultimate; CBMC; MathSAT5; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
GraVy Software Authors: Arlt, S., Rubio-González, C., Rümmer, P., Schäf, M., Shankar, N. Cited in: 1 Publication (2020) Related Software: CIVL; Cascade; Calysto; Crust; Pyston; Rust2Viper; … Main Fields: Computer science (68-XX)
HOOMD-TF Software Authors: Barrett, R.; Chakraborty, M.; Amirkulova, D.; Gandhi, H.; Wellawatte, G.; White, A. Cited in: 1 Publication (2021) Related Software: PyTorch; OpenMM; TensorFlow; Anncolvar; MDAnalysis; TorchANI; … Main Fields: Statistical mechanics, structure of matter (82-XX)
HyCreate Software Authors: S. Bak Cited in: 2 Publications (2015–2017) Related Software: GTEngine; HYST; Charon; HyDI; SpaceEx; PHAVer; … Main Fields: Computer science (68-XX)
ibexMop Software Authors: Araya, Ignacio; Campusano, Jose; Aliquintui, Damir Cited in: 2 Publications (2019–2021) Related Software: GitHub; FEMOEA Main Fields: Operations research, mathematical programming (90-XX)
KAD Software Authors: Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth, Tjark Weber Cited in: 2 Publications (2019–2022) Related Software: Archive Formal Proofs; Transformer semantics; Quantales; KeYmaera X; Differential_Game_Logic; Algebraic_VCs; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)