Open AccessA short note about case distinctions in Tarski's geometry
Author(s) -
Pierre Boutry,
Julien Narboux,
Pascal Schreck,
Gabriel Braun
Publication year - 2014
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - decidability , axiom , mathematics , congruence (geometry) , intersection (aeronautics) , predicate (mathematical logic) , discrete mathematics , first order logic , algebra over a field , calculus (dental) , pure mathematics , computer science , geometry , programming language , medicine , dentistry , engineering , aerospace engineering
Empowering knowledge with every search
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom