×

Found 167 Software Packages (Results 1–100)

Bio-PEPA

Software Authors:   Federica Ciocchetta, Maria Luisa Guerriero, Vashti Galpin, Jane Hillston, Giulio Caravagna, Allan Clark, Andrea Degasperi, Adam Duguid, Kanimozhi Ellavarason, Stephen Gilmore, Laurence Loewe, Dimitrios Milios
Cited in: 91 Publications (2008–2022)
Related Software: PEPA; PRISM; BIOCHAM; BlenX; BioNetGen; LBS; …
Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

pcalg

Software Authors:   Markus Kalisch, Martin Maechler, Diego Colombo
Cited in: 78 Publications (2007–2022)
Related Software: TETRAD; R; bnlearn; glasso; deal; igraph; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

Nominal Isabelle

Software Authors:   Urban, Christian; Kaliszyk, Cezary
Cited in: 75 Publications (2005–2022)
Related Software: Isabelle/HOL; Isabelle; Coq; PoplMark; Twelf; Abella; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

KEM-DEM

Software Authors:   Nagao, Waka; Manabe, Yoshifumi; Okamoto, Tatsuaki
Cited in: 59 Publications (2005–2021)
Related Software: NAXOS; HMQV; Keccak; NESSIE
Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX)

MMT

Software Authors:   Florian Rabe
Cited in: 51 Publications (2009–2022)
Related Software: OMDoc; QMT; Coq; Isabelle; Mizar; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Freshml

Software Authors:   Shinwell, M.R., Pitts, A.M., Gabbay, M.
Cited in: 48 Publications (2003–2021)
Related Software: Coq; Nominal Isabelle; Twelf; Isabelle/HOL; OCaml; Agda; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

Graclus

Software Authors:   I. Dhillon, Y. Guan, B, Kulis
Cited in: 37 Publications (2008–2022)
Related Software: BSDS; AFGen; UCI-ml; Algorithm 457; ImageNet; PRMLT; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

ABC

Software Authors:   Robert Brayton; Alan Mishchenko
Cited in: 35 Publications (2011–2021)
Related Software: MiniSat; z3; AIGER; NuSMV; CBMC; CAQE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

MATISSE

Software Authors:   Girard, Antoine; Pappas, George J.
Cited in: 28 Publications (2007–2022)
Related Software: HyTech; PHAVer; SpaceEx; Sostools; Matlab; dReal; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

AARON

Software Authors:   Aaron Robertson, Dan Saracino, Doron Zeilberger
Cited in: 27 Publications (2002–2021)
Related Software: OEIS; FindStat
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Functions of a complex variable (30-XX)

Cadence SMV

Software Authors:   McMillan K L.
Cited in: 22 Publications (2000–2018)
Related Software: NuSMV; SPIN; SPOT; LTL2BA; VIS; CESAR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

CoCasl

Software Authors:   Mossakowski, Till; Roggenbach, Markus; Schröder, Lutz
Cited in: 26 Publications (2003–2014)
Related Software: CASL; Maude; Hets; CCSL; CafeOBJ; CIRC; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

sna

Software Authors:   Carter T. Butts
Cited in: 11 Publications (2002–2019)
Related Software: R; statnet; network; igraph; ergm; Pajek; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

TenEig

Software Authors:   Chen, Liping; Han, Lixing; Zhou, Liangmin
Cited in: 25 Publications (2016–2022)
Related Software: TensorToolbox; PHCpack; Matlab; PHoM; HOM4PS; NACLab; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

BinaryTrees

Software Authors:   Rowland, Eric S.
Cited in: 22 Publications (2010–2021)
Related Software: OEIS; GJsqfree; GJSAW; GJseries; SPGJ; SYMGJ; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Category theory; homological algebra (18-XX)

QPA

Software Authors:   Gould, Nicholas I.M.; Toint, Philippe L.
Cited in: 20 Publications (1991–2016)
Related Software: MA57; SNOPT; qpOASES; SQOPT; GALAHAD; HSL; …
Main Fields: Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

TVOC

