While his other family members outdid Andrzej Trybulec in topology and geometry, he added to these specializations also his creation of Mizar -- the computer proof-checker.
↧
Channel:
Mathematicians with both “very abstract” and “very applied” achievements - MathOverflow
X
Are you the publisher?
Claim or
contact us
about this channel.
X
0
Channel Details:
- Title: Mathematicians with both “very abstract” and “very applied” achievements - MathOverflow
- Channel Number: 76963053
- Language: English
- Registered On: December 3, 2023, 6:56 pm
- Number of Articles: 69
- Latest Snapshot: December 3, 2023, 6:57 pm
- RSS URL: https://mathoverflow.net/feeds/question/349461
- Publisher: https://mathoverflow.net/q/349461
- Description:
- Catalog: //mathematicians119.rssing.com/catalog.php?indx=76963053
© 2025 //www.rssing.com