In 1990 , the specialty car company Middlebridge Scimitar Ltd contracted with the vintage car collector Edward Hubbard to buy the Bentley racing car known as Old Number One from him. Middlebridge agreed to pay Hubbard ten million pounds in cash and company assets. The price was so high because Old Number One was the most famous racing car in British history, dating from a period when motor raci...

A method is presented to compute the planar arrangement induced by segments of algebraic curves of degree three (or less), using an improved Bentley-Ottmann sweep-line algorithm. Our method is exact (it provides the mathematically correct result), complete (it handles all possible geometric degeneracies), and efficient (the implementation can handle hundreds of segments). The range of possible ...

The Bentley Ottmann sweep line algorithm is a standard tool to compute the arrangement of algebraic curves in the plane. If degenerate positions are not excluded from the input, variants of this algorithm must, among other things, handle k ≥ 2 curves intersecting simultaneously in a single intersection point. In that situation, the algorithm knows the order of the curves immediately left of the...

ow. 1992. Baculovirus Expression Vectors: A Laboratory Manual. Freeman, New York. 14.Paciotti, G.F. and L. Tamarkin. 1988. Interleukin-2 differentially affects the proliferation of a hormone-dependent and a hormone-independent human breast cancer cell line in vitro and in vivo. Anticancer Res. 8:1233-1239. 15.Pham, M.Q., S. Naggie, M. Wier, H.J. Cha, and W.E. Bentley. 1999. Human interleukin2 p...

In this paper I ague against John Henry's claim that Newton embraced unmediated action at a distance as an explanation of gravity (Henry, 1994, 1999, 2011, 2014). In particular, I take issue with his apparent suggestion that the fact, as he sees it, that two of Newton's prominent followers, namely, Richard Bentley and Samuel Clarke, embraced unmediated action at a distance as an explanation of ...

Techniques combining machine learning with translation to automated reasoning have recently become an important component of formal proof assistants. Such “hammer” techniques complement traditional proof assistant automation as implemented by tactics and decision procedures. In this paper we present a unified proof assistant automation approach which attempts to automate the selection of approp...

Lurch is a free word processor that can check the mathematical reasoning in a document.1 Although it would be easy to make a word processor that could check simple arithmetic, or even algebra, Lurch aims to do much more than that. It can check the steps of a mathematical proof, even a proof not written in a formal style. The current version works best for introduction-to-proof courses, covering...