×

Found 84 Software Packages (Results 1–84)

TPTP

Software Authors:   Geoff Sutcliffe; Christian Suttner
Cited in: 388 Publications (1994–2021)
Related Software: VAMPIRE; E Theorem Prover; SPASS; Isabelle/HOL; OTTER; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

SifDec

Software Authors:   Gould, Nicholas I.M.; Orban, Dominique; Toint, Philippe L.
Cited in: 221 Publications (2003–2022)
Related Software: CUTEr; Ipopt; L-BFGS; minpack; CUTE; LANCELOT; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

DART

Software Authors:   Patrice Godefroid; Nils Klarlund; Koushik Sen
Cited in: 58 Publications (2005–2022)
Related Software: CUTE; Pex; z3; STP; KLEE; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

StirMark

Software Authors:   Fabien A. P. Petitcolas, Ross J. Anderson, Markus G. Kuhn
Cited in: 27 Publications (2001–2018)
Related Software: Tabu search; Matlab; LAME; SIPI Image Database; Checkmark
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Korat

Software Authors:   Chandrasekhar Boyapati; Sarfraz Khurshid; Darko Marinov
Cited in: 22 Publications (2001–2021)
Related Software: Java PathFinder; Symstra; TestEra; CUTE; Rostra; JUnit; …
Main Fields: Computer science (68-XX)

HR

Software Authors:   Colton, Simon
Cited in: 27 Publications (2002–2022)
Related Software: GRAFFITI; OTTER; Mace4; TPTP; AutoGraphiX; GAP; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

JPAX

Software Authors:   Havelund, Klaus; Roşu, Grigore
Cited in: 21 Publications (2002–2022)
Related Software: Maude; Bandera; Java PathFinder; veriSoft; Java-MaC; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MuJoCo

Software Authors:   E. Todorov, T. Erez, Y. Tassa
Cited in: 23 Publications (2016–2022)
Related Software: OpenAI Gym; TensorFlow; Adam; PyTorch; GitHub; Python; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX)

ILTP

Software Authors:   Thomas Raths; Jens Otten
Cited in: 28 Publications (2005–2021)
Related Software: TPTP; Imogen; ileanCoP; fCube; leanCoP; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TestEra

Software Authors:   Marinov, D; Khurshid, S
Cited in: 14 Publications (2002–2019)
Related Software: Korat; Rostra; Symstra; z3; CUTE; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

UniTESK

Software Authors:   Institute for System Programming of the Russian Academy of Sciences
Cited in: 14 Publications (2002–2015)
Related Software: SpecExplorer; DART; CUTE; NModel; Symstra; SPIN; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Nuc-ploc

Software Authors:   Hong-Bin Shen, Kuo-Chen Chou
Cited in: 13 Publications (2009–2018)
Related Software: PseAAC; Cell-PLoc; Euk-PLoc; Memtype-2L; iLoc-Hum; iRSpot-PseDNC; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

EasyCheck

Software Authors:   Jan Christiansen; Sebastian Fischer
Cited in: 10 Publications (2009–2020)
Related Software: QuickCheck; Curry; SmallCheck; Haskell; Church; PAKCS; …
Main Fields: Computer science (68-XX)

TGTP

Software Authors:   Pedro Quaresma
Cited in: 13 Publications (2011–2021)
Related Software: GeoGebra; Intergeo; GeoThms; GCLCprover; GCLC; GATP; …
Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Computer science (68-XX)

Ivy

Software Authors:   McMillan, K.L., Padon, O.
Cited in: 11 Publications (2017–2022)
Related Software: Ivy; z3; nuXmv; Verdi; GitHub; ABC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SRASS

Software Authors:   Sutcliffe, Geoff; Puzis, Yury
Cited in: 12 Publications (2007–2019)
Related Software: E Theorem Prover; TPTP; MaLARea; VAMPIRE; OTTER; Flyspeck; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

QMLTP

Software Authors:   Raths, Thomas; Otten, Jens
Cited in: 11 Publications (2012–2021)
Related Software: TPTP; MleanCoP; MSPASS; Isabelle/HOL; ileanCoP; leanCoP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DeepXplore

