×

Found 128 Software Packages (Results 1–100)

PRISM

Software Authors:   Kwiatkowska, Marta; Norman, Gethin; Parker, David
Referenced in: 429 Publications (2001–2022)
Related Software: MRMC; Uppaal; SPIN; Bio-PEPA; PEPA; Storm; …
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
Referenced in: 157 Publications (2002–2021)
Related Software: Tyrolean; Maude; MU-TERM; Haskell; CiME; Matchbox; …
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
Referenced 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
Referenced in: 89 Publications (2005–2022)
Related Software: AProVE; Haskell; MU-TERM; Maude; Matchbox; CiME; …
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
Referenced in: 84 Publications (1972–2021)
Related Software: Quicksort; Algorithm 347; Algorithm 489; Coq; MedianOfNinthers; QuickHeapsort; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Probability theory and stochastic processes (60-XX)

Dafny

Software Authors:   Rustan Leino
Referenced in: 69 Publications (2010–2021)
Related Software: z3; Boogie; Why3; VeriFast; Coq; VCC; …
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
Referenced 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
Referenced 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
Referenced in: 60 Publications (2009–2022)
Related Software: Boogie; Dafny; Why3; z3; Spec#; VCC; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

DISCOVERER

Software Authors:   Xia B
Referenced in: 56 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
Referenced in: 45 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
Referenced in: 46 Publications (2007–2022)
Related Software: Maude; K tool; z3; JavaFAN; MMT; 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
Referenced in: 40 Publications (2000–2020)
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)

CiME

Software Authors:   Évelyne Contejean, Claude Marché, Andrei Paskevich, Xavier Urbain
Referenced in: 37 Publications (1997–2019)
Related Software: AProVE; Tyrolean; Coq; CeTA; CoLoR; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)

CoLoR

Software Authors:   F. Blanqui, W. Delobel, S. Coupet-Grimal, S. Hinderer, A. Koprowski
Referenced in: 37 Publications (2006–2019)
Related Software: Coq; Isabelle/HOL; CeTA; AProVE; CiME; Tyrolean; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX)

Ynot

Software Authors:   Nanevski, Aleksandar; Morrisett, Greg; Shinnar, Avraham; Govereau, Paul; Birkedal, Lars
Referenced 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)

MU-TERM

Software Authors:   Salvador Lucas
Referenced in: 31 Publications (2005–2013)
Related Software: AProVE; Tyrolean; Maude; OBJ3; CiME; Haskell; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Computer science (68-XX)

Matchbox

Software Authors:   Waldmann, J.
Referenced 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.
Referenced 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
Referenced 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
Referenced 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
Referenced 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
Referenced in: 19 Publications (2006–2022)
Related Software: HYPROLOG; PRISM; ProbLog; SOLAR; ACORDA; cplint; …
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
Referenced in: 16 Publications (2010–2021)
Related Software: K Prover; Maude; z3; K-Maude; MMT; PLT Redex; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

MetTeL

Software Authors:   Tishkovsky, Dmitry; Schmidt, Renate A.; Khodadadi, Mohammad
Referenced in: 15 Publications (2011–2021)
Related Software: LoTREC; KL-ONE; Gen2sat; MSPASS; E Theorem Prover; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TPDB

Software Authors:   http://termination-portal.org/wiki/Category:People
Referenced in: 16 Publications (2006–2021)
Related Software: AProVE; Tyrolean; Matchbox; Jambox; MiniSat; TORPA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Jambox

Software Authors:   Endrullis, J
Referenced 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
Referenced in: 14 Publications (2010–2021)
Related Software: HTab; FaCT++; InKreSAT; HyLoTab; HyLoRes; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Threader

Software Authors:   Popeea, Corneliu; Rybalchenko, Andrey
Referenced 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
Referenced 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.
Referenced 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)

BFO

Software Authors:   Porcelli, Margherita; Toint, Philippe L.
Referenced 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.
Referenced 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)

RROOT_748

Software Authors:   Alefeld, G.E.; Potra, F.A.; Shi, Y.
Referenced in: 13 Publications (1995–2022)
Related Software: Algorithm 748; RRK_rr; BRENT; NeuralPDE.jl; DifferentialEquations.jl; GitHub; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

TPA

