×

Found 86 Software Packages (Results 1–86)

LISP

Software Authors:   McCarthy, John
Cited in: 111 Publications (1960–2020)
Related Software: ACL2; NQTHM; Haskell; ML; Coq; REDUCE; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

BlackHat

Software Authors:   C. F. Berger, Z. Bern, L. J. Dixon, F. Febres Cordero, D. Forde, H. Ita, D. A. Kosower, D. Maître
Cited in: 73 Publications (2009–2021)
Related Software: CutTools; SAMURAI; Golem95; GoSam; HELAC-1LOOP; PHEGAS; …
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)

Isabelle/ZF

Software Authors:   Lawrence C. Paulson
Cited in: 63 Publications (1993–2021)
Related Software: Isabelle; Coq; Isabelle/HOL; HOL; Mizar; ML; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX)

GraphLog

Software Authors:   Consens, M.; Mendelzon
Cited in: 32 Publications (1990–2022)
Related Software: XPath; SPARQL; Lorel; Datalog; nSPARQL; DLV2; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Associative rings and algebras (16-XX)

Jets

Software Authors:   H. Baran, M. Marvan
Cited in: 30 Publications (2014–2022)
Related Software: CDE; Cadabra; DESOLV; GitHub; WAlg; MasterPVA; …
Main Fields: Nonassociative rings and algebras (17-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

PDERecursionOperator

Software Authors:   Baldwin, D.; Hereman, W.; Sayers, J.
Cited in: 28 Publications (2005–2021)
Related Software: PainleveTest; Maple; PDESpecialSolutions; ConservationLawsMD; Mathematica; GeM; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

AS 197

Software Authors:   Mélard, G.
Cited in: 27 Publications (1984–2012)
Related Software: AS 154; expsmooth; SparseM; Forecast; forecast; itsmr; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Autograd

Software Authors:   Dougal Maclaurin; David Duvenaud; Matt Johnson
Cited in: 18 Publications (2017–2022)
Related Software: TensorFlow; PyTorch; Python; Theano; SciPy; NumPy; …
Main Fields: Category theory; homological algebra (18-XX); Statistics (62-XX); Numerical analysis (65-XX)

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)

CoulombHiggs

Software Authors:   Manschot, Jan; Pioline, Boris; Sen, Ashoke
Cited in: 23 Publications (2013–2022)
Related Software: SageMath; Mathematica
Main Fields: Algebraic geometry (14-XX); Associative rings and algebras (16-XX); Dynamical systems and ergodic theory (37-XX)

Spacer

Software Authors:   Komuravelli, Anvesh; Gurfinkel, Arie; Chaki, Sagar
Cited in: 18 Publications (2015–2022)
Related Software: z3; Yices; HMC; Princess; Mjollnir; Boogie; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-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: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Sisal

Software Authors:   James McGraw et al.
Cited in: 13 Publications (1988–2010)
Related Software: Cilk; Eden; Lucid; Haskell; Miranda; CapoOne; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

AutomGrp

Software Authors:   Yevgen Muntyan, Dmytro Savchuk
Cited in: 15 Publications (2008–2022)
Related Software: FR; GAP; automata
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX)

BenderWu

Software Authors:   T. Sulejmanpasic, M. Ünsal
Cited in: 13 Publications (2016–2021)
Related Software: BWDifference; Mathematica; DLMF
Main Fields: Algebraic geometry (14-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

PainleveTest

Software Authors:   Baldwin, D.; Hereman, W.; Sayers, J.
Cited in: 13 Publications (2005–2022)
Related Software: PDERecursionOperator; WKPtest; Mathematica; ConservationLawsMD; Maple; PDESpecialSolutions; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

SCASY

Software Authors:   Granat, Robert; Jonsson, Isak; Kågström, Bo
Cited in: 12 Publications (2009–2020)
Related Software: ScaLAPACK; Algorithm 432; LAPACK; mctoolbox; recsy; BLAS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

ACE

Software Authors:   Le Métayer, D.
Cited in: 9 Publications (1991–2022)
Related Software: PURRS; OCaml; Coq; HOL; Isabelle/HOL; Isabelle; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

Athena

Software Authors:   Konstantine Arkoudas
Cited in: 10 Publications (2004–2017)
Related Software: HE-E1GODF; Athena; CASTRO; Maude; CafeOBJ; SPASS; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)