Software Authors:   Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana
Cited in: 6 Publications (2019–2021)
Related Software: DeepGauge; TensorFuzz; ImageNet; DLFuzz; Adam; Reluplex; …
Main Fields: Partial differential equations (35-XX); Computer science (68-XX); Systems theory; control (93-XX)

Truth/SLC

Software Authors:   Leucker, Martin; Noll, Thomas
Cited in: 4 Publications (2001–2007)
Related Software: mCRL; CADP; PlayGame
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

AGEDIS

Software Authors:   Hartman, A.; K. Nagin
Cited in: 6 Publications (2003–2012)
Related Software: SpecExplorer; UniTESK; AsmL; JPAX; Korat; STG; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

lbtt

Software Authors:   H. Tauriainen; K. Heljanko
Cited in: 5 Publications (2009–2015)
Related Software: SPOT; LTL2BA; SPIN; ltlfilt; LBT; autcross; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GATP

Software Authors:   Quaresma, Pedro; Santos, Vanda; Bouallegue, Seifeddine
Cited in: 6 Publications (2013–2020)
Related Software: TGTP; Intergeo; GeoThms; GCLCprover; GCLC; GeoGebra; …
Main Fields: Geometry (51-XX); Computer science (68-XX); Mathematics education (97-XX)

NodePy

Software Authors:   David Ketcheson
Cited in: 5 Publications (2014–2022)
Related Software: imexLNL; ImplicitLNLMethods; GitHub; Matlab; Rk-opt; SUNDIALS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

PQM4

Software Authors:   Kannwischer, M.J., Rijneveld, J., Schwabe, P., Stoffelen, K.
Cited in: 6 Publications (2019–2022)
Related Software: SIKE; GitHub; Kyber; SIDH; eBACS; XKCP; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

SOFT

Software Authors:   Garbey, M.; Smaoui, M.; de Brye, N.; Picard, C.
Cited in: 5 Publications (2009–2010)
Related Software: CP-nets; NFFT3; NFFT; FFTW; Matlab; cc(FD); …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

TCAS

Software Authors:   Gotlieb, A.
Cited in: 3 Publications (2012–2019)
Related Software: z3; SMT-LIB; MiniSat; CPBPV; S3; Z3-str; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

CovXNet

Software Authors:   Mahmud, T.; Rahman, M. A.; Fattah, S. A.
Cited in: 1 Publication (2021)
Related Software: GitHub; COVID-CAPS; COVID-Net; CVDNet; Xception; AlexNet; …
Main Fields: General and overarching topics; collections (00-XX); Measure and integration (28-XX)

DeReS

Software Authors:   Cholewinski, P., Marek, V., Truszczynski, M.
Cited in: 2 Publications (2019–2021)
Related Software: Datalog; CUDA; dl2asp; fCube; MiniSat; ILTP
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

gets

Software Authors:   Genaro Sucarrat, Felix Pretis, James Reade
Cited in: 2 Publications (2016–2020)
Related Software: lgarch; R; zoo; AutoSEARCH; CODA; Label.switching; …
Main Fields: Statistics (62-XX); Geophysics (86-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

hierinf

Software Authors:   Renaux, Claude; Buzdugan, Laura; Kalisch, Markus; Bühlmann, Peter
Cited in: 4 Publications (2020–2021)
Related Software: glmnet; hdi; R; SIHR; tmg; ElemStatLearn; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX)

Neuroconductor

Software Authors:   Muschelli, J.; Fortin, J. -P.; Gherman, A.; Avants, B.; Whitcher, B.; Clayden, J. D.; Caffo, B.; Crainiceanu, C. M.
Cited in: 2 Publications (2018–2019)
Related Software: R; oro.dicom; oro.nifti; spant; MRUI; FSL-MRS; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX); Information and communication theory, circuits (94-XX)

TensorFuzz

Software Authors:   Augustus Odena, Ian Goodfellow
Cited in: 2 Publications (2020–2021)
Related Software: DeepXplore; DeepGauge; DLFuzz; DeepMutation; Adam; Python; …
Main Fields: Computer science (68-XX)

