114
click to vote
CASC
15 years 19 days ago
2006 Springer 
In this note we present a symbolic-numeric method to the problem of tube modeling in CAD systems. Our approach is based on the Kirchhoff kinetic analogy which allows us to find ana...
ADG
15 years 2 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...
ADG
15 years 2 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...
ADG
15 years 20 days 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...
|
Mathematics