别炫耀
发表于 2025-3-27 00:53:09
,Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases MetIn this paper we present an algorithm to prove geometric theorems with the Gröbner basis method in Grassman algebra based on a coordinate-free approach.
搜寻
发表于 2025-3-27 02:24:00
http://reply.papertrans.cn/17/1663/166256/166256_32.png
评论者
发表于 2025-3-27 05:55:15
0302-9743 02, held at Hagenberg Castle, Austria in September 2002...The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. Among the issues addressed are theoretical and methodological topics, such as the resolution of singularities, algebraic geometry and
BUDGE
发表于 2025-3-27 10:27:30
http://reply.papertrans.cn/17/1663/166256/166256_34.png
SEMI
发表于 2025-3-27 15:56:15
http://reply.papertrans.cn/17/1663/166256/166256_35.png
杂色
发表于 2025-3-27 19:16:16
The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deducteometric theorem is true if and only if these non-degenerate conditions are satisfied. A method for automatic geometric formula deduction is also proposed based on the algorithm. The algorithm given in this paper has been implemented in computer algebra system Maple.
DAFT
发表于 2025-3-28 00:23:18
,, Spline Implicitization of Planar Curves,sed on spline wavelets, is used to reduce the number of segments. The spline segments are implicitized. After multiplying the implicit spline segments by suitable polynomial factors the resulting bivariate functions are joined along suitable transversal lines. This yields a globally . . bivariate function.
不可比拟
发表于 2025-3-28 05:09:07
http://reply.papertrans.cn/17/1663/166256/166256_38.png
推测
发表于 2025-3-28 09:55:01
http://reply.papertrans.cn/17/1663/166256/166256_39.png
洞穴
发表于 2025-3-28 12:41:32
http://reply.papertrans.cn/17/1663/166256/166256_40.png