HttpUnit

Software Authors:   Russell Gold; Wolfgang Fahl; et. al.
Cited in: 1 Publication (2002)
Related Software: BioKleisli; Mercator; JUnitPerf; Ant; JMeter; JUnit
Main Fields: Computer science (68-XX)

Hypothesis

Software Authors:   Maclver, D R
Cited in: 0 Publications
Related Software: Python; Astropy; NumPy; QuickCheck; MutPy; TSTL; …
Main Fields:

ODEA

Software Authors:   Oellrich, Martin
Cited in: 3 Publications (2008–2015)
Related Software: CPLEX; PlaNet
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Ask-Elle

Software Authors:   Gerdes, Alex; Heeren, Bastiaan; Jeuring, Johan; van Binsbergen, L. Thomas
Cited in: 0 Publications
Related Software: Haskell; ELM-ART; Sparkle; QuickCheck
Main Fields:

GraphVar

Software Authors:   Lea Waller; Anastasia Brovkin; Lena Dorfschmidt; Danilo Bzdok; Henrik Walter; Johann Daniel Kruschwitz
Cited in: 0 Publications
Related Software: BrainNet Viewer; eConnectome; Matlab; TMSEEG; Connectome Mapper; CARTOOL; …
Main Fields:

GZoltar

Software Authors:   Campos, A. Riboira, A. Perez, R. Abreu
Cited in: 0 Publications
Related Software: Crisp; pytest; coverage.py; Fault-Localization; PinPoint; Jaguar; …
Main Fields:

JSXM

Software Authors:   Dimitris Dranidis, Konstantinos Bratanis, Florentin Ipate
Cited in: 1 Publication (2016)
Related Software:
Main Fields: Computer science (68-XX)

JWalk

Software Authors:   Anthony Simons
Cited in: 0 Publications
Related Software: NanoXML; JCrasher; Eclat; Rostra; JUnit; Korat; …
Main Fields:

NetGO

Software Authors:   You, R.; Yao, S.; Xiong, Y.; Huang, X.; Sun, F.; Mamitsuka, H.
Cited in: 2 Publications (2022)
Related Software: DeepGO; COFACTOR; DeepGOPlus; QAUST; ProTranslator; GOLabeler; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

P2BAT

Software Authors:   Hoffmann T, Lange C
Cited in: 0 Publications
Related Software: R; TWINAN90; powerpkg; genetics; MICE; haplo.stats; …
Main Fields:

Proof Pad

Software Authors:   Caleb Eggensperger
Cited in: 1 Publication (2018)
Related Software: ACL2; DrACuLa; DrJava; DrScheme
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

PropEr

Software Authors:   M. Papadakis, E. Arvaniti, K. Sagonas
Cited in: 1 Publication (2018)
Related Software: erlyberly; CutEr; redbug; Erlang; SecEr; TypEr; …
Main Fields: Computer science (68-XX)

SecEr

Software Authors:   David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit
Cited in: 1 Publication (2018)
Related Software: erlyberly; PropEr; CutEr; redbug; Erlang; TypEr; …
Main Fields: Computer science (68-XX)

AOtools

Software Authors:   M. J. Townson, O. J. D. Farley, G. Orban de Xivry, J. Osborn, A. P. Reeves
Cited in: 0 Publications
Related Software: caos; Yao; DASP; Astropy; SPHINX; Matplotlib; …
Main Fields:

BlurLab

Software Authors:   Ursell T., Huang K.
Cited in: 0 Publications
Related Software: Huygens; SMeagol; DeconvolutionLab2; ilastik; Matlab; ConfocalGN
Main Fields:

Bugs.jar

Software Authors:   R. K. Saha, Y. Lyu, W. Lam, H. Yoshida, M. R. Prasad
Cited in: 0 Publications
Related Software: Codeflaws; Bugbench; JUnit; GHTorrent; JGit; GitHub; …
Main Fields:

CoDeSe

