thrombosis 发表于 2025-3-25 06:41:22

http://reply.papertrans.cn/17/1663/166256/166256_21.png

Palpitation 发表于 2025-3-25 07:50:30

978-3-540-20927-0Springer-Verlag Berlin Heidelberg 2004

内向者 发表于 2025-3-25 15:13:09

http://reply.papertrans.cn/17/1663/166256/166256_23.png

PRO 发表于 2025-3-25 17:50:59

http://reply.papertrans.cn/17/1663/166256/166256_24.png

邪恶的你 发表于 2025-3-25 20:27:25

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/b/image/166256.jpg

aneurysm 发表于 2025-3-26 00:35:46

http://reply.papertrans.cn/17/1663/166256/166256_26.png

Compassionate 发表于 2025-3-26 08:04:57

http://reply.papertrans.cn/17/1663/166256/166256_27.png

野蛮 发表于 2025-3-26 10:25:31

Francesco Cannata,Herbert Überallriables: algebraic system as a formal framework; representation of shapes, operations, and relations using real-valued functions, internal representation of the modeling system; specialized language for function-based modeling, and model extension to point sets with attributes (hypervolumes).

枕垫 发表于 2025-3-26 14:31:42

A. P. Hitchcock,P. Fischer,R. McLarenIn 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.

escalate 发表于 2025-3-26 17:04:23

http://reply.papertrans.cn/17/1663/166256/166256_30.png
页: 1 2 [3] 4 5 6
查看完整版本: Titlebook: Automated Deduction in Geometry; 4th International Wo Franz Winkler Conference proceedings 2004 Springer-Verlag Berlin Heidelberg 2004 Auto