Menu
  • About & Contact
  • Feedback
  • Contribute
  • Help
  • zbMATH

swMATH

swmath-logo
  • Search
  • Advanced search
  • Browse
  • browse software by name
  • browse software by keywords
  • browse software by MSC
  • browse software by types

googletest

googletest: Google C++ Testing Framework. Google Test, Google’s C++ test framework! This repository is a merger of the formerly separate GoogleTest and GoogleMock projects. These were so closely related that it makes sense to maintain and release them together.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

  • C++
  • GPU
  • algorithmic differentiation
  • probabilistic programming
  • healthy software lifecycle
  • Symbolic model checking
  • SoftwareX
  • arXiv_cs.CE
  • SMT-Based
  • preconditioning
  • GitHub
  • Bayesian inference
  • cosa2
  • multi-core and manycore architectures
  • CUDA
  • Nondestructive evaluation
  • Stan
  • NURBS
  • sparse linear algebra
  • Splines
  • Model Checker
  • Elastodynamics
  • Simulation
  • adaptive precision
  • Optimization
  • IGA
  • block-Jacobi
  • open-source
  • Journal of Statistical Software
  • arXiv_publication

  • URL: code.google.com/p/goog...
  • InternetArchive
  • Authors: Google

  • Add information on this software.


  • Related software:
  • PySMT
  • pytest
  • z3
  • SMT-LIB
  • Ginkgo
  • Cython
  • CUDA
  • VTK
  • CMake
  • MathSAT5
  • Show more...
  • Smt-Switch
  • Pono
  • GitHub
  • Mcmt
  • SMT Kit
  • Doxygen
  • Booster
  • WinBUGS
  • CVC4
  • CTIGAR
  • Show less...

References in zbMATH (referenced in 7 articles )

Showing results 1 to 7 of 7.
y Sorted by year (citations)

  1. Anzt, Hartwig; Cojean, Terry; Flegar, Goran; Göbel, Fritz; Grützmacher, Thomas; Nayak, Pratik; Ribizel, Tobias; Tsai, Yuhsiang Mike; Quintana-Ortí, Enrique S.: \textscGinkgo: a modern linear operator algebra framework for high performance computing (2022)
  2. Elizabeth D. Gregory, William C. Schneck, Erik L. Frankforter: swSim: Solid wave simulation (2021) not zbMATH
  3. Flegar, Goran; Anzt, Hartwig; Cojean, Terry; Quintana-Ortí, Enrique S.: Adaptive precision block-Jacobi for high performance preconditioning in the Ginkgo linear algebra software (2021)
  4. Makai Mann, Ahmed Irfan, Florian Lonsing, Yahan Yang, Hongce Zhang, Kristopher Brown, Aarti Gupta, Clark Barrett: Pono: A Flexible and Extensible SMT-Based Model Checker (2021) not zbMATH
  5. Mann, Makai; Wilson, Amalee; Zohar, Yoni; Stuntz, Lindsey; Irfan, Ahmed; Brown, Kristopher; Donovick, Caleb; Guman, Allison; Tinelli, Cesare; Barrett, Clark: Smt-Switch: a solver-agnostic C++ API for SMT solving (2021)
  6. Markus Frings, Norbert Hosters, Corinna Müller, Max Spahn, Christoph Susen, Konstantin Key, Stefanie Elgeti: SplineLib: A Modern Multi-Purpose C++ Spline Library (2020) arXiv
  7. Bob Carpenter and Andrew Gelman and Matthew Hoffman and Daniel Lee and Ben Goodrich and Michael Betancourt and Marcus Brubaker and Jiqiang Guo and Peter Li and Allen Riddell: Stan: A Probabilistic Programming Language (2017) not zbMATH

  • Article statistics & filter:

  • Search for articles
  • MSC classification / top
    • Top MSC classes
      • 65 Numerical analysis
      • 68 Computer science

  • Publication year
    • 2010 - today
    • 2005 - 2009
    • 2000 - 2004
    • before 2000
  • Terms & Conditions
  • Imprint
  • Privacy Policy