144
Voted
ADG
15 years 8 months ago
2006 Springer  106
Voted
ADG
15 years 8 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...
130
Voted
ADG
15 years 8 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...
126
Voted
ADG
15 years 6 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...
119
click to vote
ADG
15 years 8 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