13,643 research outputs found
Yet another criterion for global existence in the 3D relativistic Vlasov-Maxwell system
We prove that solutions of the 3D relativistic Vlasov-Maxwell system can be
extended, as long as the quantity
is bounded in .Comment: 24 page
Towards the Integration of an Intuitionistic First-Order Prover into Coq
An efficient intuitionistic first-order prover integrated into Coq is useful
to replay proofs found by external automated theorem provers. We propose a
two-phase approach: An intuitionistic prover generates a certificate based on
the matrix characterization of intuitionistic first-order logic; the
certificate is then translated into a sequent-style proof.Comment: In Proceedings HaTT 2016, arXiv:1606.0542
Differentiated instruction: a comparison of elementary and secondary school use
Includes bibliographical references
An introduction to cosmology
Cosmology is becoming an important tool to test particle physics models. We
provide an overview of the standard model of cosmology with an emphasis on the
observations relevant for testing fundamental physics.Comment: Lectures given at the CERN Latin-American School of High Energy
Physics CLASHEP 2015, Ibarra, Ecuador. Submitted for publication in a CERN
Yellow Repor
- …