• Isabelle/jEdit

  • Referenced in 31 articles [sw06432]
  • Isabelle/jEdit -- a prover IDE within the PIDE framework PIDE is a general framework for document...
  • PIDE

  • Referenced in 11 articles [sw06404]
  • Isabelle/jEdit -- a prover IDE within the PIDE framework. PIDE is a general framework for document...
  • Isabelle/PIDE

  • Referenced in 13 articles [sw07185]
  • existing proof engines. The idea of “PIDE” (which means “Prover IDE”) is to integrate existing...
  • SELANSI

  • Referenced in 2 articles [sw28254]
  • with a partial integral differential equation (PIDE) that is solved by a semi-lagrangian method...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • quadgk

  • Referenced in 49 articles [sw11527]
  • quadgk: Numerically evaluate integral, adaptive Gauss-Kronrod quadrature...
  • AEDU

  • Referenced in 19 articles [sw18628]
  • Fortran programs for the time-dependent Gross-Pitaevskii...
  • GP-SCL

  • Referenced in 25 articles [sw18629]
  • C programs for solving the time-dependent Gross...
  • imagetime1d

  • Referenced in 20 articles [sw22221]
  • Fortran programs for the time-dependent Gross–Pitaevskii...
  • rbf_qr

  • Referenced in 160 articles [sw28261]
  • A MATLAB implementation of the RBF-QR method...