Software Authors:   Barrett, Clark; Fang, Yi; Goldberg, Benjamin; Hu, Ying; Pnueli, Amir; Zuck, Lenore
Cited in: 19 Publications (2005–2021)
Related Software: CVT; Coq; SymDiff; CompCert; CoVaC; ISP; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

YAPA

Software Authors:   Baudet, Mathieu; Cortier, Véronique; Delaune, Stéphanie
Cited in: 18 Publications (2009–2020)
Related Software: AVISPA; Akiss; Maude-NPA; ProVerif; OFMC; FAST; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

BRAID

Software Authors:   Magaard, Kay; Shpectorov, Sergey; Völklein, Helmut
Cited in: 18 Publications (2003–2019)
Related Software: GAP; Magma; ComputeBelyi; MapClass; SINGULAR
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX)

01poly

Software Authors:   Aichholzer, Oswin
Cited in: 18 Publications (2000–2021)
Related Software: polymake; nauty; 2L_enum; birkhoff faces; GAP; polyquad; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

SuSy 2

Software Authors:   Popowicz, Ziemowit
Cited in: 18 Publications (1997–2022)
Related Software: PSEUDO; REDUCE; PDEtools; Maple; IBM Scratchpad; AXIOM
Main Fields: Nonassociative rings and algebras (17-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

SymDiff

Software Authors:   Lahiri, S., Hawblitzel, C., Kawaguchi, M., Rebelo, H.
Cited in: 17 Publications (2012–2021)
Related Software: z3; Boogie; RVT; SIMPLIFY; Dafny; AProVE; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

na24

Software Authors:   Lucet, Yves
Cited in: 16 Publications (2006–2021)
Related Software: na13; Scilab; CCA; SCAT; fenchel; CGAL; …
Main Fields: Real functions (26-XX); Operator theory (47-XX); Convex and discrete geometry (52-XX)

Regular Sets

Software Authors:   Alexander Krauss; Tobias Nipkow
Cited in: 16 Publications (2011–2018)
Related Software: Isabelle/HOL; Coq; Archive Formal Proofs; Myhill-Nerode; Isabelle; Presburger Automata; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

sQueezeBF

Software Authors:   Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo
Cited in: 16 Publications (2010–2021)
Related Software: Bloqqer; DepQBF; Nenofex; MiniSat; semprop; QUBOS; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

WoLFram

Software Authors:   Sülflow, André
Cited in: 16 Publications (2010–2022)
Related Software: R; KLEE; z3; Yices; Daikon; SMT-LIB; …
Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

Akiss

Software Authors:   Rohit Chadha, Vincent Cheval, Ștefan Ciobâcă, Steve Kremer
Cited in: 15 Publications (2012–2021)
Related Software: AVISPA; TAMARIN; Apte; YAPA; scyther; Maude-NPA; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

CAESAR_SOLVE

Software Authors:   Radu Mateescu
Cited in: 10 Publications (2006–2015)
Related Software: CADP; SPIN; Exp.Open; E-LOTOS; NuSMV; CMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Java Jr

Software Authors:   Jeffrey, Alan; Rathke, Julian
Cited in: 12 Publications (2005–2015)
Related Software: Z; Eiffel; Multilisp; Maude; TALx86; Fides; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

LTSA-WS

Software Authors:   Magee J, Kramer J, Uchitel S, et al
Cited in: 11 Publications (2006–2021)
Related Software: WSAT; NuSMV; Uppaal; LoLA; COWS; ITACA; …
Main Fields: Computer science (68-XX)

March_eq

Software Authors:   Heule, Marijn; Dufour, Mark; van Zwieten, Joris; van Maaren, Hans
Cited in: 13 Publications (2005–2021)
Related Software: MiniSat; Chaff; Lingeling; Plingeling; SATO; CaDiCaL; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

SafeDpi

Software Authors:   Hennessy, Matthew; Rathke, Julian; Yoshida, Nobuko
Cited in: 13 Publications (2004–2011)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Concurrency Workbench

Software Authors:   P. Stevens et al
Cited in: 11 Publications (2000–2017)
Related Software: LOTOS; CADP; NuSMV; PrivateLR; LOTOSphere; LOEWE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Sigma*

Software Authors:   Matko Botinčan, Domagoj Babić
Cited in: 12 Publications (2013–2022)
Related Software: libalf; z3; RALib; LearnLib; Daikon; DART; …
Main Fields: Computer science (68-XX)

CAESAR

Software Authors:   Hubert Garavel; Wendelin Serwe; INRIA Rhone-Alpes
Cited in: 10 Publications (2004–2021)
Related Software: CADP; caesar.bdd; NUPN_INFO; Exp.Open; SPIN; M-TREE; …
Main Fields: Computer science (68-XX)

Beaver

Software Authors:   Sanjit Seshia
Cited in: 9 Publications (2010–2021)
Related Software: Yices; z3; MathSAT; Boolector; MiniSat; CVC4; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

KAT-ML

Software Authors:   Aboul-Hosn, K., Kozen, D
Cited in: 10 Publications (2006–2016)
Related Software: Isabelle/HOL; Esterel; Coq; NetKAT; Regular Sets; PDCoq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AREP

Software Authors:   Sebastian Egner; Markus Püschel
Cited in: 8 Publications (1999–2008)
Related Software: SPIRAL; GAP; FFTW; ATLAS
Main Fields: Group theory and generalizations (20-XX); Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX)

