×

Found 278 Software Packages (Results 1–100)

Python

Software Authors:   Guido van Rossum
Referenced in: 1,028 Publications (1991–2023)
Related Software: SciPy; NumPy; Matplotlib; Scikit; Matlab; PyTorch; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

CGS

Software Authors:   Sonneveld, Peter
Referenced in: 329 Publications (1986–2022)
Related Software: BiCGstab; GpBiCg; na1; SparseMatrix; symrcm; Harwell-Boeing sparse matrix collection; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

gmp

Software Authors:   Granlund
Referenced in: 271 Publications (1995–2022)
Related Software: MPFR; NTL; PARI/GP; SageMath; Magma; Mathematica; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX)

CHEVIE

Software Authors:   Geck, Meinolf; Hiss, Gerhard; Lübeck, Frank; Malle, Gunter; Pfeiffer, Götz
Referenced in: 238 Publications (1994–2022)
Related Software: GAP; Magma; Maple; SageMath; Coxeter; SINGULAR; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX)

Twelf

Software Authors:   Twelf Project; Frank Pfenning; Carsten Schürmann
Referenced in: 167 Publications (1998–2022)
Related Software: Coq; Isabelle/HOL; Abella; Isabelle; Nuprl; Beluga; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)

ETPS

Software Authors:   Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
Referenced in: 156 Publications (1986–2022)
Related Software: TPS; Isabelle/HOL; HOL; Isabelle; Nuprl; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

LCF

Software Authors:   Milner, Robin
Referenced in: 155 Publications (1972–2022)
Related Software: Coq; ML; HOL; Isabelle; Nuprl; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Category theory; homological algebra (18-XX)

LOTOS

Software Authors:   Bolognesi, T., Brinksma, E.
Referenced in: 129 Publications (1988–2020)
Related Software: CADP; SPIN; Uppaal; Z; LOTOSphere; FDR2; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

CLAWPACK

Software Authors:   LeVeque, Randall J.
Referenced in: 137 Publications (1996–2022)
Related Software: AMRCLAW; Pyclaw; HE-E1GODF; PyWENO; SharpClaw; GEOCLAW; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

LEGO

Software Authors:   Luo, Z., Pollack, R.
Referenced in: 106 Publications (1991–2021)
Related Software: Coq; Nuprl; Automath; Isabelle; ML; HOL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

ILOG SCHEDULE

Software Authors:   Le Pape, C
Referenced in: 74 Publications (1996–2022)
Related Software: CPLEX; JOBSHOP; CHIP; Tabu search; CP Optimizer; PSPLIB; …
Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

TPS

Software Authors:   Andrews, Peter B.; Brown, Chad E.
Referenced in: 75 Publications (1990–2022)
Related Software: TPTP; ETPS; HOL; LEO-II; PVS; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

HLLC

Software Authors:   Tokareva, S.A.; Toro, E.F.
Referenced in: 72 Publications (2010–2022)
Related Software: HLLE; HE-E1GODF; AUSM; PVM; CATHARE; RIEMANN; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

PROGRES

Software Authors:   Münch, Manfred; Schürr, Andy; Winter, Andreas J.
Referenced in: 49 Publications (1994–2020)
Related Software: VIATRA2; AGG; Fujaba; SPIN; DIEGO; Graph transformation benchmarks; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

REVE

Software Authors:   Pierre Lescanne
Referenced in: 67 Publications (1984–2018)
Related Software: RRL; AProVE; Tyrolean; CiME; Coq; NQTHM; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

GpBiCg

Software Authors:   Fujino, Seiji; Zhang, Shao-Liang
Referenced in: 64 Publications (1997–2022)
Related Software: CGS; BiCGstab; SparseMatrix; CORS; BiCOR; ILUT; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

DeepONet

Software Authors:   Lu Lu, Pengzhan Jin, George Em Karniadakis
Referenced in: 59 Publications (2020–2022)
Related Software: Adam; PDE-Net; PyTorch; DeepXDE; DGM; FPINNs; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

DENFIS

Software Authors:   Kasabov NK, Song Q
Referenced in: 27 Publications (2004–2020)
Related Software: ANFIS; ElemStatLearn; UCI-ml; JStatCom; MPI; GenSoFNN; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

na1

Software Authors:   Brezinski, C.; Redivo Zaglia, M.; Sadok, H.
Referenced in: 55 Publications (1991–2021)
Related Software: CGS; na5; BiCGstab; Harwell-Boeing sparse matrix collection; Regularization tools; GpBiCg; …
Main Fields: History and biography (01-XX); Linear and multilinear algebra; matrix theory (15-XX); Approximations and expansions (41-XX)

diffgrob2

Software Authors:   Mansfield, E. L.
Referenced in: 53 Publications (1994–2021)
Related Software: SYMMGRP; SYMMGRP.MAX; Maple; CRACK; LIEPDE; LIE; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

Lean

Software Authors:   Microsoft; de Moura, Leonardo; Kong, Soonho; Avigad, Jeremy; van Doorn, Floris; von Raumer, Jakob
Referenced in: 53 Publications (2015–2022)
Related Software: Coq; Isabelle/HOL; Agda; HOL Light; Mizar; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Category theory; homological algebra (18-XX)

SIGNAL

Software Authors:   Nowak, David; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul
Referenced in: 48 Publications (1987–2018)
Related Software: Esterel; LUSTRE; Ptolemy; Simulink; Polychrony; StateFlow; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

CDuce

Software Authors:   Benzaken, Véronique; Castagna, Giuseppe; Frisch, Alain
Referenced in: 48 Publications (2003–2020)
Related Software: XDuce; XPath; XQuery; Haskell; OCaml; PiDuce; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PyFR

Software Authors:   Michael Klemm, Freddie Witherden, Peter Vincent
Referenced in: 47 Publications (2014–2022)
Related Software: Gmsh; Nektar++; PETSc; RODAS; OpenCL; Nek5000; …
Main Fields: Partial differential equations (35-XX); Functional analysis (46-XX); Numerical analysis (65-XX)

K Prover

Software Authors:   Roşu, Grigore et.al
Referenced in: 46 Publications (2007–2022)
Related Software: Maude; K tool; z3; JavaFAN; MMT; K-Java; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Modulef

Software Authors:   Bernadou, M.; Hassim, A.; Laug, P.; Steer, D.; Vidrascu, M.; Saltel, E.
Referenced in: 39 Publications (1985–2018)
Related Software: petsc4py; COFFEE; TSFC; Firedrake; Algorithm 884; UFL; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

pARMS

Software Authors:   Saad, Y.; Sosonkina, M.
Referenced in: 39 Publications (2002–2020)
Related Software: ARMS; ILUM; ILUT; PETSc; BILUTM; SparseMatrix; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

MR and LTV Synthesis Tools

Software Authors:   Pirie, Carol; Dullerud, Geir E.
Referenced in: 35 Publications (1999–2021)
Related Software: YALMIP; SeDuMi; LMI toolbox; Sostools; Matlab; Mosek; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Operations research, mathematical programming (90-XX)

Prodigy

Software Authors:   Carbonell, J., Blythe, J., Etzioni, O., Gil, Y., Joseph, R., Kahn, D., Knoblock, C., Minton, S., Pérez, M.A., Reilly, S., Veloso, M., Wang, X.
Referenced in: 24 Publications (1992–2019)
Related Software: UCPOP; Graphplan; KQML; Bliksem; Waldmeister; SPASS; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

rnorrexp

Software Authors:   George Marsaglia, Wai Wan Tsang
Referenced in: 30 Publications (1982–2022)
Related Software: Ziggurat; MersenneTwister; SFMT; GMRFLib; Matlab; Algorithm 712; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

GF

Software Authors:   Ranta, Aarne
Referenced in: 29 Publications (1999–2021)
Related Software: Mizar; Coq; Isar; Theorema; Haskell; KeY; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Pluto

