×

Found 70 Software Packages (Results 1–70)

COMSOL

Software Authors:   COMSOL Inc.
Cited in: 441 Publications (2000–2022)
Related Software: Matlab; Python; Gmsh; FEniCS; OpenFOAM; ABAQUS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Agda

Software Authors:   Ulf Norell
Cited in: 208 Publications (1999–2022)
Related Software: Coq; Haskell; HOL Light; Isabelle/HOL; Nuprl; Idris; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

LEGO

Software Authors:   Luo, Z., Pollack, R.
Cited 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)

Cantera

Software Authors:   D. Goodwin, N. Malaya, H. Moffat, R. Speth
Cited in: 53 Publications (2009–2022)
Related Software: GRI-Mech 3.0; CHEMKIN; CVODE; SUNDIALS; GitHub; Python; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

BNDSCO

Software Authors:   H. Oberle; W. Grimm
Cited in: 51 Publications (1991–2021)
Related Software: SOCS; Matlab; GPOPS; OTIS; COLNEW; DIRCOL; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Idris

Software Authors:   Edwin Brady
Cited in: 38 Publications (2011–2022)
Related Software: Coq; Agda; Irdis; Haskell; Lean; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

Ynot

Software Authors:   Nanevski, Aleksandar; Morrisett, Greg; Shinnar, Avraham; Govereau, Paul; Birkedal, Lars
Cited in: 34 Publications (2008–2019)
Related Software: Coq; Isabelle/HOL; Haskell; Isabelle; VeriFast; Spec#; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

GF

Software Authors:   Ranta, Aarne
Cited 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)

Cayenne

Software Authors:   Augustsson, L.
Cited in: 29 Publications (1997–2017)
Related Software: Coq; Agda; LEGO; Twelf; Nuprl; Automath; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Category theory; homological algebra (18-XX)

ALDOR

Software Authors:   aldor.org; Bronstein, Manuel
Cited in: 26 Publications (1997–2014)
Related Software: AXIOM; Maple; SageMath; JAS; Orbital library; SINGULAR; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Category theory; homological algebra (18-XX)

SPICE

Software Authors:   T. Quarles, D. Pederson, R. Newton, A. Sangiovanni-Vincentelli, Christopher Wayne
Cited in: 23 Publications (1984–2022)
Related Software: SPECTRE; Matlab; PSpice; OrCAD PSpice; INDUCTWISE; hlib; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX)

Epigram

Software Authors:   McBride, Conor
Cited 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)

Irdis

Software Authors:   –
Cited in: 22 Publications (2011–2021)
Related Software: Idris; Coq; Agda; Haskell; GitHub; Lean; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)

OCTOPUS

Software Authors:   Alberto Castro, Heiko Appel, Micael Oliveira, Carlo A. Rozzi, Florian Lorenzen, Xavier Andrade, Miguel A. L. Marques, E. K. U. Gross, Angel Rubio
Cited in: 21 Publications (2004–2022)
Related Software: ABINIT; SIESTA; Libxc; KSSOLV; CASTEP; APE; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX)

F*

Software Authors:   Microsoft Research, INRIA; Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
Cited in: 20 Publications (2011–2020)
Related Software: Coq; EasyCrypt; Nuprl; Idris; Irdis; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Fasthenry

Software Authors:   Kamon M, Tsuk MJ, White J.
Cited in: 17 Publications (1999–2022)
Related Software: Fastcap; FastImp; Triangle; NASTRAN; CVX; PHG; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX)

HARP

Software Authors:   Oppacher, F.; Suen, E
Cited in: 14 Publications (1994–2020)
Related Software: SETHEO; TPTP; 3TAP; SATCHMO; OTTER; METEOR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Ant

Software Authors:   Apache
Cited in: 7 Publications (2002–2018)
Related Software: JUnit; Taverna; GridFlow; TestNG; Gradle; Cobertura; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Coquelicot

Software Authors:   Boldo, Sylvie; Lelay, Catherine; Melquiond, Guillaume
Cited in: 15 Publications (2015–2022)
Related Software: Coq; Isabelle/HOL; Lean; PVS; kepler98; C-CoRN; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Ordinary differential equations (34-XX)

SafeDpi

Software Authors:   Hennessy, Matthew; Rathke, Julian; Yoshida, Nobuko
Cited in: 13 Publications (2004–2011)
Related Software: JoCaml; MJ; Jif; Featherweight Java; Cyclone; XPath; …
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
Cited 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)

Lattice Builder

Software Authors:   L’Ecuyer, P., Munger, D.
Cited in: 10 Publications (2015–2022)
Related Software: SSJ; sobol.cc; Algorithm 955; ContactCenters; KernSmooth; MRG32k3a; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

MiniAgda

Software Authors:   Abel, A.
Cited in: 10 Publications (2011–2021)
Related Software: Coq; Agda; GitHub; Paco; Isabelle; ML; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)

Berlekamp Zassenhaus