CoVaC

Software Authors:   Zaks, A., Pnueli, A.
Cited in: 8 Publications (2009–2021)
Related Software: z3; SymDiff; SeaHorn; Boogie; LLVM; TVOC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ERODE

Software Authors:   Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.
Cited in: 9 Publications (2017–2021)
Related Software: z3; BioNetGen; Bio-PEPA; NFsim; PRISM; GitHub; …
Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX)

rp.flm.test

Software Authors:   Cuesta-Albertos, Juan A.;García-Portugués, Eduardo; Febrero-Bande, Manuel; Gonz'alez-Manteiga, Wenceslao
Cited in: 9 Publications (2019–2021)
Related Software: fda (R); pffr; RobStatTM; robustbase; fdatest; fda.usc
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX)

BISIMULATOR

Software Authors:   Bergamini, Damien; Descoubes, Nicolas; Joubert, Christophe; Mateescu, Radu
Cited in: 8 Publications (2005–2021)
Related Software: M-TREE; CADP; Exp.Open; SPIN; LOTOS; CAESAR; …
Main Fields: Computer science (68-XX)

ERES

Software Authors:   Mitrouli, M.; Karcanias, N.; Koukouvinos, C.
Cited in: 8 Publications (1996–2014)
Related Software: MultRoot; Matlab
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)

RAIcode

Software Authors:   Yehezkel, Raanan; Lerner, Boaz
Cited in: 8 Publications (2009–2019)
Related Software: TETRAD; BNT; pcalg; UCI-ml; rcausal; bnlearn; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

tKlaim

Software Authors:   De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
Cited in: 6 Publications (2005–2008)
Related Software: KLAIM; Linda; Klava; SLMC; MWB
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CFSF

Software Authors:   Franky Backeljauw; Annie Cuyt
Cited in: 7 Publications (2005–2017)
Related Software: DLMF; Maple; Algorithm 524; Algorithm 786; MPFR; mpcheck; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Sequences, series, summability (40-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)

FAST

Software Authors:   Conchinha, Bruno; Basin, David A.; Caleiro, Carlos
Cited in: 7 Publications (2011–2020)
Related Software: Akiss; YAPA; Apte; Maude-NPA; OFMC; ProVerif; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)

MACEK

Software Authors:   Petr Hlineny
Cited in: 7 Publications (2006–2022)
Related Software: SageMath; Leibniz
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX)

MBESS

Software Authors:   Ken Kelley
Cited in: 3 Publications (2012–2021)
Related Software: R; mma; ggplot2; testthat; bmlm; mediation; …
Main Fields: Statistics (62-XX)

MSO_Regex_Equivalence

Software Authors:   Dmitriy Traytel; Tobias Nipkow
Cited in: 7 Publications (2013–2018)
Related Software: Presburger Automata; Myhill-Nerode; Regex_Equivalence; Isabelle; Finite Automata HF; Hereditarily Finite Sets; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PREVAIL

Software Authors:   Borrione, Dominique; Pierre, Laurence; Salem, Ashraf
Cited in: 5 Publications (1992–2014)
Related Software: Nuprl; CoqMTU; Coquet; Coq; CESAR; LARCH; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Regex_Equivalence

Software Authors:   Nipkow, T.; Traytel, D.
Cited in: 7 Publications (2014–2022)
Related Software: Isabelle/HOL; Archive Formal Proofs; MSO_Regex_Equivalence; Myhill-Nerode; Lifting; Transfer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Rfuzzy

Software Authors:   Susana Munoz-Hernandez, Victor Pablos Ceruelo, Hannes Strass
Cited in: 4 Publications (2011–2019)
Related Software: XPath; FRIL; WordNet; Likelog; XQuery; ML
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

SPEC

Software Authors:   A. Tiu
Cited in: 7 Publications (2016–2021)
Related Software: Bedwyr; Akiss; MWB; Centaur; ELPI; Teyjus; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

XPi

Software Authors:   Acciai, Lucia; Boreale, Michele
Cited in: 6 Publications (2008–2020)
Related Software: PiDuce; XDuce; XPath; CDuce; CC-Pi; COWS; …
Main Fields: Computer science (68-XX)

Algorithm 923

Software Authors:   Wimmer, M.
Cited in: 6 Publications (2012–2021)
Related Software: Pfaffian; Mathematica; Matlab; LAPACK; SageMath; AlgRemez; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

Apte

Software Authors:   V. Cheval; David Baelde, Stephanie Delaune, Lucca Hirschi
Cited in: 5 Publications (2017–2018)
Related Software: Akiss; TAMARIN; AVISPA; FAST; scyther; GitHub; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Catfact

Software Authors:   R. G. Cowell; F. J. Wright
Cited in: 6 Publications (1989–2005)
Related Software: SINGULAR; Macaulay2; Transversal; Maple; moregroebner; symmetry; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Global analysis, analysis on manifolds (58-XX)

CertiCrypt

Software Authors:   Barthe, Gilles; Grégoire, Benjamin; Zanella Béguelin, Santiago
Cited in: 5 Publications (2009–2017)
Related Software: Coq; Coq/SSReflect; EasyCrypt; kepler98; seL4
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Helena

Software Authors:   Hennicker, R., Klarl, A., Wirsing, M.
Cited in: 5 Publications (2014–2019)
Related Software: DEECO; SCEL; ReSpecT; Apache Spark; TAG; Featherweight Java; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

PTSC

Software Authors:   –
Cited in: 5 Publications (2012–2021)
Related Software: PAT; Isabelle; Coq; Maude; Uppaal; Maria; …
Main Fields: Computer science (68-XX)

SMCper

Software Authors:   Zeilberger, Doron
Cited in: 6 Publications (2004–2021)
Related Software: stCore; Quicksort; EKHAD; HISTABRUT; SIGMA; A435; …
Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Difference and functional equations (39-XX)

Workcraft

Software Authors:   Poliakov, Ivan; Sokolov, Danil; Mokhov, Andrey
Cited in: 4 Publications (2011–2022)
Related Software: VipTool; Genet; Petrify; ProM; rbminer; TINA; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

bayest

Software Authors:   Riko Kelter
Cited in: 3 Publications (2021–2022)
Related Software: R; bayestestR; Stan; fbst; MASS (R); CODA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX)

HOMER

Software Authors:   David Hopkins; C. -H. Luke Ong
Cited in: 3 Publications (2005–2013)
Related Software: SLAM; BLAST; GTRECS2; HECTOR; C-SHORe
Main Fields: Computer science (68-XX)

lpeq

Software Authors:   Tomi Janhunen
Cited in: 5 Publications (2002–2011)
Related Software: DLPEQ; GNT; GOLEM; ASPTools; Datalog; DLV; …
Main Fields: Computer science (68-XX)

MATLANG

Software Authors:   Geerts, Floris
Cited in: 5 Publications (2018–2022)
Related Software: LaraDB; MathOverflow; APL
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Associative rings and algebras (16-XX)