Software Authors:   Mignone, A.; Bodo, G.; Massaglia, S.; Matsakos, T.; Tesileanu, O.; Zanni, C.; Ferrari, A.
Referenced in: 32 Publications (2007–2022)
Related Software: Athena; HLLE; RAMSES; NIRVANA; FLASH; ENZO; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

MOVCOL

Software Authors:   W. Huang; R. D. Russell
Referenced in: 33 Publications (1996–2019)
Related Software: DASSL; CWRESX; CWRESU; Algorithm 731; PDECOL; EPDCOL; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX)

ABS

Software Authors:   Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M.
Referenced in: 29 Publications (2012–2022)
Related Software: JCobox; SACO; Erlang; Creol; COSTABS; SPEED; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

PROMELA

Software Authors:   Natarajan, V.; Holzmann, Gerard J.
Referenced in: 29 Publications (1997–2018)
Related Software: SPIN; jSpin; ProB; Uppaal; Isabelle/HOL; Rodin; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

AILU

Software Authors:   Gander, Martin J.; Nataf, Frédéric
Referenced in: 27 Publications (2000–2022)
Related Software: clique; PSP; STRUMPACK; MUMPS; UMFPACK; CGS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Creol

Software Authors:   Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh
Referenced in: 25 Publications (2006–2022)
Related Software: Featherweight Java; ABCL; Maude; Multilisp; ABS; AmbientTalk; …
Main Fields: Computer science (68-XX)

CoCasl

Software Authors:   Mossakowski, Till; Roggenbach, Markus; Schröder, Lutz
Referenced 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)

NICAM

Software Authors:   Satoh M, Matsuno T, Tomita H, Miura H, Nasuno T, Iga S
Referenced in: 23 Publications (2008–2021)
Related Software: EULAG; MPDATA; chammp; ICON; DYNAMICO; Fim; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

BPKit

Software Authors:   Edmond Chow, Mike Heroux
Referenced in: 21 Publications (1997–2021)
Related Software: SparseMatrix; ILUM; ILUT; ARMS; ML; SPARSKIT; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Epigram

Software Authors:   McBride, Conor
Referenced in: 22 Publications (2005–2020)
Related Software: Coq; Agda; Haskell; LEGO; Irdis; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)

MESSI

Software Authors:   Mercedes Pérez Millán, Alicia Dickenstein
Referenced in: 22 Publications (2018–2022)
Related Software: REDLOG; QEPCAD; Maple; Binomials.m2; DAISY; Mathematica; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Ordinary differential equations (34-XX)

IRKC

Software Authors:   Shampine, L.F.; Sommeijer, B.P.; Verwer, J.G.
Referenced in: 21 Publications (2006–2022)
Related Software: RKC; RODAS; VODE; LSODA; SERK2v3; SERK2; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Volcano

Software Authors:   Graefe, G.
Referenced in: 6 Publications (2000–2018)
Related Software: DB2; POTENTIAL; IQ-Meter; LUBM; E Theorem Prover; SPARQL; …
Main Fields: Computer science (68-XX)

SCOTS

Software Authors:   Rungger, Matthias; Zamani, Majid
Referenced in: 19 Publications (2016–2022)
Related Software: PESSOA; CoSyma; TuLiP; ROCS; Sostools; pFaces; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Delphin

Software Authors:   Schürmann, C., Fontana, R., Liao, Y., Poswolsky, A.
Referenced 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)

K tool

Software Authors:   David Lazar, Andrei Arusoaie, Traian Florin Şerbǎnuţǎ, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Roşu
Referenced in: 16 Publications (2010–2021)
Related Software: K Prover; Maude; z3; K-Maude; MMT; PLT Redex; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Plastic

Software Authors:   Paul Callaghan
Referenced in: 17 Publications (2000–2014)
Related Software: Coq; LEGO; ALF; FraCaS; GF; Nuprl; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Amesos2

Software Authors:   Eric Bavier, Mark Hoemmen, Sivasankaran Rajamanickam, Heidi Thornquist
Referenced in: 16 Publications (2015–2022)
Related Software: Belos; Trilinos; MueLu; Kokkos; ML; CUDA; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

