增强
发表于 2025-3-23 09:46:48
Computational geometry: Selected algorithms and paradigms,solated algorithmic solutions of geometric problems and to filter out the underlying principles and structures of paradigmatic character. Nevertheless we have no doubt that a considerable fraction of the ideas emerged in this area will quite soon become an integral part of any computer science curriculum.
规范就好
发表于 2025-3-23 15:21:26
Springer Tracts in Modern Physicsoned until a later section although to some readers it might seem appropriate for inclusion earlier. It should also be mentioned that this is a survey: therefore the items have been selected for mention on the grounds of interest rather than completeness.
挑剔小责
发表于 2025-3-23 20:38:02
Current developments in LISP,oned until a later section although to some readers it might seem appropriate for inclusion earlier. It should also be mentioned that this is a survey: therefore the items have been selected for mention on the grounds of interest rather than completeness.
反话
发表于 2025-3-23 23:40:48
Computer algebra: Past and future, to keep a proper prospective on our work: "The symbolic representation of abstract entities is doomed to its rightful place of relative insignificance in a world in which flowers and beautiful women abound."
表脸
发表于 2025-3-24 04:06:23
http://reply.papertrans.cn/31/3007/300620/300620_15.png
伙伴
发表于 2025-3-24 07:51:36
https://doi.org/10.1007/3-540-15983-5algorithms; computer algebra; proof; proof theory
modest
发表于 2025-3-24 14:12:00
http://reply.papertrans.cn/31/3007/300620/300620_17.png
BLINK
发表于 2025-3-24 16:29:39
http://reply.papertrans.cn/31/3007/300620/300620_18.png
松软
发表于 2025-3-24 20:14:22
Springer Tracts in Modern PhysicsPhysics is the most important field of applications for computer algebra. The applicability of presently available systems to problems in physics is discussed.
Needlework
发表于 2025-3-25 03:11:34
Springer Tracts in Modern PhysicsA survey of symbolic computation in chemistry is presented, emphasizing the impact on chemical information systems (storage and retrieval of chemical constitutional graphs), the enumeration and structural representation of chemical isomers.