Software Authors:   Jose Divasón, Sebastiaan Joosten, René Thiemann, Akihisa Yamada
Cited in: 9 Publications (2017–2020)
Related Software: Isabelle/HOL; Isabelle; HOL; Coq; Archive Formal Proofs; Locales; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Field theory and polynomials (12-XX)

Cubical agda

Software Authors:   Vezzosi, Andrea; Mörtberg, Anders; Abel, Andreas
Cited in: 9 Publications (2021–2022)
Related Software: cubicaltt; GitHub; RedPRL; Coq; LEGO; Regex_Equivalence; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-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)

DNA

Software Authors:   Gill, R., Datta, S., Datta, S.
Cited in: 7 Publications (2013–2021)
Related Software: WGCNA; GlobalMIT; slingshot; SNN-Cliq; MrTADFinder; CIDR; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

PATUS

Software Authors:   M. Christen, O. Schenk, H. Burkhart
Cited in: 7 Publications (2013–2020)
Related Software: Pochoir; CUDA; Mint; STREAM benchmark; STREAM; MODESTO; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

TituRel

Software Authors:   Gunther Schmidt
Cited in: 8 Publications (2007–2015)
Related Software: RelView; Haskell; Algorithm 97; Z; Ralf; Rath; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

TUBA3

Software Authors:   Papanicolopulos, S.-A.; Zervos, A.
Cited in: 8 Publications (2012–2019)
Related Software: ABAQUS; FEAPpv; Gmsh
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

VeriML

Software Authors:   Stampoulis, Antonis; Shao, Zhong
Cited in: 8 Publications (2010–2016)
Related Software: Coq; seL4; Mtac; Delphin; ML; Haskell; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

CoqMT

Software Authors:   Pierre-Yves Strub
Cited in: 6 Publications (2010–2020)
Related Software: Coq; CoqMTU; Boogie; ArchSAT; CoqInE; HARP; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-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)

WavES

Software Authors:   L. Beilina; WavES Project
Cited in: 6 Publications (2015–2022)
Related Software: PETSc; CST MICROWAVE STUDIO; CST Studio Suite
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Helanal

Software Authors:   Bansal, M., Kumar, S., Velavan, R.
Cited in: 5 Publications (2008–2018)
Related Software: Kink-detector; R; TMKink; Kink Finder; NUCPLOT
Main Fields: Geometry (51-XX); Statistics (62-XX); Biology and other natural sciences (92-XX)

LPVTools

Software Authors:   Hjartarson, A., Seiler, P.J., Packard, A.
Cited in: 4 Publications (2020–2022)
Related Software: GitHub; Matlab; LPVcore; Mu Analysis and Synthesis Toolbox; SeDuMi; Sostools; …
Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

TinkerType

Software Authors:   Levin, Michael Y.; Pierce, Benjamin C.
Cited in: 5 Publications (2003–2010)
Related Software: ML; OCaml; Ott; CASL; LaTeX; Freshml; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TreatJS

Software Authors:   Keil, Matthias; Thiemann, Peter
Cited in: 5 Publications (2015–2022)
Related Software: Contract; Spec#; Racket; JPAX; Eiffel; Haskell; …
Main Fields: Computer science (68-XX)

truncSP

Software Authors:   Anita Lindmark; Maria Karlsson, Department of Statistics, Umea University
Cited in: 4 Publications (2018–2020)
Related Software: LIMDEP; truncreg; boot; R; Brq; glasso; …
Main Fields: Statistics (62-XX)

ADTEST

Software Authors:   Matthew J. Gallagher; V. Lakshmi Narasimhan
Cited in: 1 Publication (2009)
Related Software: Genocop; Korat; TATOO
Main Fields: Computer science (68-XX)

Aglet

Software Authors:   Morgenstern, Jamie; Licata, Daniel R.
Cited in: 3 Publications (2010–2017)
Related Software: Laminar; Haskell; Ynot; AURA; Agda; Paragon; …
Main Fields: Computer science (68-XX)

Algorithm 784

Software Authors:   Bo Kågström, Charles van Loan
Cited in: 3 Publications (1998–2011)
Related Software: Algorithm 679; FFTW; SPIRAL; LAPACK; FLAME; GotoBLAS; …
Main Fields: Numerical analysis (65-XX)

1ML

Software Authors:   Rossberg, Andreas
Cited in: 4 Publications (2015–2018)
Related Software: MixML; Automath; ML; OCaml; Tribe; HMap; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

qPCF

Software Authors:   Paolini, Luca; Zorzi, Margherita
Cited in: 4 Publications (2017–2020)
Related Software: QPL; Quipper; QWire
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

Tribe

Software Authors:   Clarke, D., Drossopoulou, S., Noble, J., Wrigstad, T.
Cited in: 4 Publications (2010–2016)
Related Software: Waldmeister; Mace4; Prover9; HMap; Dotty; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Uncertainpy