FLICA-OVAP

Software Authors:   –
Referenced in: 16 Publications (2011–2022)
Related Software: AUSM; HLLE; HE-E1GODF; CATHARE; L2Roe; AUSMPW+; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Racoon

Software Authors:   Jürgen Dreher; Rainer Grauer
Referenced in: 15 Publications (2006–2020)
Related Software: PARAMESH; p4est; Peano; AMROC; Chombo; deal.ii; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

DGMRES

Software Authors:   Sidi, Avram
Referenced in: 15 Publications (2001–2022)
Related Software: Matlab; eigs; MINRES; LSMR; MINRES-QLP; SuitSparseQR; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Geometry (51-XX); Convex and discrete geometry (52-XX)

GENDA

Software Authors:   Peter Kunkel, Volker Mehrmann, Ingo Seufer
Referenced in: 15 Publications (2004–2019)
Related Software: GELDA; Matlab; NewtonLib; DASSL; RODAS; GPOPS; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Packmol

Software Authors:   Martínez, L., Andrade, R., Birgin, E.G., Martínez, J.M.
Referenced in: 13 Publications (2012–2022)
Related Software: ALGENCAN; SPG; nanoHUB; nusimm; Polymatic; Mdtraj; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Mechanics of deformable solids (74-XX)

Ariadne

Software Authors:   Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano
Referenced in: 13 Publications (2008–2021)
Related Software: HyTech; PHAVer; SpaceEx; HSolver; RSOLVER; KeYmaera; …
Main Fields: Mathematical logic and foundations (03-XX); General topology (54-XX); Computer science (68-XX)

DQGMRES

Software Authors:   Saad, Y.; Wu, K.
Referenced in: 14 Publications (1995–2021)
Related Software: mctoolbox; SPARSKIT; ITSOL; UTV; Regularization tools; LSQR; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

KARDOS

Software Authors:   B. Erdmann, J. Lang, R. Roitzsch, ZIB Berlin
Referenced in: 14 Publications (1995–2021)
Related Software: ROS3P; RODAS; PDEX1M; Kaskade7; Algorithm 432; IFISS; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Dylan

Software Authors:   Shalit A
Referenced in: 12 Publications (1996–2014)
Related Software: Python; Eiffel; Cecil; Ruby; LISP; R; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

EquiLoad

Software Authors:   Ciardo, G.; Riska, A.; Smirni, E.
Referenced in: 10 Publications (2001–2020)
Related Software: Jphase; OMNet++; MCQueue; Geist
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

HOL Zero

Software Authors:   Adams, Mark
Referenced in: 11 Publications (2014–2020)
Related Software: HOL Light; HOL; Isabelle/HOL; ML; Isabelle; Coq; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX)

SCASY

Software Authors:   Granat, Robert; Jonsson, Isak; Kågström, Bo
Referenced 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)

2LEV-D2P4

Software Authors:   Buttari, Alfredo; D'Ambra, Pasqua; di Serafino, Daniela; Filippone, Salvatore
Referenced in: 10 Publications (2007–2021)
Related Software: MLD2P4; PSBLAS; BoomerAMG; Trilinos; hypre; UMFPACK; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

sCASP

Software Authors:   Joaquin Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
Referenced in: 10 Publications (2018–2022)
Related Software: Clingo; GASP; ezcsp; SQuAD; StanfordCoreNLP; DLV-EX; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

Society Visualiser

Software Authors:   Artikis, Alexander; Sergot, Marek; Pitt, Jeremy
Referenced in: 8 Publications (2007–2013)
Related Software: ISLANDER; CCalc; NuSMV; 2APL; Moise+; Jason; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AURA

Software Authors:   Jia, Limin; Vaughan, Jeffrey A.; Mazurak, Karl; Zhao, Jianzhou; Zarko, Luke; Schorr, Joseph; Zdancewic, Steve
Referenced in: 10 Publications (2008–2016)
Related Software: Coq; F*; Agda; Ynot; Fable; Cayenne; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

CARMA

