swMATH10293MaRDI QIDQ22255FDOQ22255
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/3-540-45620-1_11
Cited In (32)
- Title not available (Why is that?)
- Mathematical applications of inductive logic programming
- Mathematical Knowledge Management
- KI 2004: Advances in Artificial Intelligence
- Mechanizing Mathematical Reasoning
- Title not available (Why is that?)
- Mathematical Knowledge Management
- An online computing and knowledge platform for differential equations
- Mathematical Knowledge Management
- Computer supported mathematics with \(\Omega\)MEGA
- Constraint solving for proof planning
- RAEEM
- Mozart
- GRAFFITI
- MBase
- HR
- tptp2X
- TLSE
- MapleTA
- Title not available (Why is that?)
- OMEGA
- TRAMP
- Leo
- LOUI
- Omega-ANTS
- Bliksem
- KOMET
- PROTEIN
- Horus
- Innovations in computational type theory using Nuprl
- A Rational Reconstruction of a System for Experimental Mathematics
- Automated conjecture making in number theory using HR, Otter and Maple
This page was built for software: MathWeb
