This paper reports on the integration of the higher-order theorem proving environment Tps [Andrews et al., 1996] into the mathematical assistant mega [Benzm uller et al., 1997]. Tps can be called from mega either as a black box or as an interactive system. In black box mode, the user has control over the parameters which control proof search inTps; in interactive mode, all features of theTps-s...

A "mega-journal" is a new type of scientific journal that publishes freely accessible articles, which have been peer reviewed for scientific trustworthiness, but leaves it to the readers to decide which articles are of interest and importance to them. In the wake of the phenomenal success of PLOS ONE, several other publishers have recently started mega-journals. This article presents the evolut...

0378-1127/$ see front matter 2012 Elsevier B.V. A http://dx.doi.org/10.1016/j.foreco.2012.06.030 ⇑ Tel.: +1 406 544 2709. E-mail address: [email protected] In the modern era, high-impact mega-fires are unprecedented for the suppression costs, property losses, natural resource damages, and loss of life often involved. For a number of years, these extraordinary wildfires have been increasing i...

This issue of the Journal of Symbolic Computation collects selected papers on work presented at, or related to, the meeting MEGA 2005, held in Porto Conte, Alghero, Sardinia (Italy), May 27 June 1, 2005. MEGA is the acronym for “Effective Methods in Algebraic Geometry” (and its equivalent in Italian, French, Spanish, German, Russian, etc.), a series of (roughly) biennial conferences on computin...

There is a low but uncertain probability that climate change could trigger “mega-catastrophes,” severe and at least partly irreversible adverse effects across broad regions. This paper first discusses the state of current knowledge and the defining characteristics of potential climate change mega-catastrophes. While some of these characteristics present difficulties for using standard rational ...