Software Authors:   Adam Koprowski
Referenced 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.
Referenced in: 11 Publications (2018–2022)
Related Software: SIPLIB; PySP; CPLEX; DIP; Gurobi; SCIP; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-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.
Referenced in: 10 Publications (2014–2021)
Related Software: ABS; JCobox; Kilim; COSTABS; SPEED; KeY-ABS; …
Main Fields: Computer science (68-XX)

Slothrop

Software Authors:   Wehrman, I., Stump, A., Westbrook, E.M.
Referenced in: 11 Publications (2006–2018)
Related Software: mkbTT; AProVE; Tyrolean; KBCV; REVE; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

BCCG+FAI

Software Authors:   Vollebregt, E.
Referenced in: 10 Publications (2014–2021)
Related Software: CONTACT; FEAPpv; AnyBody; SPACAR; Simulink; MBSymba; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)

GAKREM

Software Authors:   Nguyen, Cao D.; Cios, Krzysztof J.
Referenced in: 5 Publications (2008–2019)
Related Software: WordNet; clusfind; GAPS; HPStream; WebACE; BrainWeb; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

MiniAgda

Software Authors:   Abel, A.
Referenced 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.
Referenced 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
Referenced in: 10 Publications (2003–2008)
Related Software: AProVE; CARIBOO; CiME; 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é
Referenced 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.
Referenced 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
Referenced in: 9 Publications (2011–2021)
Related Software: z3; Ctrl; Yices; AProVE; LLVM; TcT; …
Main Fields: Computer science (68-XX)

PAGP

Software Authors:   Arthur, Jeffrey L.; Ravindran, A.
Referenced 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.
Referenced 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
Referenced 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.
Referenced in: 8 Publications (1985–2017)
Related Software: PIPER; Gopherlyzer; GitHub; go; RacerX; ABS; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

VMTL

Software Authors:   Schernhammer, F.; Gramlich, B.
Referenced 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
Referenced 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.
Referenced in: 6 Publications (1998–2016)
Related Software: AsmL; ML; XSB; HeerHugo; Chaff; SATO; …
Main Fields: Computer science (68-XX)

ZetaSAT

Software Authors:   Blochinger, W., Westje, W., Küchlin, W., Wedeniwski, S.
Referenced 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
Referenced 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
Referenced 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
Referenced 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
Referenced 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)

Nagoya Termination Tool

Software Authors:   Yamada, A., Kusakari, K., Sakabe, T.
Referenced in: 6 Publications (2014–2019)
Related Software: Tyrolean; AProVE; CeTA; Isabelle/HOL; TPA; CoCoWeb; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

COSTABS

Software Authors:   Albert, E., Arenas, P., Genaim, S., Gómez-Zamalloa, M., Puebla, G.
Referenced 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
Referenced 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)

Moby/DC

Software Authors:   Dierks, Henning; Tapken, Josef
Referenced 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
Referenced 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
Referenced in: 5 Publications (2000–2015)
Related Software: AProVE; ConCon; Conditional Confluence; Isabelle; TPA; Tyrolean; …
Main Fields: Computer science (68-XX)

Z3str2

Software Authors:   Zheng, Yunhui; Ganesh, Vijay; Subramanian, Sanu; Tripp, Omer; Berzish, Murphy; Dolby, Julian; Zhang, Xiangyu
Referenced in: 4 Publications (2017–2021)
Related Software: HAMPI; Z3str3; Stranger; Norn; z3; CVC4; …
Main Fields: Computer science (68-XX)

copulaedas

Software Authors:   Yasser Gonzalez-Fernandez; Marta Soto
Referenced in: 2 Publications (2014)
Related Software: R; RStudio; Tinn-R; rgp; DEoptim; copula; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

IsaFoL

Software Authors:   Blanchette, J.C., Fleury, M., Schlichtkrull, A., Traytel, D.
Referenced 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
Referenced in: 4 Publications (2014–2020)
Related Software: Haskell; Ivy; TreeAutomizer; RAHFT; Spacer; Houdini; …
Main Fields: Computer science (68-XX)

MFE

Software Authors:   Durán, Francisco; Rocha, Camilo; Álvarez, José M.
Referenced 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
Referenced 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
Referenced 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)

RDL

Software Authors:   Armando, Alessandro; Compagna, Luca; Ranise, Silvio
Referenced 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
Referenced in: 3 Publications (2013–2015)
Related Software: Gringo; XSB; clasp; YAP-Prolog; HiLog
Main Fields: Computer science (68-XX)

