Cited in
(34)- Mathematical applications of inductive logic programming
- scientific article; zbMATH DE number 1980938 (Why is no real title available?)
- Mathematical Knowledge Management
- KI 2004: Advances in Artificial Intelligence
- Mechanizing Mathematical Reasoning
- scientific article; zbMATH DE number 2090057 (Why is no real title available?)
- Mathematical Knowledge Management
- An online computing and knowledge platform for differential equations
- Mathematical Knowledge Management
- Computer supported mathematics with MEGA
- RAEEM
- webMathematica
- OMRS
- Mozart
- GRAFFITI
- MBase
- HR
- tptp2X
- TLSE
- MapleTA
- OMEGA
- TRAMP
- Leo
- LOUI
- Omega-ANTS
- Bliksem
- KOMET
- PROTEIN
- Horus
- Constraint solving for proof planning
- scientific article; zbMATH DE number 1614717 (Why is no real title available?)
- 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
