AC Schnitzer

AC Schnitzer is a third party tuning company based in Aachen, Germany specializing in BMW and MINI cars, and BMW motorcycles.

Founded in 1967, Schnitzer has headquarters in Aachen. The firm has roots with Schnitzer Motorsport, but is a completely independent concern both commercially and legally. AC Schnitzer is part of the Kohl Group, which also counts Steinmetz as one of its associates.

Brands and products

AC Schnitzer was established in 1987. Its range includes tuning for BMW motor vehicles and also motorcycle arm and the Mini and Land Rover makes. The range includes individual components such as chassis, custom exhaust systems and light-alloy wheels, as well as complete vehicles and performance tuning for petrol and diesel engines.

AC Schnitzer components are obtainable in more than 50 countries worldwide. In addition to its customizing business with 55 employees, the firm’s building in Aachen are home to several car firms, boutiques and a luxury restaurant.

Products

The core products offered by AC Schnitzer include chassis components, which receive final tuning on the Nürburgring. As well as chassis components, the firm produces light-alloy wheels up to size 22 inch.

ACL2

ACL2 (A Computational Logic for Applicative Common Lisp) is a software system consisting of a programming language, an extensible theory in a first-order logic, and a mechanical theorem prover. ACL2 is designed to support automated reasoning in inductive logical theories, mostly for the purpose of software and hardware verification. The input language and implementation of ACL2 are built on Common Lisp. ACL2 is free, open source (BSD license) software.

The ACL2 programming language is an applicative (side-effect free) variant of Common Lisp. ACL2 is untyped. All ACL2 functions are total — that is, every function maps each object in the ACL2 universe to another object in its universe.

ACL2's base theory axiomatizes the semantics of its programming language and its built-in functions. User definitions in the programming language that satisfy a definitional principle extend the theory in a way that maintains the theory's logical consistency.

The core of ACL2's theorem prover is based on term rewriting, and this core is extensible in that user-discovered theorems can be used as ad-hoc proof techniques for subsequent conjectures.

BMW

Bayerische Motoren Werke AG (German pronunciation: [baˈjɛɐ̯ɪʃə mɔˈtɔʁn̩ ˈvɛɐ̯kə]; German for Bavarian Motor Works), usually known under its abbreviation BMW, is a German luxury automobile, motorcycle, and engine manufacturing company founded in 1916. Headquartered in Munich, Bavaria, Germany, it also owns and produces Mini cars and serves as the parent company of Rolls-Royce Motor Cars. BMW produces motorcycles under BMW Motorrad, and plug-in electric cars under the BMW i sub-brand. It is one of the best-selling luxury automakers in the world. The company is a component of the Euro Stoxx 50 stock market index.

History

BMW was established as a business entity following a restructuring of the Rapp Motorenwerke aircraft manufacturing firm in 1917. After the end of World War I in 1918, BMW was forced to cease aircraft-engine production by the terms of the Versailles Armistice Treaty. The company consequently shifted to motorcycle production as the restrictions of the treaty started to be lifted in 1923, followed by automobiles in 1928–29.