严重伤害
发表于 2025-3-25 05:57:37
Combining theorem proving and symbolic mathematical computing,rover. A high level of interaction requires a common knowledge representation of the mathematical knowledge of the two systems. We describe a model for such a knowledge base mainly consisting of type and algorithm schemata, algebraic algorithms and theorems.
indifferent
发表于 2025-3-25 09:55:24
http://reply.papertrans.cn/47/4688/468759/468759_22.png
贪婪的人
发表于 2025-3-25 13:00:14
http://reply.papertrans.cn/47/4688/468759/468759_23.png
GONG
发表于 2025-3-25 16:02:20
Integrating Symbolic Mathematical Computation and Artificial IntelligenceSecond International
expeditious
发表于 2025-3-25 23:34:45
A general technique for automatically optimizing programs through the use of proof plans,small (meta-level) search space..Different optimizations are achieved by placing different characterizing restrictions on the form of this new sub-goal and hence on the subsequent proof. Metavariables and higher-order unification are used in a technique called . to circumvent eureka steps concerning
使饥饿
发表于 2025-3-26 02:30:58
http://reply.papertrans.cn/47/4688/468759/468759_26.png
helper-T-cells
发表于 2025-3-26 05:33:49
Jochen Pfalzgraf,Ute Cornelia Sigmund,Karel Stokkermans
引起
发表于 2025-3-26 11:23:28
Luis M. Laita,Luis de Ledesma,Eugenio Roanes-Lozano,Eugenio Roanes-Macías
LIMIT
发表于 2025-3-26 15:20:28
http://reply.papertrans.cn/47/4688/468759/468759_29.png
NAUT
发表于 2025-3-26 19:33:02
http://reply.papertrans.cn/47/4688/468759/468759_30.png