Software Authors:   Ding, Feng
Referenced in: 9 Publications (2011–2014)
Related Software:
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Systems theory; control (93-XX)

HyEQ

Software Authors:   R.G. Sanfelice, D.A. Copp, P. Nanez
Referenced in: 9 Publications (2013–2022)
Related Software: HybridSystemsLab; YALMIP; UMDES; Simulink; Matlab
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

OntoDLV

Software Authors:   Ricca, F., Gallucci, L., Schindlauer, R., Dell’armi, T., Grasso, G., Leone, N.
Referenced in: 8 Publications (2009–2021)
Related Software: DLV-EX; Pellet; Lparse; Gringo; PR-OWL; leanTAP; …
Main Fields: Computer science (68-XX)

PREQN

Software Authors:   Morales, José Luis; Nocedal, Jorge
Referenced in: 9 Publications (2001–2020)
Related Software: tn; L-BFGS; mctoolbox; KELLEY; CUTEr; TNPACK; …
Main Fields: Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Ginv

Software Authors:   Blinkov, Yu.A.; Gerdt, V.P.
Referenced in: 8 Publications (2006–2014)
Related Software: Janet; Maple; AlgebraicThomas; DIFFALG; DifferentialThomas; RegularChains; …
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Partial differential equations (35-XX)

Kilim

Software Authors:   Srinivasan, S., Mycroft, A.
Referenced in: 6 Publications (2010–2020)
Related Software: JCobox; ABS; Erlang; SACO; Coq; AmbientTalk; …
Main Fields: Computer science (68-XX)

Omegahat

Software Authors:   Temple Lang D
Referenced in: 6 Publications (1999–2014)
Related Software: R; GGobi; XGobi; CRAN; HYDRA; lattice; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)

PseKNC-General

Software Authors:   Chen, W.; Zhang, X.; Brooker, J.; Lin, H.; Zhang, L.; Chou, K.C.
Referenced in: 8 Publications (2015–2019)
Related Software: iRSpot-PseDNC; Pse-in-One; repDNA; PseKNC; PseAAC-General; PseAAC-Builder; …
Main Fields: Biology and other natural sciences (92-XX)

recsy

Software Authors:   Granat, Robert; Jonsson, Isak; Kågström, Bo
Referenced 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)

Alms

Software Authors:   Tov, Jesse A.; Pucella, Riccardo
Referenced in: 7 Publications (2011–2021)
Related Software: Pesca; OCaml; Haskell; Fugue; PLURAL; PIPER; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CONSLAW

Software Authors:   Yao, Ruo-Xia; Li, Zhi-Bin
Referenced in: 7 Publications (2004–2016)
Related Software: Maple; CONDENS; GeM; WKPtest; PSEUDO; JACOBI; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

jCOLIBRI

Software Authors:   Juan José Bello-Tomás, Pedro A. González-Calero, Belén Díaz-Agudo
Referenced in: 3 Publications (2005–2014)
Related Software: UniProt; WebGestalt; KDDONTO; Protege; GeoSVM; GAMES; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Libra

Software Authors:   Xie, Tiacheng; Zhang, Jiaheng; Zhang, Yupeng; Papamanthou, Charalampos; Song, Dawn
Referenced in: 7 Publications (2019–2021)
Related Software: Ligero; ZKBoo; libiop; Marlin; Geppetto; vSQL; …
Main Fields: Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

LNgen

Software Authors:   Aydemir, B.E., Weirich, S.
Referenced 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)

PCG

Software Authors:   Joubert, W. D.; Carey, G. F.
Referenced in: 7 Publications (1992–2015)
Related Software: LAMG; ML; BPKit; CUBIT; NITSOL; hypre; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Polyhedral

Software Authors:   M. Dutour Sikirić
Referenced in: 7 Publications (2009–2020)
Related Software: GAP; polymake; PORTA; Python; simpcomp; SageMath; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Geometry (51-XX)

PROC REG

Software Authors:   SAS
Referenced in: 7 Publications (1995–2019)
Related Software: SAS; dobson; Ox; SAS/IML; PROC PHREG; glm; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

