MathWeb
From MaRDI portal
Software:22255
swMATH10293MaRDI QIDQ22255FDOQ22255
Author name not available (Why is that?)
Cited In (15)
- 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
- Mathematical Knowledge Management
- Computer supported mathematics with \(\Omega\)MEGA
- Constraint solving for proof planning
- An Online Computing and Knowledge Platform for Differential Equations
- Title not available (Why is that?)
- 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
