GOLOG Software Authors: Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B. Cited in: 157 Publications (1996–2022) Related Software: ConGolog; AgentSpeak; METATEM; Graphplan; Jason; CCalc; … Main Fields: (68T27-XX); (03B70-XX); (68T40-XX)
LiE Software Authors: A.M. Cohen, B. Lisser, M.A.A. van Leeuwen Cited in: 164 Publications (1993–2022) Related Software: Magma; Mathematica; Macaulay2; GAP; Maple; SageMath; … Main Fields: –
mCRL2 Software Authors: Groote, Jan Friso; Mathijssen, Aad; Reniers, Michel A.; Usenko, Yaroslav S.; van Weerdenburg, Muck Cited in: 54 Publications (2007–2023) Related Software: CADP; Reo; PRISM; Uppaal; SPIN; LTSmin; … Main Fields: (68N15-XX); (68M14-XX); (68Q85-XX)
LieART Software Authors: Robert Feger, Thomas W. Kephart Cited in: 57 Publications (2012–2021) Related Software: Mathematica; Susyno; LiE; Affine; GAP; Adinkras; … Main Fields: –
ShearLab Software Authors: Kutyniok, Gitta; Shahram, Morteza; Zhuang, Xiaosheng Cited in: 51 Publications (2010–2022) Related Software: Wavelet and Multiscale Library; NSCT toolbox; Matlab; MCALab; PDCO; PUMA; … Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX); Computer science (68-XX)
FRIL Software Authors: Baldwin, J. F.; Martin, T. P.; Pilsworth, B. W. Cited in: 37 Publications (1987–2020) Related Software: Likelog; FPROLOG; XPath; XQuery; Ciao; Rfuzzy; … Main Fields: –
OFMC Software Authors: Sebastian Mödersheim, Luca Viganò Cited in: 25 Publications (2005–2021) Related Software: AVISPA; NRL; Casper; Maude; ProVerif; Maude-NPA; … Main Fields: (68Q60-XX); (68M12-XX); (68P25-XX)
Adinkras Software Authors: Zhang, Yan X. Cited in: 27 Publications (2005–2021) Related Software: LieART; HEPTHools; Adinkra.m; Mathematica; adynkra; Susyno; … Main Fields: (05E10-XX); (68U10-XX)
ART 3 Software Authors: Gail A. Carpenter; Stephen Grossberg Cited in: 16 Publications (1992–2012) Related Software: Fuzzy ARTMAP; UCI-ml; LVQPAK; Matplotlib; SciPy; Matlab; … Main Fields: –
two loop amplitudes Software Authors: Bourjaily, Jacob L.; Trnka, Jaroslav Cited in: 25 Publications (2015–2021) Related Software: positroids; BlackHat; CutTools; SageMath; SAMURAI; HyperInt; … Main Fields: Combinatorics (05-XX); Differential geometry (53-XX); Mechanics of particles and systems (70-XX)
BIGEBRA Software Authors: Abłamowicz, Rafał; Fauser, Bertfried Cited in: 21 Publications (1994–2022) Related Software: CLIFFORD; Maple; CLICAL; Cliplus; Clifford Multivector Toolbox; Garamon; … Main Fields: –
CP-logic Software Authors: Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice Cited in: 19 Publications (2009–2022) Related Software: ProbLog; PITA; PRISM; MCINTYRE; BLOG; XSB; … Main Fields: (68N17-XX); (68T27-XX)
Delphin Software Authors: Schürmann, C., Fontana, R., Liao, Y., Poswolsky, A. Cited in: 17 Publications (2003–2020) Related Software: Twelf; Coq; Beluga; Abella; Isabelle/HOL; Isabelle; … Main Fields: –
MBase Software Authors: Franke, Andreas; Kohlhase, Michael Cited in: 17 Publications (1999–2006) Related Software: TPS; OMEGA; Nuprl; Coq; OMDoc; TRAMP; … Main Fields: (68T35-XX); (68T15-XX)
PANACEA Software Authors: Ramakrishnan, K.G.; Mitra, D. Cited in: 16 Publications (1982–2005) Related Software: FIDIL; GENTRAN; ALPAL Main Fields: –
Atlas of Lie Groups Software Authors: Noël, Alfred G. Cited in: 15 Publications (2008–2022) Related Software: Mathematica Main Fields: (22-04-XX); (22E47-XX)
MEBN Software Authors: Laskey, Kathryn Blackmond Cited in: 11 Publications (2008–2018) Related Software: BLOG; PR-OWL; IBAL; PRISM; BayesOWL; BUGS; … Main Fields: (68T30-XX); (68T37-XX)
Susyno Software Authors: Renato M. Fonseca Cited in: 14 Publications (2012–2021) Related Software: LieART; SARAH; Mathematica; LiE; Spheno; FeynArts; … Main Fields: –
DRAGON Software Authors: Mauri, Andrea; Consonni, Viviana; Pavan, Manuela; Todeschini, Roberto; Kode srl; Talete SRL Cited in: 12 Publications (2006–2019) Related Software: HyperChem; OCHEM; MOPAC; STATISTICA; PubChem PUG; KNIME; … Main Fields: (92E10-XX); (92-04-XX); (92-08-XX)
MathCheck Software Authors: Bright, Curtis; Ganesh, Vijay; Heinle, Albert; Kotsireas, Ilias; Nejati, Saeed; Czarnecki, Krzysztof; Zulkoski, Edward Cited in: 13 Publications (2015–2021) Related Software: Lynx; Maple; FFTW; nsoks; Mathematica; SageMath; … Main Fields: (03B35-XX); (68T15-XX)
LFLC 2000 Software Authors: IRAFM Cited in: 12 Publications (2004–2021) Related Software: ETPS; ANFIS; TSDL; TDSL; ConceptNet Main Fields: –
PyCox Software Authors: Geck, Meinolf Cited in: 11 Publications (2012–2020) Related Software: CHEVIE; GAP; SageMath; Coxeter; Python Main Fields: (20C40-XX); (20C08-XX); (20F55-XX)
AREP Software Authors: Sebastian Egner; Markus Püschel Cited in: 8 Publications (1999–2008) Related Software: SPIRAL; GAP; FFTW; ATLAS Main Fields: (20C40-XX); (20C15-XX); (43A65-XX)
central-group-frames Software Authors: Iverson, Joseph W.; Jasper, John; Mixon, Dustin G. Cited in: 9 Publications (2018–2022) Related Software: GAP; Magma; GitHub; FUtil; SageMath; FinInG Main Fields: (05B10-XX); (05B25-XX); (42C15-XX)
EAGLE Software Authors: Toumi, Alexis; Gutierrez, Julian; Wooldridge, Michael Cited in: 9 Publications (2015–2021) Related Software: MCMAS; MOCHA; PRISM-games; MCMAS-SLK; PRISM; PRALINE; … Main Fields: (68Qxx-XX)
L2WPMA Software Authors: Ioannis C. Demetriou Cited in: 8 Publications (2002–2022) Related Software: FITPACK; Sheppack; QSHEP5D; CSHEP2D; TSHEP2D; QSHEP3D; … Main Fields: (82-08-XX); (82D75-XX); (35K57-XX)
ModularGraphForms Software Authors: Jan E. Gerken Cited in: 8 Publications (2020–2021) Related Software: Mathematica; PSS Main Fields: –
SPARC Software Authors: Ghosh, Swarnava; Suryanarayana, Phanish Cited in: 9 Publications (2017–2023) Related Software: PETSc; CheFSI; ABINIT; LAPACK; MPI; Quantum Espresso; … Main Fields: (78A30-XX); (81V70-XX); (65Y05-XX)
ALM Software Authors: Daniela Inclezan, Michael Gelfond Cited in: 8 Publications (2012–2020) Related Software: PEORL; VerbNet; CCalc; BWIBots; StanfordCoreNLP; PDDL; … Main Fields: –
PERMS Software Authors: Fiedler, Bernd Cited in: 7 Publications (1997–2007) Related Software: Mathematica; Ricci; SYMMETRICA; MathTensor Main Fields: –
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: (68T15-XX); (68W32-XX)
ALOHA Software Authors: P. de Aquino, W. Link, F. Maltoni, O. Mattelaer, T. Stelzer Cited in: 5 Publications (2013–2020) Related Software: MadGraph5_aMC@NLO; MadGraph; FeynRules; HELAS; GoSam; CutTools; … Main Fields: (90B18-XX); (60F10-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: –
Affine Software Authors: Anton Nazarov Cited in: 4 Publications (2012–2019) Related Software: Mathematica; LiE; Affine.m; LieART; GAP; Sym2Int; … Main Fields: –
Kara Software Authors: Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits Cited in: 3 Publications (2012–2019) Related Software: ASPIDE; SeaLion; ASPVIZ; APE; iGROM; onlineSPARC; … Main Fields: –
RKHS Software Authors: Kupresanin, Ana; Shin, Hyejin; King, David; Eubank, R.L. Cited in: 5 Publications (2010–2020) Related Software: fda (R); R; Matlab Main Fields: (62H30-XX); (62M99-XX)
SchurRings Software Authors: Raicu, C.; Stillman, Michael E. Cited in: 5 Publications (2014–2022) Related Software: Macaulay2; Bertini; SLA; alphaCertified; GAP; PieriMaps; … Main Fields: –
VERIFAS Software Authors: Yuliang Li, Alin Deutsch, Victor Vianu Cited in: 4 Publications (2019–2021) Related Software: Cubicle; Mcmt; Booster; SAFARI; ASASP; Yices; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
FoldingNet Software Authors: Yaoqing Yang, Chen Feng, Yiru Shen, Dong Tian Cited in: 3 Publications (2019–2022) Related Software: PointNet; D-Faust; COMA; Adam; PyTorch; AtlasNet; … Main Fields: –
Groebner_Bases Software Authors: Fabian Immler; Alexander Maletzky Cited in: 4 Publications (2017–2019) Related Software: Polynomials; Isabelle/HOL; Deep_Learning; Jordan Normal Forms; HOL; Isabelle; … Main Fields: –
MasterPVA Software Authors: Matteo Casati, Daniele Valeri Cited in: 3 Publications (2017–2018) Related Software: WAlg; Mathematica; CDE; CDIFF; MasterPVAmulti; Lambda; … Main Fields: –
PROLEG Software Authors: Satoh, K., Asai, K., Kogawa, T., Kubota, M., Nakamura, M., Nishigai, Y., Shirakawa, K., Takano, C. Cited in: 3 Publications (2012–2020) Related Software: SCIFF; Potassco; ASPIDE Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Torsche Software Authors: Roman Čapek; Zdeněk Hanzálek; Přemysl Šůcha; Michal Sojka Cited in: 3 Publications (2010–2012) Related Software: TrueTime; MaRTE OS; Ptolemy; ATPDraw; EJS; LEKIN; … Main Fields: (90-04-XX); (90Cxx-XX); (65Kxx-XX)
Affine.m Software Authors: Nazarov, Anton Cited in: 3 Publications (2012–2019) Related Software: Affine; Mathematica; LambdaTensor; SF; coxeter; LiE Main Fields: (17-04-XX); (17-08-XX); (17B10-XX)
Algorithm 992 Software Authors: Róth, Ágoston Cited in: 3 Publications (2019–2022) Related Software: OpenGL; GLEW; BPOLY Main Fields: Numerical analysis (65-XX)
copBasic Software Authors: William Asquith Cited in: 3 Publications (2019–2021) Related Software: gcmr; copula; copula; astsa; CopulaModel; tscount; … Main Fields: –
DeePMD-kit Software Authors: Han Wang, Linfeng Zhang, Jiequn Han, Weinan E Cited in: 1 Publication (2021) Related Software: TensorFlow; Adam; Slurm; dpdata; AiiDA; GAUSSIAN; … Main Fields: –
femshape Software Authors: Benn, J., Marsland, S., McLachlan, R.I., Modin, K., Verdier, O. Cited in: 3 Publications (2019–2022) Related Software: HANSO; DOLFIN; Deformetrica; GitHub; FEniCS Main Fields: –
IntHaar Software Authors: Alejandro Ginory, Jongwon Kim Cited in: 1 Publication (2021) Related Software: IntU; SF; Maple; Mathematica; Python; RTNI Main Fields: –
Ivor Software Authors: Brady, Edwin Cited in: 3 Publications (2007–2010) Related Software: Agda; Haskell; CLEAN; Coq; GUM; Links; … Main Fields: –
PLM Software Authors: Daniel Kirchner Cited in: 3 Publications (2020) Related Software: Isabelle/HOL; LogiKEy; LegalRuleML; embed_modal; Leo-III; Lean; … Main Fields: –
ReHaG Software Authors: Ciaramella, G.; Borzì, A. Cited in: 3 Publications (2015–2021) Related Software: SKRYN; LONE; Matlab; Maple Main Fields: (81-04-XX); (81S22-XX); (81Q93-XX)
SKRYN Software Authors: Ciaramella, G.; Borzì, A. Cited in: 3 Publications (2015–2021) Related Software: ReHaG; LONE; Matlab; Maple Main Fields: (81-04-XX); (81S22-XX); (81Q93-XX)
ActuarialOrthogonalPolynomials Software Authors: Goffard, Pierre-Olivier; Laub, Patrick J. Cited in: 2 Publications (2020–2022) Related Software: LaguerrePol; GitHub Main Fields: Special functions (33-XX); Approximations and expansions (41-XX); Probability theory and stochastic processes (60-XX)
AGL-Score Software Authors: D. Nguyen; G.-W. Wei Cited in: 2 Publications (2021) Related Software: TopologyNet; DioDe; HERMES; CliqueTop; DIPHA; Ripser; … Main Fields: –
ASPIRE Software Authors: princeton Cited in: 2 Publications (2019–2020) Related Software: EMPIAR; Chimera Main Fields: –
BALM-II Software Authors: Castagnetti, G., Piccolo, M., Villa, T. Cited in: 2 Publications (2015–2020) Related Software: MVSIS Main Fields: –
BioGrapher Software Authors: Viswanathan, Rama; Liang, Sijia; Yang, Yang; Jungck, John R. Cited in: 2 Publications (2015–2016) Related Software: JavaBENZER; Excel; VBA; Visual Basic; Graphviz Main Fields: (05-04-XX); (05C90-XX); (68R10-XX)
BRAPH Software Authors: – Cited in: 1 Publication (2020) Related Software: Brain Connectivity Toolbox; BASCO; GTG; BrainNet Viewer; eConnectome; CONN; … Main Fields: Computer science (68-XX)
Celf Software Authors: Schack-Nielsen, Anders; Schürmann, Carsten Cited in: 2 Publications (2008–2018) Related Software: Twelf Main Fields: (68Q85-XX); (68N99-XX); (68T15-XX)
CHANDRAS Software Authors: Jablonski, A. Cited in: 2 Publications (2013–2015) Related Software: CHANDRAS_MIX Main Fields: –
CLF Software Authors: Watkins, Kevin; Cervesato, Iliano; Pfenning, Frank; Walker, David Cited in: 2 Publications (2007–2018) Related Software: Nominal Isabelle; Agda; Abella; Isabelle/HOL Main Fields: (03B70-XX); (68Q85-XX)
DP2PN2Solver Software Authors: Mauch, Holger Cited in: 2 Publications (2006–2007) Related Software: PNML Main Fields: (90C34-XX); (49L20-XX)
ElAM Software Authors: Marmier, Arnaud; Lethbridge, Zoe A.D.; Walton, Richard I.; Smith, Christopher W.; Parker, Stephen C.; Evans, Kenneth E. Cited in: 2 Publications (2010–2018) Related Software: Matlab; ELATE Main Fields: Mechanics of deformable solids (74-XX)
GTPack Software Authors: Geilhufe, M.; Hergert, W. Cited in: 1 Publication (2018) Related Software: Vis5D; FINDSYM; Avogadro; XCrySDen; Wannier90; Mathematica Main Fields: –
HYPERSOLVER Software Authors: Pakkan, M\"ujdat; Akman, Varol Cited in: 1 Publication (1995) Related Software: – Main Fields: (03E70-XX); (03-04-XX); (68T27-XX)
Incredible Proof Machine Software Authors: Joachim Breitner; Denis Lohner Cited in: 2 Publications (2016–2018) Related Software: Isabelle/HOL; FOL_Harrison; Propositional Resolution; Abstract Soundness; Verified Prover; Lambda Free RPOs; … Main Fields: –
KILLING Software Authors: E.S. Bernardes Cited in: 2 Publications (2000–2018) Related Software: LiE; Z; CHomP; Mod-p group cohomology; QuillenSuslin; REPSN; … Main Fields: (68W10-XX); (17B99-XX)
MCBC Software Authors: Shizgal, Bernie D.; Dridi, Raouf Cited in: 2 Publications (2010–2015) Related Software: OPQ; KINPACK; Maple Main Fields: (82-04-XX); (82-08-XX); (82C70-XX)
ONEOptimal Software Authors: Miao Qian; Hu Xiao-Rui; Chen Yong Cited in: 2 Publications (2017–2021) Related Software: One Optimal System Main Fields: –
Ons Software Authors: Venhoek, David; Moerman, Joshua; Rot, Jurriaan Cited in: 2 Publications (2018–2022) Related Software: LOIS; z3 Main Fields: –
RGCNN Software Authors: Gusi Te, Wei Hu, Zongming Guo, Amin Zheng Cited in: 1 Publication (2022) Related Software: PointNet; ScanNet; Cityscapes; PointSIFT; InteriorNet; VoxNet; … Main Fields: –
SLnEquivariantMatrices Software Authors: Ada Boralevi, Daniele Faenzi, Paolo Lella Cited in: 1 Publication (2022) Related Software: Macaulay2 Main Fields: –
Akord Software Authors: Afanas’ev, K.E.; Korotkov, G.G.; Dolaev, R.R. Cited in: 1 Publication (2000) Related Software: – Main Fields: –
Algorithm 938 Software Authors: Gunther, John C. Cited in: 1 Publication (2014) Related Software: – Main Fields: (68P05-XX)
Boltztrap Software Authors: Georg K. H. Madsen, David J. Singh Cited in: 1 Publication (2006) Related Software: WIEN2k Main Fields: (82-08-XX)
DASACT Software Authors: Domenach, Florent; Tayari, Ali Cited in: 1 Publication (2016) Related Software: PAUP*; PHYLIP Main Fields: Biology and other natural sciences (92-XX)
dle Software Authors: Skretting, K. Cited in: 1 Publication (2020) Related Software: Matlab Main Fields: –
DMTDHF Software Authors: Zhang, Bin; Yuan, Jianmin; Zhao, Zengxiu Cited in: 1 Publication (2015) Related Software: SLIMP; Associated Legendre Functions; OCTOPUS; GAMESS; LAPACK; ALTDSE Main Fields: (82-04-XX); (82C80-XX); (82C10-XX)
fixedTimeEvents Software Authors: Kristian Hovde Liland, Lars Snipen Cited in: 0 Publications Related Software: R; SoftwareX Main Fields: –
FSMT Software Authors: Duan, W.; Zhou, J.; Lai, K. Cited in: 1 Publication (1993) Related Software: – Main Fields: (68U07-XX)
Game_Based_Crypto Software Authors: Andreas Lochbihler, S. Reza Sefidgar, Bhargav Bhatt Cited in: 1 Publication (2020) Related Software: MFMC_Countable; Probabilistic_While; Archive Formal Proofs; CryptHOL; Zoo Probabilistic Systems; F*; … Main Fields: –
GLSV Software Authors: S. Martín, J. Suárez, R. Orea, R. Rubio, R. Gallego Cited in: 0 Publications Related Software: OpenGL Main Fields: –
GoGP Software Authors: Trung Le, Khanh Nguyen, Vu Nguyen, Tu Dinh Nguyen, Dinh Phung Cited in: 1 Publication (2017) Related Software: Forgetron; Pegasos; LIBSVM Main Fields: –
GraphBacktracking Software Authors: Jefferson, Christopher; Pfeiffer, Markus; Wilson, Wilf A.; Waldecker, Rebecca Cited in: 1 Publication (2021) Related Software: bliss; BacktrackKit; PrimGrp; TransGrp; Digraphs; Traces; … Main Fields: Group theory and generalizations (20-XX); Associative rings and algebras (16-XX)
MagneticTB Software Authors: Zeying Zhang, Zhi-Ming Yu, Gui-Bin Liu, Yugui Yao Cited in: 0 Publications Related Software: PythTB; Z2pack; ISOTROPY; SpaceGroupIrep; WannierTools; Qsymm; … Main Fields: –
Pathomic Fusion Software Authors: Richard J. Chen, Ming Y. Lu, Jingwen Wang, Drew F. K. Williamson, Scott J. Rodig, Neal I. Lindeman, Faisal Mahmood Cited in: 1 Publication (2021) Related Software: pyjive; Grad-CAM; Microscope; GitHub; ImageNet; PyTorch; … Main Fields: –
STRATIFY Software Authors: Bayer, Thomas Cited in: 1 Publication (2006) Related Software: – Main Fields: (13-02-XX); (22-02-XX); (13P10-XX)
SyReNN Software Authors: Sotoudeh, Matthew; Thakur, Aditya V. Cited in: 1 Publication (2021) Related Software: FastGRNN; Shiftry; gRPC; AI2; DL2; ERAN; … Main Fields: (68T07-XX)
UnstableManifoldCompactMap Software Authors: Mireles-James, J.D. Cited in: 1 Publication (2017) Related Software: INTLAB; Matlab Main Fields: –
VMlambda Software Authors: Sumii, Eijiro; Bannai, Hideo Cited in: 1 Publication (2003) Related Software: Camlp4; OCaml Main Fields: (68N15-XX); (68N18-XX)
VST Software Authors: Center for Electric Power Engineering (CEPE) Cited in: 1 Publication (2016) Related Software: – Main Fields: –