nuSpectral

Software Authors:   Adolf Mathias; Florian Grond; Ramon Guardans; Detlef Seese; Miguel Canela; Hans Diebner
Cited in: 4 Publications (2011–2020)
Related Software: R; PRMLT; Spectral; FFTW; NESToolbox
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Schubert2

Software Authors:   Daniel R. Grayson, Michael E. Stillman, Stein A. Strømme, David Eisenbud, Charley Crissman
Cited in: 5 Publications (2015–2022)
Related Software: Macaulay2; Book3264Examples; GitHub; Bertini; OEIS; NormalToricVarieties; …
Main Fields: Algebraic geometry (14-XX); Geometry (51-XX); Statistics (62-XX)

Braidlab

Software Authors:   Jean-Luc Thiffeault, Marko Budisic
Cited in: 3 Publications (2015–2018)
Related Software: Threadpool; CBraid; Matlab; Alpha shapes; plfit
Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Mechanics of particles and systems (70-XX)

DLPEQ

Software Authors:   Janhunen, Tomi; Oikarinen, Emilia
Cited in: 4 Publications (2004–2011)
Related Software: lpeq; GNT; GOLEM; ASPTools; Datalog; DLV; …
Main Fields: Computer science (68-XX)

fabMix

Software Authors:   Panagiotis Papastamoulis
Cited in: 3 Publications (2020–2022)
Related Software: Label.switching; R; SPSS; lpSolve; LISREL; Mcmcpack; …
Main Fields: Statistics (62-XX)

FaPAS

Software Authors:   B. Yordanov, C. Belta
Cited in: 4 Publications (2013–2018)
Related Software: NuSMV; Algorithm 97; VeriSIMPL; Maxplus; SPIN
Main Fields: Combinatorics (05-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

LALBLC

Software Authors:   Henry, Patrick; Sénizergues, Géraud
Cited in: 4 Publications (2013–2017)
Related Software: TAMARIN; Akiss; Apte; FAST; YAPA
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Multipliers-of-self-maps-on-P2

Software Authors:   Guillot, Adolfo; Ramírez, Valente
Cited in: 4 Publications (2018–2020)
Related Software: Magma; GitHub; SageMath; Macaulay2
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX)

SpeeDP

Software Authors:   Grippo, Luigi; Palagi, Laura; Piacentini, Mauro; Piccialli, Veronica; Rinaldi, Giovanni
Cited in: 4 Publications (2012–2016)
Related Software: Biq Mac; COL; Algorithm 769; Algorithm 815; Tabu search; DIMACS; …
Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX)

Unbound

Software Authors:   Weirich, Stephanie; Yorgey, Brent A.; Sheard, Tim
Cited in: 4 Publications (2011–2019)
Related Software: Isabelle/HOL; Psi-calculi; Nominal Isabelle; LNgen; Beluga; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Coccinelle

Software Authors:   Contejean, E.
Cited in: 2 Publications (2007–2008)
Related Software: CoLoR; Coq; IsaFoR; Isabelle/HOL; CeTA; Jambox; …
Main Fields: Computer science (68-XX)

CScout

Software Authors:   Spinellis, Diomidis
Cited in: 1 Publication (2010)
Related Software: SWILL; SQLite; Hibernate; pico ql; ScalaQL; Dremel; …
Main Fields: Computer science (68-XX)

DECOR

Software Authors:   Pal, M.; Saha, S.; Bandyopadhyay, S.
Cited in: 3 Publications (2019–2020)
Related Software: MOEA/D; MOMBI; DMaOEA; HypE; SPEA2; SMS-EMOA; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX)

designv2

Software Authors:   Smith, D. M.; Ridout, M. S.
Cited in: 3 Publications (2003–2006)
Related Software: NPSOL; LISP-STAT; AS 245; AS 47; AS 7; AS 6
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

divisors.lib

Software Authors:   Yue Ren, Janko Boehm, Lars Kastner, Benjamin Lorenz, Hans Schönemann
Cited in: 3 Publications (2017–2020)
Related Software: SINGULAR; SageMath; Maxima; gfanlib; Gfan; jReality; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

Exterior

Software Authors:   M. Hickman
Cited in: 3 Publications (2017–2020)
Related Software: Maple; rifsimp; PDESpecialSolutions
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Differential geometry (53-XX)

HEPTHools

Software Authors:   Gates, S. James jun.; Hu, Yangrui; Stiffler, Kory
Cited in: 3 Publications (2019–2020)
Related Software: Adinkras; Mathematica; LieART; Adinkra.m
Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Mechanics of particles and systems (70-XX)

ISDEP

Software Authors:   J.L. Velasco; A. Bustos; F. Castejón; L.A. Fernández; V. Martin-Mayor; A. Tarancón
Cited in: 3 Publications (2012–2014)
Related Software: GenFoo
Main Fields: Partial differential equations (35-XX); Statistical mechanics, structure of matter (82-XX)

KLEE-FP

Software Authors:   Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly
Cited in: 3 Publications (2011–2021)
Related Software: GKLEE; GPUVerify; CUDA; GRace; GMRace; CURD; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

LWB

Software Authors:   Goré, Rajeev; Heinle, Wolfgang; Heuerding, Alain
Cited in: 3 Publications (1996–2009)
Related Software: MSPASS; TPTP; VAMPIRE; MiniSat
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MDGs

Software Authors:   Zhou Z, Boulerice N
Cited in: 2 Publications (2009–2013)
Related Software: HOL; ML; Bandera; Caduceus; Why3; KRAKATOA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MENTA

Software Authors:   G. de Melo, G. Weikum
Cited in: 2 Publications (2012–2016)
Related Software: DBpedia; BabelNet; YAGO; Wikipedia Miner; Freebase; Hadoop; …
Main Fields: Computer science (68-XX)

RATH-Agda

Software Authors:   Kahl, W.
Cited in: 3 Publications (2014)
Related Software:
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

RVT

Software Authors:   Strichman, Ofer; Veitsman, Maor
Cited in: 3 Publications (2016–2021)
Related Software: SymDiff; Boogie; z3; SIMPLIFY; Dafny; Nagini; …
Main Fields: Computer science (68-XX)

Timed Rebeca

Software Authors:   Khamespanah, E., Sirjani, M., Sabahi-Kaviani, Z., Khosravi, R., Izadi, M.
Cited in: 3 Publications (2016–2020)
Related Software: Rebeca; Uppaal; SPIN; HOL/SPIN
Main Fields: Computer science (68-XX)

tree-structured-covariance

Software Authors:   Blaschko, Matthew B.; Zaremba, Wojciech; Gretton, Arthur
Cited in: 2 Publications (2015–2016)
Related Software: kdetrees; BEAST; MEGA; MrBayes; GitHub
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

blockmodeling

Software Authors:   Aleš Žiberna
Cited in: 2 Publications (2008–2021)
Related Software: Pajek; R
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

BMaude

Software Authors:   Meseguer, José; Roşu, Grigore
Cited in: 2 Publications (2002–2004)
Related Software: Maude; CafeOBJ; OBJ3
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

classify.lib

Software Authors:   Krüger, K.
Cited in: 2 Publications (2015–2017)
Related Software: realclassify.lib; SINGULAR; GitHub; classify2.lib; rootsur.lib; realclassify
Main Fields: Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX)

CoCLAM

Software Authors:   Dennis, L. A.; Bundy, A.; Green, I.
Cited in: 2 Publications (2000–2012)
Related Software: Oyster; OMEGA; CLAM; Concurrency Workbench; HOL
Main Fields: Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX); Computer science (68-XX)

coneqct

Software Authors:   Murawski, Andrzej S.; Ramsay, Steven J.; Tzevelekos, Nikos
Cited in: 2 Publications (2015–2018)
Related Software: SymDiff; eVolCheck
Main Fields: Computer science (68-XX)

ex-infinity

Software Authors:   Moss, Sean
Cited in: 2 Publications (2020–2021)
Related Software: GitHub
Main Fields: Category theory; homological algebra (18-XX); Algebraic topology (55-XX); Manifolds and cell complexes (57-XX)