• navierstokes

  • Referenced in 8 articles [sw40625]
  • paper, a general method to obtain constructive proofs of existence of periodic orbits ... theorem is applied to obtain the (computer-assisted) proofs of existence. The required analytic estimates...
  • Lorenz-Database

  • Referenced in 6 articles [sw14477]
  • guarantees their existence via computer-assisted proofs methods. The orbits are computed using high-precision...
  • QubitUPBSearch

  • Referenced in 5 articles [sw42212]
  • graph theory techniques to produce a computer-assisted proof that our constructions are indeed...
  • Octave Interval

  • Referenced in 2 articles [sw13236]
  • Also it can be applied to computer-assisted proofs, constraint programming, and verified computing...
  • OrientedSwaps

  • Referenced in 2 articles [sw35044]
  • process, is conjectural. We give a computer-assisted proof of this identity...
  • MahonianStat

  • Referenced in 12 articles [sw06180]
  • proofs that the distribution is asymptotically normal. The first is computer-assisted, based ... perform experiments and calculations. Our second proof uses characteristic functions. We then take...
  • DPCM

  • Referenced in 1 article [sw03177]
  • diffusion Poisson coupled model: a computer-assisted proof. The Diffusion Poisson Coupled Model describes ... paper, we present and apply a computer-assisted method in order to prove the existence...
  • Lowe_Ontological_Argument

  • Referenced in 1 article [sw38024]
  • Computer-assisted Reconstruction and Assessment of E. J. Lowe’s Modal Ontological Argument. Computers ... verify-- philosophical arguments. By utilizing modern proof assistants in an iterative interpretive process ... offer an ideal showcase for our computer-assisted interpretive method...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC

  • Referenced in 110 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • intpakX

  • Referenced in 11 articles [sw00445]
  • The Maple Power Tool intpakX defines Maple types...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...