Automated Deduction in Geometry - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642210457, 9783642210464
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Offsetting Revolution Surfaces

2011 ◽  
pp. 179-188 ◽  
Author(s):  
Fernando San Segundo ◽  
J. Rafael Sendra
Keyword(s):  
Revolution Surfaces

An Introduction to Java Geometry Expert

2011 ◽  
pp. 189-195 ◽  
Author(s):  
Zheng Ye ◽  
Shang-Ching Chou ◽  
Xiao-Shan Gao

scholarly journals Formalizing Projective Plane Geometry in Coq

2011 ◽  
pp. 141-162 ◽  
Author(s):  
Nicolas Magaud ◽  
Julien Narboux ◽  
Pascal Schreck
Keyword(s):  
Projective Plane ◽  
Plane Geometry

On the Design and Implementation of a Geometric Knowledge Base

2011 ◽  
pp. 22-41 ◽  
Author(s):  
Xiaoyu Chen ◽  
Ying Huang ◽  
Dongming Wang
Keyword(s):  
Knowledge Base ◽  
Design And Implementation ◽  
Geometric Knowledge

On the Heilbronn Optimal Configuration of Seven Points in the Square

2011 ◽  
pp. 196-224 ◽  
Author(s):  
Zhenbing Zeng ◽  
Liangyu Chen
Keyword(s):  
Optimal Configuration

Linear Programming for Bernstein Based Solvers

2011 ◽  
pp. 163-178
Author(s):  
Dominique Michelucci ◽  
Christoph Fünfzig
Keyword(s):  
Linear Programming

Dynamical Systems of Simplices in Dimension Two or Three

2011 ◽  
pp. 1-21
Author(s):  
Gérald Bourgeois ◽  
Sébastien Orange
Keyword(s):  
Dynamical Systems

Multivariate Resultants in Bernstein Basis

2011 ◽  
pp. 60-85 ◽  
Author(s):  
Deepak Kapur ◽  
Manfred Minimair
Keyword(s):  
Bernstein Basis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document