UnQL

Software Authors:   Peter Buneman, Mary Fernandez, Dan Suciu
Cited in: 10 Publications (2006–2018)
Related Software: XPath; XQuery; XDuce; CDuce; Quilt; MongoDB; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Algorithm 781

Software Authors:   Breinholt, Greg; Schierz, Christoph
Cited in: 5 Publications (1998–2021)
Related Software: SFCGen; JenaLib; GenMAPP; TSPLIB
Main Fields: Real functions (26-XX); Numerical analysis (65-XX); Computer science (68-XX)

SMACK

Software Authors:   Carter, M., He, S., Whitaker, J., Rakamarić, Z., Emmi, M.
Cited in: 7 Publications (2016–2021)
Related Software: KLEE; CBMC; CPAchecker; SeaHorn; UFO; LLVM; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

AoPA

Software Authors:   Mu, Shin-Cheng; Ko, Hsiang-Shang; Jansson, Patrik
Cited in: 8 Publications (2009–2017)
Related Software: Agda; Coq; Idris; Haskell; Cayenne; Irdis; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

CodeQuest

Software Authors:   Hajiyev, Elnar; Verbaere, Mathieu; De Moor, Oege
Cited in: 4 Publications (2007–2013)
Related Software: AspectJ; JHotDraw; XSB; Mondrian; Checkstyle; IntensiVE; …
Main Fields: Computer science (68-XX)

CryptHOL

Software Authors:   Basin, D., Lochbihler, A., Sefidgar, S.R.
Cited in: 8 Publications (2017–2022)
Related Software: Isabelle/HOL; Archive Formal Proofs; HOL; EasyCrypt; Isabelle; Lifting; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

evt

Software Authors:   Lars–Åke Fredlund; Dilian Gurov; Thomas Noll; Mads Dam; Thomas Arts; Gennady Chugunov
Cited in: 6 Publications (2001–2021)
Related Software: Erlang; Isabelle; Coq; Java-MaC; InterAspect; AspectWerkz; …
Main Fields: Computer science (68-XX)

Quartets MaxCut

Software Authors:   Snir, S., Rao, S.
Cited in: 8 Publications (2011–2022)
Related Software: FastTree; ASTRAL-II; BEAST; RAxML; MrBayes; NINJA; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)

recsy

Software Authors:   Granat, Robert; Jonsson, Isak; Kågström, Bo
Cited in: 8 Publications (2004–2022)
Related Software: mctoolbox; BLAS; GEMM; ScaLAPACK; SCASY; Algorithm 432; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

coFJ

Software Authors:   Ancona, D., Zucca, E.
Cited in: 6 Publications (2015–2022)
Related Software: CoCaml; Paco; Featherweight Java; CoALP; Coq; K Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

LNgen

Software Authors:   Aydemir, B.E., Weirich, S.
Cited in: 7 Publications (2011–2021)
Related Software: PoplMark; Isabelle/HOL; Nominal Isabelle; Abella; Twelf; Beluga; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

C-SHORe

Software Authors:   Broadbent, Christopher; Carayol, Arnaud; Hague, Matthew; Serre, Olivier
Cited in: 6 Publications (2013–2017)
Related Software: AProVE; Timbuk; MoCHi; HOMER; GTRECS2; HECTOR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Equations

Software Authors:   Sozeau, Matthieu
Cited in: 6 Publications (2010–2020)
Related Software: Coq; Idris; Lean; Irdis; GitHub; AmiCo; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic topology (55-XX); Computer science (68-XX)

IDRStab

Software Authors:   Aihara, Kensuke; Abe, Kuniyoshi; Ishiwata, Emiko
Cited in: 6 Publications (2014–2022)
Related Software: BiCGstab; SparseMatrix; CGS; krylov-adr; Eigen; COMSOL; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Systems theory; control (93-XX)

RECFMM

Software Authors:   Zhang, Bo; Huang, Jingfang; Pitsianis, Nikos P.; Sun, Xiaobai
Cited in: 6 Publications (2016–2020)
Related Software: DASHMM; ScalFMM; Chebfun; PAFMPB; HOT; DL_MONTE; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

Refinement Monadic