Vadalog

Software Authors:   Luigi Bellomarini, Georg Gottlob, Emanuel Sallinger
Referenced in: 3 Publications (2019–2022)
Related Software: Datalog; RDFox; LUBM; SPARQL; DBpedia; DLV; …
Main Fields: Computer science (68-XX)

catIrt

Software Authors:   Steven W. Nydick
Referenced 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.
Referenced in: 3 Publications (2018–2021)
Related Software: Cops; CoCoWeb; MTT; Maude; OBJ3; Haskell; …
Main Fields: Computer science (68-XX)

ConCon

Software Authors:   T. Sternagel, C. Sternagel
Referenced in: 3 Publications (2015–2017)
Related Software: Isabelle/HOL; AProVE; Nagoya Termination Tool; Matchbox; CoLoR; CSI; …
Main Fields: Computer science (68-XX)

FEMOEA

Software Authors:   Redondo, J.L.; Fernández, J.; Ortigosa, P.M.
Referenced in: 3 Publications (2015–2019)
Related Software: AbYSS; SPEA2; MOEA/D; ibexMop; GitHub; SMS-EMOA; …
Main Fields: Operations research, mathematical programming (90-XX)

GLUE-IT

Software Authors:   Andrew E. Firth; Wayne M. Patrick
Referenced 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
Referenced in: 2 Publications (2003)
Related Software: MRSVP
Main Fields: Computer science (68-XX)

KBCV

Software Authors:   Sternagel, Thomas; Zankl, Harald
Referenced 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
Referenced in: 3 Publications (2016–2018)
Related Software: z3; Boogie; Con2colic; STP; jCUTE; Jalangi; …
Main Fields: 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
Referenced in: 2 Publications (2013–2015)
Related Software: MrBayes; Gegenees; POY; MLTreeMap; SEPP; GapCoder; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

NLP

Software Authors:   Daniel F. Rufer
Referenced in: 3 Publications (1978–2020)
Related Software: FORCES NLP; liftedCollocation; CasADi; qpOASES; Ipopt; ACADO; …
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Online-ABFT

Software Authors:   Z. Chen
Referenced 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
Referenced 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)

Pyhybridanalysis

Software Authors:   Casagrande, A.; Dreossi, T.
Referenced in: 3 Publications (2009–2014)
Related Software: pyHybrid Analysis; SpaceEx; REDLOG; d/dt; MATISSE
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

SEREN

Software Authors:   D. A. Hubber, C. P. Batty, A. McLeod, A. P. Whitworth
Referenced 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
Referenced 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
Referenced in: 1 Publication (2021)
Related Software: rpart; DMRnet; R; CRAN; effectFusion; randomForest; …
Main Fields: Statistics (62-XX)

FuncTion

Software Authors:   Urban, C.
Referenced 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.
Referenced in: 1 Publication (2020)
Related Software: CIVL; Cascade; Crust; Pyston; Rust2Viper; Calysto; …
Main Fields: Computer science (68-XX)

HOOMD-TF

Software Authors:   Barrett, R.; Chakraborty, M.; Amirkulova, D.; Gandhi, H.; Wellawatte, G.; White, A.
Referenced 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
Referenced 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
Referenced 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
Referenced 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)

LPABO

Software Authors:   Park, Soondal; Kim, Woo-Je; Seol, Tongryeol; Seong, Myeongki; Park, Chan-Kyoo
Referenced in: 2 Publications (2000–2003)
Related Software: DEVEX; LPAKO; HOPDM; CPLEX; BPMPD
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

mlr3tuning

Software Authors:   Michel Lang, Jakob Richter, Bernd Bischl, Daniel Schalk
Referenced in: 1 Publication (2021)
Related Software: R; mlr3; checkmate; mlr3db; mlr3filters; mlr3pipelines; …
Main Fields: Computer science (68-XX)

Nagini

Software Authors:   Eilers, M., Müller, P
Referenced in: 2 Publications (2021)
Related Software: Boogie; Viper; z3; Frama-C; Why3; KRAKATOA; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

ompP

Software Authors:   Fürlinger, K.; Gerndt, M.
Referenced in: 0 Publications
Related Software: EdenTV; Eden; TAU; GUM; VAMPIR; eSkel; …
Main Fields: