120
click to vote
ADG
15 years 10 months ago
2006 Springer 
It is known that five points in 3 generically determine a finite number of cylinders containing those points. We discuss ways in which it can be shown that the generic (complex) nu...
142
click to vote
ADG
15 years 10 months ago
2006 Springer 
This paper describes the recent convergence of four topics: polynomial systems, flexibility of three dimensional objects, computational chemistry, and computer algebra. We discuss...
146
click to vote
ADG
15 years 8 months ago
2006 Springer 
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
139
click to vote
ADG
15 years 10 months ago
2006 Springer 
Abstract. We propose an algorithm for automated recognition of computationally constructed curves and discuss several aspects of the recognition problem. Recognizing loci means det...
|
Mathematics