<--- Back to Details
First PageDocument Content
Incidence geometry / Euclidean geometry / Analytic geometry / Line / Plane / Parallel / Ordered geometry / Projective plane / Geometry / Elementary geometry / Projective geometry
Date: 2011-07-06 03:29:21
Incidence geometry
Euclidean geometry
Analytic geometry
Line
Plane
Parallel
Ordered geometry
Projective plane
Geometry
Elementary geometry
Projective geometry

Chapter 1: Basic concepts in geometry

Add to Reading List

Source URL: secondary.esbergen.eu

Download Document from Source Website

File Size: 102,29 KB

Share Document on Facebook

Similar Documents

Computer architecture / System software / Chroot / Mount / Linux kernel / Procfs / Vmlinux / Booting / SILO / Chrome OS

Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit

DocID: 1xVWB - View Document

Cryptocurrencies / Computing / Concurrent computing / Money / Bitcoin / SegWit / Blockchain / Merkle tree / Proof-of-stake / Lightning Network / Peercoin / Ethereum

Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput Will Martino, Monica Quaintance, Stuart Popejoy,

DocID: 1xVWn - View Document

Theoretical computer science / Logic in computer science / Temporal logic / Constraint programming / Electronic design automation / Satisfiability modulo theories / Alt-Ergo / Computation tree logic / Model theory

Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1

DocID: 1xVVP - View Document

Algebra / Linear algebra / Mathematics / Numerical linear algebra / Matrices / Matrix theory / Multiplication / Gaussian elimination / Matrix multiplication / Pivot element / Invertible matrix / Matrix

SMITH - A Parallel Hardware Architecture for fast Gaussian Elimination over GF(2) A. Bogdanov, M.C. Mertens, C. Paar, J. Pelzl, A. Rupp Horst G¨ortz Institute for IT Security, Ruhr University Bochum, Germany {bogdanov,m

DocID: 1xVrH - View Document

Theoretical computer science / Constraint programming / Software engineering / Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Satisfiability modulo theories / Solver / Boolean satisfiability problem / DPLL algorithm / Constraint satisfaction problem

Visualizing SMT-Based Parallel Constraint Solving Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyv¨arinen, and Natasha Sharygina Universit` a della Svizzera italiana, Switzerland Abstract

DocID: 1xVlC - View Document