Software Authors:   Tennøe S, Halnes G, Einevoll GT
Cited in: 3 Publications (2019–2022)
Related Software: UQLab; Chaospy; EasyVVUQ; GitHub; SQLAlchemy; SALib; …
Main Fields: Computer science (68-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

CALREL

Software Authors:   Liu P-L, Lin H-Z, Der Kiureghian A
Cited in: 3 Publications (1991–2008)
Related Software:
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

FEMWATER

Software Authors:   Hsin-Chi J. Lin, David R. Richards, Cary A. Talbot, Gour-Tsyh Yeh, Jing-Ru Cheng, Hwai-Ping Cheng, Norman L. Jones
Cited in: 3 Publications (2013–2020)
Related Software: Matlab; MODFLOW; FEFLOW; SEAWAT; PETSc; SuperLU; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

PAL+

Software Authors:   Luo, Z.
Cited in: 3 Publications (2003–2004)
Related Software: ALF; Automath; Multilisp
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Survival Kit

Software Authors:   Ducrocq V, Sölkner J
Cited in: 3 Publications (2007–2011)
Related Software: WinBUGS; R; L-BFGS
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

DoCon-A

Software Authors:   Meshveliani, S. D.
Cited in: 2 Publications (2020–2022)
Related Software: Lean; Agda; Coq; GitHub; UniMath; Haskell; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Computer science (68-XX)

idris-ct

Software Authors:   Genovese, Fabrizio; Gryzlov, Alex; Herold, Jelle; Knispel, Andre; Perone, Marco; Post, Erik; Videla, André
Cited in: 2 Publications (2020–2021)
Related Software: Statebox; CQL; PowerPoint; GitHub; Idris; Irdis; …
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

ImagingReso

Software Authors:   Zhang Y., Bilheux J.
Cited in: 0 Publications
Related Software: Periodictable; pandas; Matplotlib; NumPy; SciPy; Python; …
Main Fields:

LightDP

Software Authors:   Zhang, Danfeng; Kifer, Daniel
Cited in: 2 Publications (2017)
Related Software: Pufferfish; vZ; z3; Hazelnut; Luck; QWire; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

pntool

Software Authors:   Pastravanu, Octavian; Matcovschi, Mihaela-Hanako; Mahulea, Cristian
Cited in: 2 Publications (2004)
Related Software: Matlab
Main Fields: General and overarching topics; collections (00-XX); Systems theory; control (93-XX)

Shonky

Software Authors:   Mcbride, C.
Cited in: 2 Publications (2020)
Related Software: Links; GitHub; Eff; Koka; indentation; parsec; …
Main Fields: Computer science (68-XX)

SimFactory

Software Authors:   Gabrielle Allen; Erik Schnetter; Michael Thomas
Cited in: 2 Publications (2012–2014)
Related Software: Whisky; Carpet; Einstein Toolkit; Cactus; Kranc; Athena; …
Main Fields: Fluid mechanics (76-XX); Relativity and gravitational theory (83-XX); Astronomy and astrophysics (85-XX)

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:

jsCoq

Software Authors:   Arias, E.J.G., Pin, B., Jouvelot, P.
Cited in: 1 Publication (2021)
Related Software: HolPy; KeYmaera X; Lean; Python; HOL; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

kraken

Software Authors:   Porter, M. B.
Cited in: 1 Publication (2022)
Related Software: MultiLC; NM-CT
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

PLASMAKIN

Software Authors:   N.R. Pinhao
Cited in: 1 Publication (2001)
Related Software: CHEMKIN; CHEMSODE
Main Fields: Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX)

PROC VARMAX

Software Authors:   SAS
Cited in: 1 Publication (2003)
Related Software: PROC ARIMA; PROC SPECTRA; STATESPACE; SAS
Main Fields: Statistics (62-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)

RAACBook

Software Authors:   –
Cited in: 1 Publication (2021)
Related Software: Deep4mC; iDNA-MS; PSAC; FoldRec-C2C; iTerm-PseKNC; RaacLogo; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

ReLogit

Software Authors:   Michael Tomz; Gary King; Langche Zeng
Cited in: 0 Publications
Related Software: BTSCS; EUGene; Stata
Main Fields:

Tkwant

Software Authors:   Thomas Kloss, Joseph Weston, Benoit Gaury, Benoit Rossignol, Christoph Groth, Xavier Waintal
Cited in: 0 Publications
Related Software: SciPy; QUADPACK; NumPy; QuTiP; kwantSpectrum; Python; …
Main Fields:

Tog

Software Authors:   Mazzoli, F., Danielsson, N.A., Norell, U., Vezzosi, A., Abel, A
Cited in: 1 Publication (2020)
Related Software: mathlib; MathScheme; lens; Agda; Maude; Haskell; …
Main Fields: General algebraic systems (08-XX); Computer science (68-XX)

UALib

Software Authors:   William DeMeo
Cited in: 0 Publications
Related Software: Agda
Main Fields:

dynsimpie

Software Authors:   Yoo Sun Jung, Flávio D. S. Souza, Andrew Q. Philips, Amanda Rutherford, Guy D. Whitten
Cited in: 0 Publications
Related Software:
Main Fields:

LabFit

Software Authors:   Wilton Pereira da Silva; Cleide Pereira da Silva
Cited in: 0 Publications
Related Software:
Main Fields: