SVMlight Software Authors: Thorsten Joachims Cited in: 210 Publications (2000–2022) Related Software: LIBSVM; UCI-ml; SVMTorch; Matlab; GPDT; CONV_QP; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
HypE Software Authors: Bader, J., Zitzler, E. Cited in: 86 Publications (2010–2022) Related Software: MOEA/D; SPEA2; SMS-EMOA; NBI; PlatEMO; weightedHypervolume; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Semigroups Software Authors: Mitchell, J. D. Cited in: 32 Publications (2011–2022) Related Software: GAP; OEIS; Smallsemi; Semigroupe; libsemigroups; Digraphs; … Main Fields: Combinatorics (05-XX); General algebraic systems (08-XX); Category theory; homological algebra (18-XX)
VESTA Software Authors: Koushik Sen, Mahesh Viswanathan, Gul Agha Cited in: 22 Publications (2007–2021) Related Software: PRISM; Maude; HOL; Ymer; PVeStA; PMaude; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
HiggsSignals Software Authors: P. Bechtle, S. Heinemeyer, O. Stål, T. Stefaniak, G. Weiglein Cited in: 21 Publications (2014–2023) Related Software: HiggsBounds; SARAH; Spheno; FeynArts; PYTHIA8; MadGraph; … Main Fields: Topological groups, Lie groups (22-XX); Partial differential equations (35-XX); Quantum theory (81-XX)
SmallCheck Software Authors: Runciman, C., Naylor, M., Lindblad, F. Cited in: 17 Publications (2010–2020) Related Software: QuickCheck; Haskell; Nitpick; EasyCheck; PVS; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
GenSSI Software Authors: Chis O, Banga J, Balsa-Canto E Cited in: 18 Publications (2013–2023) Related Software: DAISY; SIAN; COMBOS; AMIGO; ObservabilityTest; BLAD; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX)
posets Software Authors: Stembridge, J.R Cited in: 18 Publications (1996–2019) Related Software: coxeter; SF; OEIS; Maple; SageMath; Letterplace; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Associative rings and algebras (16-XX)
YOGI Software Authors: Aditya V. Nori , Sriram K. Rajamani , SaiDeep Tetali , Aditya V. Thakur Cited in: 12 Publications (2010–2021) Related Software: DART; z3; CUTE; Java PathFinder; Pex; KLEE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MCFDR Software Authors: Sandve, G., Ferkingstad, E.; Nygard, S Cited in: 7 Publications (2014–2020) Related Software: MMCTest; ORIOGEN; simctest; QuickMMCTest; BaySTDetect; iBBiG; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
QuickChick Software Authors: Paraskevopoulou, Zoe; Hriţcu, Cătălin; Dénès, Maxime; Lampropoulos, Leonidas; Pierce, Benjamin C. Cited in: 5 Publications (2015–2019) Related Software: PVS; Coq; QuickCheck; Nitpick; SmallCheck; z3; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
DIMSEM Software Authors: Robert F. Enenkel, Kenneth R. Jackson Cited in: 4 Publications (1996–2016) Related Software: XBraid; PyPFASST; GitHub; RIDC; ODEPACK; Ode15s; … Main Fields: History and biography (01-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)
Luck Software Authors: Lampropoulos, Leonidas; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John; Pierce, Benjamin C.; Xia, Li-yao Cited in: 4 Publications (2017–2021) Related Software: QuickCheck; PVS; Isabelle/HOL; Nitpick; Why3; WhyML; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
MONOiD Software Authors: James Mitchell; Götz Pfeiffer; Steve A. Linton, Edmund F. Robertson; Nik Ruskuc Cited in: 4 Publications (2001–2019) Related Software: GAP; Magma; Semigroupe; libsemigroups; Semigroups; orb; … Main Fields: Group theory and generalizations (20-XX); Computer science (68-XX)
GLINTS Software Authors: María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña Cited in: 3 Publications (2019–2022) Related Software: Maude; ACUOS2; Curry; Maude-NPA; MTT; ECCE; … Main Fields: General algebraic systems (08-XX); Computer science (68-XX)
hCKSAAP_UbSite Software Authors: Chen, Z.; Zhou, Y.; Song, J.; Zhang, Z. Cited in: 3 Publications (2019–2022) Related Software: Bastion3; mAHTPred; iBitter-SCM; WEKA; UCI-ml; DeepVF; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
Hypothesis Software Authors: Maclver, D R Cited in: 0 Publications Related Software: Python; Astropy; NumPy; QuickCheck; MutPy; TSTL; … Main Fields: –
PrologCheck Software Authors: Amaral, Cláudio; Florido, Mário; Santos Costa, Vítor Cited in: 2 Publications (2014–2017) Related Software: K Prover; Nominal Isabelle; PoplMark; PLT Redex; K tool; SmallCheck; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
sitar Software Authors: Deshmukh, Jyotirmoy; Jin, Xiaoqing; Kapinski, James; Maler, Oded Cited in: 3 Publications (2015–2021) Related Software: Breach; S-TaLiRo; AdaptiveStressTesting.jl; Flow*; SpaceEx; Reluplex; … Main Fields: Mathematical logic and foundations (03-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: –
computational-algebra Software Authors: Ishii, Hiromi Cited in: 2 Publications (2018–2021) Related Software: GitHub; DoCon; ghc-typelits-presburger; type-natural; SmallCheck; QuickCheck; … Main Fields: Commutative algebra (13-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-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)
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)
PTTAC Software Authors: Camacho, M.A., Merayo, M.G., Medina-Bulo Cited in: 2 Publications (2017–2018) Related Software: – Main Fields: Computer science (68-XX)
VBF Software Authors: José Antonio Álvarez-Cubero, Pedro J. Zufiria Cited in: 2 Publications (2016–2017) Related Software: SageMath; VBFlib; MatPack; CrypTool; boolfun; KASUMI; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Information and communication theory, circuits (94-XX)
ArtinAlgebras Software Authors: G. Wiese Cited in: 1 Publication (2017) Related Software: Magma Main Fields: Number theory (11-XX)
BAMD Software Authors: Li, Zhen; Gopal, Vikneswaran; Li, Xiaobo; Davis, John M.; Casella, George Cited in: 1 Publication (2012) Related Software: STRUCTURE; MISA; tsbridge; R Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)
Citrus Software Authors: Götz Pfeiffer, Steve A. Linton, Edmund F. Robertson, Nik Ruskuc; J. D. Mitchell Cited in: 1 Publication (2013) Related Software: orb; GAP Main Fields: Group theory and generalizations (20-XX)
Gauss-lintel Software Authors: Khan, Abdullah; Lisitsa, Alexei; Vernitski, Alexei Cited in: 1 Publication (2021) Related Software: SWI-Prolog; OEIS Main Fields: Algebraic geometry (14-XX); Manifolds and cell complexes (57-XX)
HDLSSkST Software Authors: Biplab Paul, Shyamal K. De, Anil K. Ghosh Cited in: 1 Publication (2022) Related Software: MNM; ElemStatLearn; energy; Silhouettes; R Main Fields: Statistics (62-XX)
LBT Software Authors: Mauno Rönkkö Cited in: 1 Publication (2013) Related Software: lbtt; ltlfilt; autcross; ltlcross; SPOT; SPIN Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LibShortText Software Authors: Yu, H.-F., Ho, C.-H., Juan, Y.-C., Lin, C.-J Cited in: 1 Publication (2014) Related Software: TimeML; HunPos; GULP; C4.5; SRILM; Prolog; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
pscore2 Software Authors: Dorn, Sabrina Cited in: 1 Publication (2013) Related Software: – Main Fields: Statistics (62-XX)
QuickREST Software Authors: Stefan Karlsson, Adnan Causevic, Daniel Sundmark Cited in: 0 Publications Related Software: RESTler; PostgreSQL; Kotlin; JUnit; EvoMaster Main Fields: –
SPACE Software Authors: Stroeven, Piet; Stroeven, Martijn Cited in: 1 Publication (2010) Related Software: YADE; Matlab; Gmsh; CGAL Main Fields: Mechanics of deformable solids (74-XX)
UNION3 Software Authors: Franklin, W.Randolph Cited in: 1 Publication (2005) Related Software: – Main Fields: Numerical analysis (65-XX)
Echidna Software Authors: Gustavo Grieco; et al. Cited in: 0 Publications Related Software: – Main Fields: –
SeqFeatR Software Authors: Bettina Budeus Cited in: 0 Publications Related Software: – Main Fields: –