Software Authors:   Peter Lammich
Cited in: 6 Publications (2014–2019)
Related Software: Archive Formal Proofs; Isabelle/HOL; Gabow SCC; Isabelle; HOL; Collections; …
Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

SFCGen

Software Authors:   Jin, Guohua; Mellor-Crummey, John
Cited in: 5 Publications (2005–2016)
Related Software: Algorithm 781; AMRCLAW; Intel TBB; Peano; GEOCLAW; METIS; …
Main Fields: Number theory (11-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

CDIFF

Software Authors:   Vitolo, R
Cited in: 5 Publications (2012–2018)
Related Software: REDUCE; MasterPVA; CDE; WAlg; Jets; SPDE; …
Main Fields: Nonassociative rings and algebras (17-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

Crowfoot

Software Authors:   Charlton, Nathaniel; Horsfall, Ben; Reus, Bernhard
Cited in: 5 Publications (2011–2015)
Related Software: Smallfoot; VeriFast; jStar; HIP; Ynot; CFML; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FinFuns

Software Authors:   Lochbihler, Andreas
Cited in: 5 Publications (2009–2017)
Related Software: Isabelle/HOL; Isabelle; HOL; Archive Formal Proofs; Nominal Isabelle; Jinja Threads; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX)

LambertW

Software Authors:   Darko Veberic
Cited in: 5 Publications (2013–2021)
Related Software: LAMBERTW; LambertW; Algorithm 443; lamW; ARPREC; DLMF; …
Main Fields: Functions of a complex variable (30-XX); Special functions (33-XX); Statistics (62-XX)

RECAL

Software Authors:   Conway, A. E.; Georganas, N. D.
Cited in: 5 Publications (1986–2020)
Related Software:
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SAFKASI

Software Authors:   D.S. Wallach, A.W. Appel, E.W. Felten
Cited in: 3 Publications (2005–2015)
Related Software: PRISM; JFlow; Binder; Haskell; ML
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SU3CGVCS

Software Authors:   Bahri, C.; Rowe, D.J.; Draayer, J.P.
Cited in: 5 Publications (2004–2021)
Related Software:
Main Fields: Group theory and generalizations (20-XX); Topological groups, Lie groups (22-XX); Special functions (33-XX)

TravMC2

Software Authors:   Robin P. Neatherway , C.-H. Luke Ong
Cited in: 5 Publications (2016–2020)
Related Software: HorSatP; HMC; z3; ByMC; GitHub; MoCHi; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Associated Legendre Functions

Software Authors:   Schneider, Barry I.; Segura, Javier; Gil, Amparo; Guan, Xiaoxu; Bartschat, Klaus
Cited in: 4 Publications (2010–2018)
Related Software: DLMF; scattnlay; SLIMP; DMTDHF; OCTOPUS; GAMESS; …
Main Fields: Combinatorics (05-XX); Special functions (33-XX); Ordinary differential equations (34-XX)

MuTACLP

Software Authors:   Mancarella, Paolo; Nerbini, Gianluca; Raffaet\`a, Alessandra; Turini, Franco
Cited in: 3 Publications (2000–2014)
Related Software: Esterel; SMT-LIB; SICStus
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

FocusCheck

Software Authors:   Keller, Curtis W.; Saha, Diptikalyan; Basu, Samik; Smolka, Scott A.
Cited in: 2 Publications (2005–2006)
Related Software: SatAbs; Oz; DiVer; CIL; MOPS; CBMC; …
Main Fields: Computer science (68-XX)

LAWRA

Software Authors:   Andersen, B. S.; Gustavson, F.; Karaivanov, A.; Wa\'sniewski, J.; Yalamov, P. Y.
Cited in: 3 Publications (1999–2016)
Related Software: LAPACK; KBLAS; MAGMA; CUBLAS; PARASOL; PARASPAR; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

OptiX

Software Authors:   NVIDIA; Steven G. Parker, James Bigler, Andreas Dietrich, Heiko Friedrich, Jared Hoberock, David Luebke, David Mcallister, Morgan Mcguire, Keith Morley, Austin Robison, Martin Stich
Cited in: 2 Publications (2014–2018)
Related Software: Exposure Render; 3D Slicer; ITK; OWL; ExaBrick; CalVR; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)

Pycket

Software Authors:   Bauman, Spenser; Bolz, Carl Friedrich; Hirschfeld, Robert; Kirilichev, Vasily; Pape, Tobias; Siek, Jeremy G.; Tobin-Hochstadt, Sam
Cited in: 2 Publications (2015–2019)
Related Software: JavaScript; RPython; GraalVM; PyPy; pike; Kotlin; …
Main Fields: Computer science (68-XX)

ReLAPACK

Software Authors:   Elmar Peise; Paolo Bientinesi
Cited in: 2 Publications (2017–2020)
Related Software: QUARK; libflame; Algorithm 679; LAPACK; OpenBLAS; LINPACK; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

SU3

Software Authors:   Kaeding, Thomas A.; Williams, H.Thomas
Cited in: 3 Publications (1996–2008)
Related Software: SU3Clebsch; LaTeX
Main Fields: Topological groups, Lie groups (22-XX); Quantum theory (81-XX)

XMR

Software Authors:   Willems, Paul R.; Lang, Bruno
Cited in: 3 Publications (2013–2018)
Related Software: LAPACK; OpenBLAS; EISPACK; ScaLAPACK; Algorithm 977; Matlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

AMP4HEF

Software Authors:   Bury, M.; van Hameren, A.
Cited in: 2 Publications (2015–2017)
Related Software: LaTeX; HELAC-1LOOP; carlomat; WHIZARD; BlackHat; HELAC; …
Main Fields: Quantum theory (81-XX)

ExactKS2SidedOneSample

Software Authors:   J. Brown; Milton Harvey
Cited in: 1 Publication (2016)
Related Software: KS1SidedOneSample; TIMP; Maple; Mathematica; k.c; R
Main Fields: Statistics (62-XX)

GenX

Software Authors:   Björck M, Andersson G
Cited in: 0 Publications
Related Software: Motofit; XSPEC; REFLEX; IMD; Python; DarpanX; …
Main Fields:

HELAC-Onia

Software Authors:   Shao, Hua-Sheng
Cited in: 2 Publications (2013–2015)
Related Software: BCVEGPY; HELAC; VEGAS; PHEGAS
Main Fields: Quantum theory (81-XX)

HPMPC

Software Authors:   Gianluca Frison
Cited in: 2 Publications (2018)
Related Software: treeQP; BLASFEO; FORCES NLP; blockSQP; GRAMPC; fast_mpc; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

HykSort

Software Authors:   H. Sundar, D. Malhotra, G. Biros
Cited in: 2 Publications (2016)
Related Software: ScalFMM; Algorithm 967; pvfmm; GADGET; p4est; PPM; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

icrf

Software Authors:   Cho, Hunyong; Jewell, Nicholas P.; Kosorok, Michael R.
Cited in: 2 Publications (2021–2022)
Related Software: icenReg; RECPAM; CRAN; SVRc; bench; ICcforest; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

IdCoefs

Software Authors:   Abney M
Cited in: 1 Publication (2020)
Related Software: PedKin; XIBD; Pedig; ribd; kinship2; R
Main Fields: Biology and other natural sciences (92-XX)

JET

Software Authors:   Meshkov, A. G.
Cited in: 2 Publications (2002–2008)
Related Software: Maple
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

MM90

Software Authors:   Michalakes, J.
Cited in: 2 Publications (1997–2000)
Related Software: RSL; PETSc; MM5
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

Motofit

Software Authors:   Nelson A
Cited in: 0 Publications
Related Software: GenX; XSPEC; REFLEX; IMD; Python; DarpanX; …
Main Fields:

Myia

Software Authors:   Olivier Breuleux; Bart van Merriënboer
Cited in: 0 Publications
Related Software: Python; Tangent; Chainer; DyNet; MacroPy; Lantern; …
Main Fields:

NanoNET

Software Authors:   M. V. Klymenko, J. A. Vaitkus, J. S. Smith, J. H. Cole
Cited in: 0 Publications
Related Software: Kwant; PythTB; Z2pack; ISOTROPY; SpaceGroupIrep; WannierTools; …
Main Fields:

TravMC

Software Authors:   Neatherway, Robin P.; Ramsay, Steven J.; Ong, Chih-Hao Luke
Cited in: 2 Publications (2012–2017)
Related Software: GitHub; MoCHi; TravMC2; TRecS; BLAST
Main Fields: Computer science (68-XX)

TRecS

Software Authors:   Kobayashi, N.
Cited in: 2 Publications (2012)
Related Software: TravMC; BLAST; THORS; EigenCFA
Main Fields: Computer science (68-XX)

turboTDDFT 2.0

Software Authors:   Ge, Xiaochuan; Binnie, Simon J.; Rocca, Dario; Gebauer, Ralph; Baroni, Stefano
Cited in: 2 Publications (2014–2015)
Related Software: TurboEELS; Quantum Espresso; turboTDDFT; FFTW; LAPACK
Main Fields: Numerical analysis (65-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)

YATL

Software Authors:   Cluet, S., Siméon, J.
Cited in: 2 Publications (2003–2004)
Related Software: XDuce; OCaml; Haskell; XPath
Main Fields: Computer science (68-XX)

BinaryBandit

Software Authors:   Jacko, P.
Cited in: 1 Publication (2022)
Related Software:
Main Fields: Statistics (62-XX)

Braga Method

Software Authors:   Larchey-Wendling, Dominique; Monin, Jean-François
Cited in: 1 Publication (2022)
Related Software: CompCert; OCaml; Coq
Main Fields: Mathematical logic and foundations (03-XX)

Cuneiform

Software Authors:   Brandt, Jörgen; Reisig, Wolfgang; Leser, Ulf
Cited in: 1 Publication (2017)
Related Software: PRMLT; Hive; Spark; Eden; Taverna; Hadoop; …
Main Fields: Computer science (68-XX)

DDERecursionOperator

Software Authors:   Göktaş, Ünal; Hereman, Willy
Cited in: 1 Publication (2011)
Related Software:
Main Fields: Ordinary differential equations (34-XX)

EDNF

Software Authors:   Khan, Ali A.; Al-A'Ali, Mansoor; Alam, Nigat R.
Cited in: 1 Publication (1994)
Related Software:
Main Fields: Computer science (68-XX)

gluepy

Software Authors:   Hironaka, Ken; Saito, Hideo; Takahashi, Kei; Taura, Kenjiro
Cited in: 0 Publications
Related Software:
Main Fields:

GTRECS2

Software Authors:   N. Kobayashi
Cited in: 1 Publication (2013)
Related Software: HOMER; HECTOR; C-SHORe; SLAM
Main Fields: Computer science (68-XX)

HR-SQL

Software Authors:   Nieva, Susana; Sáenz-Pérez, Fernando; Sánchez-Hernández, Jaime
Cited in: 1 Publication (2020)
Related Software: Oracle; Easychair
Main Fields: Computer science (68-XX)

loops2recursion

Software Authors:   Insa, D., Silva, J.
Cited in: 0 Publications
Related Software: JBuilder; JavaDD
Main Fields: Computer science (68-XX)

mHMMbayes

Software Authors:   Emmeke Aarts
Cited in: 1 Publication (2020)
Related Software: MHMM; seqHMM; LMest
Main Fields: Statistics (62-XX)

nanogal

Software Authors:   Hans-Georg Wenzel
Cited in: 1 Publication (2007)
Related Software: TRIPACK
Main Fields: Statistics (62-XX); Geophysics (86-XX)

Nominal2

Software Authors:   Christian Urban, Stefan Berghofer, Cezary Kaliszyk
Cited in: 1 Publication (2018)
Related Software: CakeML_Codegen; Haskell Show Class; Archive Formal Proofs; Pilsner; CakeML; HOL; …
Main Fields: Computer science (68-XX)

SINGINT

Software Authors:   Kauer, Nikolas
Cited in: 1 Publication (2003)
Related Software: DECUHR
Main Fields: Numerical analysis (65-XX)

STMC_U1MUCA

Software Authors:   Bazavov, Alexei; Berg, Bernd A.
Cited in: 1 Publication (2009)
Related Software:
Main Fields: Numerical analysis (65-XX); Quantum theory (81-XX)

THORS

Software Authors:   Lester, M.M., Neatherway, R.P., Ong, C.-H.L., Ramsay, S.J.
Cited in: 1 Publication (2012)
Related Software: TRecS; EigenCFA
Main Fields: Computer science (68-XX)

Polymul

Software Authors:   Ulf Ekström
Cited in: 0 Publications
Related Software:
Main Fields: