Towards Mechanized Mathematical Assistants
by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger
Algebra, data processingMathematical analysisLogic, symbolic and mathematicalKnowledge management
Writing a summary for young readers…
For young readers
Book data: Open Library