- Referenced in 31 articles
- Isabelle/jEdit -- a prover IDE within the PIDE framework PIDE is a general framework for document...
- Referenced in 11 articles
- Isabelle/jEdit -- a prover IDE within the PIDE framework. PIDE is a general framework for document...
- Referenced in 13 articles
- existing proof engines. The idea of “PIDE” (which means “Prover IDE”) is to integrate existing...
- Referenced in 2 articles
- with a partial integral differential equation (PIDE) that is solved by a semi-lagrangian method...
- Referenced in 13544 articles
- MATLAB® is a high-level language and interactive...
- Referenced in 49 articles
- quadgk: Numerically evaluate integral, adaptive Gauss-Kronrod quadrature...
- Referenced in 19 articles
- Fortran programs for the time-dependent Gross-Pitaevskii...
- Referenced in 25 articles
- C programs for solving the time-dependent Gross...
- Referenced in 20 articles
- Fortran programs for the time-dependent Gross–Pitaevskii...
- Referenced in 160 articles
- A MATLAB implementation of the RBF-QR method...