Abelian functions associated with genus three algebraic curves

We develop the theory of Abelian functions associated with algebraic curves. The growth in computer power and an advancement of efficient symbolic computation techniques has allowed for recent progress in this area. In this paper we focus on the genus three cases, comparing the two canonical classes of hyperelliptic and trigonal curves. We present new addition formulae, derive bases for the spaces of Abelian functions and discuss the differential equations such functions satisfy.Comment: 34 page

Formulating problems for real algebraic geometry

We discuss issues of problem formulation for algorithms in real algebraic geometry, focussing on quantifier elimination by cylindrical algebraic decomposition. We recall how the variable ordering used can have a profound effect on both performance and output and summarise what may be done to assist with this choice. We then survey other questions of problem formulation and algorithm optimisation that have become pertinent following advances in CAD theory, including both work that is already published and work that is currently underway. With implementations now in reach of real world applications and new theory meaning algorithms are far more sensitive to the input, our thesis is that intelligently formulating problems for algorithms, and indeed choosing the correct algorithm variant for a problem, is key to improving the practical use of both quantifier elimination and symbolic real algebraic geometry in general.Comment: To be presented at The "Encuentros de \'Algebra Computacional y Aplicaciones, EACA 2014" (Meetings on Computer Algebra and Applications) in Barcelon

An implementation of CAD in Maple utilising problem formulation, equational constraints and truth-table invariance

Cylindrical algebraic decomposition (CAD) is an important tool for the investigation of semi-algebraic sets, with applications within algebraic geometry and beyond. We recently reported on a new implementation of CAD in Maple which implemented the original algorithm of Collins and the subsequent improvement to projection by McCallum. Our implementation was in contrast to Maple's in-built CAD command, based on a quite separate theory. Although initially developed as an investigative tool to compare the algorithms, we found and reported that our code offered functionality not currently available in any other existing implementations. One particularly important piece of functionality is the ability to produce order-invariant CADs. This has allowed us to extend the implementation to produce CADs invariant with respect to either equational constraints (ECCADs) or the truth-tables of sequences of formulae (TTICADs). This new functionality is contained in the second release of our code, along with commands to consider problem formulation which can be a major factor in the tractability of a CAD. In the report we describe the new functionality and some theoretical discoveries it prompted. We describe how the CADs produced using equational constraints are able to take advantage of not just improved projection but also improvements in the lifting phase. We also present an extension to the original TTICAD algorithm which increases both the applicability of TTICAD and its relative benefit over other algorithms. The code and an introductory Maple worksheet / pdf demonstrating the full functionality of the package are freely available online.Comment: 12 pages; University of Bath, Dept. Computer Science Technical Report Series, 2013-02, 201

On the Front Lines of Public Policy

UM Law students get in the thick of tobacco policy, international terrorism regulations, drug treatment, even the mundane yet complex rules of homeowners\u27 associations. The lives they change, now and in the jobs they secure, reach well beyond their own

A Call for Change: The Evolution of the Modern Documentary from Informative Media to Persuasive Platform

In the past several years, new documentaries have begun to evolve from informative media to persuasive platform as a result of changing cultural contexts and ideologies. These four films – Sicko, Food Inc., Waiting for Superman, and Inside Job effectively utilize common narratives and themes to present audiences with calls for reform in critical areas such as food safety, quality education, access to healthcare, and financial regulation. This shift reflects a transformation of the valuation of knowledge and how it serves various conflicting group interests

Setting a Benchmark for Baltimore\u27s Courts

The Hon. Ellen Moses Heller \u2777--Setting a Benchmark for Baltimore\u27s Court

All Wired Up and Ready to Go

The School of Law\u27s new facility is one of the most technologically advanced legal education buildings in the country. Read what the buzz is all about

Latin American Indigenous Language Research

Latin American Studie