Computer supported mathematics with \(\Omega\)MEGA (Q865650)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Computer supported mathematics with \(\Omega\)MEGA |
scientific article; zbMATH DE number 5128350
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computer supported mathematics with \(\Omega\)MEGA |
scientific article; zbMATH DE number 5128350 |
Statements
Computer supported mathematics with \(\Omega\)MEGA (English)
0 references
20 February 2007
0 references
artificial intelligence
0 references
computer-supported mathematics
0 references
proof assistant systems
0 references
interactive and automated theorem-proving
0 references
proof planning
0 references
Omega
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