PROTOS-L

Software Authors:   Beierle, Christoph
Referenced in: 7 Publications (1990–1996)
Related Software: Prolog
Main Fields: Computer science (68-XX)

QD

Software Authors:   Y. Hida, X. Li, D.H. Bailey
Referenced in: 7 Publications (2006–2020)
Related Software: doubledouble; Algorithm 908; Compqd; XBLAS; LBNL; mctoolbox; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Statistical mechanics, structure of matter (82-XX)

XPi

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

DISODE45

Software Authors:   Calvo, Manuel; Montijano, Juan I.; Rández, Luis
Referenced in: 6 Publications (2017–2022)
Related Software: RODAS; galepu; CL_MATCONT; SlideCont; Matlab; MATCONT; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

FORTH

Software Authors:   Charles H. Moore
Referenced in: 5 Publications (1990–2001)
Related Software: YACS; Miranda
Main Fields: Computer science (68-XX)

KANREN

Software Authors:   Daniel P. Friedman, William E. Byrd, Oleg Kiselyov
Referenced in: 6 Publications (2008–2022)
Related Software: miniKanren; AIspace; Teyjus; GHC; MzScheme; LISP; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

lcpSim

Software Authors:   Sztrik, J.; Möller, O.
Referenced in: 6 Publications (2001–2011)
Related Software: MOSEL; GreatSPN 1.7; GreatSPN
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

PROFESS

Software Authors:   Hung, Linda; Huang, Chen; Shin, Ilgyou; Ho, Gregory S.; Lignères, Vincent L.; Carter, Emily A.
Referenced in: 6 Publications (2010–2018)
Related Software: Quantum Espresso; CASTEP; ABINIT
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

ROTOR

Software Authors:   Bachinger, J., Zander, P.
Referenced in: 6 Publications (2010–2020)
Related Software: CropSyst; DSSAT; CPLEX; GAMS; NumberJack; ToulBar2; …
Main Fields: Operations research, mathematical programming (90-XX)

RT-ASLAN

Software Authors:   Auernheimer B, Kemmerer R A.
Referenced in: 3 Publications (1994–2002)
Related Software: Esterel; Ada95; ASTRAL
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AMG2013

Software Authors:   U. M. Yang; LLNL
Referenced in: 5 Publications (2002–2011)
Related Software: BoomerAMG; hypre
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX)

CREP

Software Authors:   P. Dräxler, R. Nörenberg
Referenced in: 5 Publications (1998–2003)
Related Software:
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Associative rings and algebras (16-XX); Category theory; homological algebra (18-XX)

GenASPI

Software Authors:   Filelis-Papadopoulos, Christos K.; Gravvanis, George A.
Referenced in: 5 Publications (2014–2019)
Related Software: SparseMatrix; PARDISO; ParaSails; PSPIKE; CSparse; PSPIKE+; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

Genet

Software Authors:   Carmona, J., Cortadella, J., Kishinevsky, M.
Referenced in: 4 Publications (2012–2022)
Related Software: rbminer; VipTool; Petrify; ProM; Workcraft; Reo
Main Fields: Computer science (68-XX)

GREMLIN

Software Authors:   Höfinger, Siegfried
Referenced in: 5 Publications (2001–2008)
Related Software: Gprof; PAPI; ScaLAPACK
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX)

GridLAB-D

Software Authors:   D. P. Chassin, K. Schneider, C. Gerkensmeyer
Referenced in: 4 Publications (2014–2022)
Related Software: Electron; yaml-cpp; Armadillo; Madopt; PowerSystems; InterPSS; …
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Jphase

Software Authors:   Pérez, J. F.; Riaño, G.
Referenced in: 4 Publications (2012–2020)
Related Software: HyperStar; Butools; PhFit; MARCA; mdp; PRISM; …
Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

Lolliproc

Software Authors:   Mazurak, Karl; Zdancewic, Steve
Referenced in: 5 Publications (2010–2016)
Related Software: VeriML; ReCaml; Haskell; F*
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)