Software Authors:   Gligoric, M., Marinov, D., Kamin, S.
Cited in: 1 Publication (2015)
Related Software: K Prover; GitHub; KJS; K-Java; Python; K tool; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CTESK

Software Authors:   Institute for System Programming of the Russian Academy of Sciences
Cited in: 1 Publication (2015)
Related Software: UniTESK; SMV; SPIN
Main Fields: Computer science (68-XX)

DeepHunter

Software Authors:   Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Hongxu Chen, Minhui Xue, Bo Li, Yang Liu, Jianjun Zhao, Jianxiong Yin, Simon See
Cited in: 0 Publications
Related Software: DeepGauge; DeepMutation; Scikit; PyTorch; TensorFuzz; DLFuzz; …
Main Fields:

DeepStellar

Software Authors:   Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao
Cited in: 0 Publications
Related Software: AUTOTRAINER; DeepTest; Theano; CRADLE; DeepXplore; TensorFuzz; …
Main Fields:

DeepTest

Software Authors:   Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi Ray
Cited in: 0 Publications
Related Software: AUTOTRAINER; Theano; CRADLE; DeepXplore; TensorFuzz; DLFuzz; …
Main Fields:

Dynodroid

Software Authors:   A. Machiry, R. Tahiliani, M. Naik
Cited in: 0 Publications
Related Software: ArgoUML; Hipikat
Main Fields:

HCViewer

Software Authors:   Starunova, Olga A.; Rudnev, Sergey G.; Starodubov, Vladimir I.
Cited in: 1 Publication (2017)
Related Software: Leaflet; leaflet; shiny; RStudio; GAMLSS; R-Geo; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

ISTA

Software Authors:   Xu, Dianxiang
Cited in: 1 Publication (2011)
Related Software:
Main Fields: Computer science (68-XX)

JavaTESK

Software Authors:   Institute for System Programming of the Russian Academy of Sciences
Cited in: 0 Publications
Related Software: SpecExplorer; NModel; UniTESK
Main Fields:

JPhyloRef

Software Authors:   Gaurav Vaidya, Nico Cellinese, Hilmar Lapp
Cited in: 0 Publications
Related Software: ELK
Main Fields:

JUGE

Software Authors:   Xavier Devroey, Alessio Gambi, Juan Pablo Galeotti, René Just, Fitsum Kifetew, Annibale Panichella, Sebastiano Panichella
Cited in: 0 Publications
Related Software: JaCoCo; JUnit; Python; PIT; SUSHI; EvoSuiteDSE; …
Main Fields:

LCT

Software Authors:   Kähkönen, K.; Launiainen, T.; Saarikivi, O.; Kauttio, J.; Heljanko, K.; Niemelä, I
Cited in: 1 Publication (2016)
Related Software: STP; jCUTE; SMACK; BoogiePL; LCTD; Vellvm; …
Main Fields: Computer science (68-XX)

LCTD

Software Authors:   Saarikivi, Olli; Heljanko, Keijo
Cited in: 1 Publication (2016)
Related Software: STP; LCT; jCUTE; SMACK; BoogiePL; Vellvm; …
Main Fields: Computer science (68-XX)

MadDroid

Software Authors:   Tianming Liu, Haoyu Wang, Li Li, Xiapu Luo, Feng Dong, Yao Guo, Liu Wang, Tegawendé F. Bissyandé, Jacques Klein
Cited in: 0 Publications
Related Software: LibRadar; IccTA; FraudDroid; monkeyrunner; YOLO; Fiddler; …
Main Fields:

MEMO

Software Authors:   Geissen, E.-M., J. Hasenauer, S. Heinrich, S. Hauf, F. J. Theis, N. E. Radde
Cited in: 1 Publication (2019)
Related Software: PRMLT; PMTK; flowClust; mixtools
Main Fields: Statistics (62-XX)

ML4ML

Software Authors:   Zukang Liao, Pengfei Zhang, Min Chen
Cited in: 0 Publications
Related Software: DeepGauge; DeepMutation; DeepHunter; Scikit; PyTorch; TensorFuzz; …
Main Fields:

PathMiner

Software Authors:   D.C. McShan, S. Rao, I. Shah
Cited in: 1 Publication (2009)
Related Software: CPLEX
Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

PDB_REDO

Software Authors:   Robbie P. Joosten, Fei Long, Garib N. Murshudov, Anastassis Perrakis
Cited in: 1 Publication (2016)
Related Software: PlantTFDB; eggNOG; ELM; dbCAN; antiSMASH; dissectHMMER; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

PyMGRIT

Software Authors:   Hahne, Jens; Friedhoff, Stephanie; Bolten, Matthias
Cited in: 1 Publication (2021)
Related Software: Firedrake; PFASST; LibPFASST; tox; SWEET; Jupyter; …
Main Fields: Numerical analysis (65-XX)

Pynguin

Software Authors:   Stephan Lukasczyk, Gordon Fraser
Cited in: 0 Publications
Related Software: Hypothesis; MutPy; TSTL; DLint; EvoSuite; Python
Main Fields:

Pyserini

Software Authors:   Jimmy Lin, Xueguang Ma, Sheng-Chieh Lin, Jheng-Hong Yang, Ronak Pradeep, Rodrigo Nogueira
Cited in: 0 Publications
Related Software: PyGaggle; Covidex; Capreolus; Transformers; PyTorch; docTTTTTquery; …
Main Fields:

RapiTime

Software Authors:   Rapita Systems Ltd
Cited in: 1 Publication (2016)
Related Software: FShell; pwcet
Main Fields: Computer science (68-XX)

SWAD

Software Authors:   Brickley, Dan; Buswell, S.; Matthews, B.M.; Miller, Libby; Reynolds, D.; Wilson, M.D.
Cited in: 1 Publication (2002)
Related Software:
Main Fields: Computer science (68-XX)

T3

Software Authors:   Prasetya ISWB
Cited in: 0 Publications
Related Software: JaCoCo; JUnit; Python; PIT; SUSHI; EvoSuiteDSE; …
Main Fields:

TCBeans

Software Authors:   Hartman, A. and Nagin, K
Cited in: 0 Publications
Related Software: TestNG; SpecExplorer; NModel; TorX; UniTESK
Main Fields:

TSTL

Software Authors:   Josie Holmes, Alex Groce, Jervis Pinto, Pranjal Mittal, Pooria Azimi, Kevin Kellar, James O’Brien
Cited in: 0 Publications
Related Software: Hypothesis; MutPy; DLint; EvoSuite; Python; Pynguin
Main Fields:

VEE Pro

Software Authors:   Angus, Robert B.; Hulbert, Thomas E.
Cited in: 1 Publication (2005)
Related Software:
Main Fields: Computer science (68-XX)

APOGEN

Software Authors:   Stocco, A.; Leotta, M.; Ricca, F.; Tonella, P.
Cited in: 0 Publications
Related Software:
Main Fields:

DynaMOSA

Software Authors:   Annibale Panichella; Fitsum Meshesha Kifetew; Paolo Tonella
Cited in: 0 Publications
Related Software:
Main Fields:

Expertus

Software Authors:   Jayasinghe D, Swint G, Malkowski S, Li J, Wang Q, Park J, Pu C
Cited in: 0 Publications
Related Software:
Main Fields:

HOMAJ

Software Authors:   E. Omar, S. Ghosh, D. Whitley
Cited in: 0 Publications
Related Software:
Main Fields:

Jester

Software Authors:   Ivan Moore
Cited in: 0 Publications
Related Software:
Main Fields:

jwutil

Software Authors:   Jack O. Wasey
Cited in: 0 Publications
Related Software:
Main Fields:

TAO

Software Authors:   Guo, Hai-Feng
Cited in: 0 Publications
Related Software:
Main Fields:

unCAPTCHA

Software Authors:   Bock, K., Patel, D., Hughey, G., Levin, D.
Cited in: 0 Publications
Related Software:
Main Fields:

xxIRT

Software Authors:   Xiao Luo
Cited in: 0 Publications
Related Software:
Main Fields: