跳到内容
查看josephcmac的全尺寸头像
⚡
⚡
10追随者· 13下列的

成就

成就：北极代码库贡献者

成就

成就：北极代码库贡献者

集锦

  • 赞成

阻止或报告josephcmac

阻止用户

阻止此用户与存储库交互并向您发送通知。了解有关的更多信息阻止用户.

您必须登录才能阻止用户。

请不要包含任何个人信息，如法定姓名或电子邮件地址。最多100个字符，支持降价。此便笺将仅对您可见。
举报虐待行为

有关此用户的行为，请与GitHub支持人员联系。了解有关的更多信息举报虐待.

举报虐待行为
@LHAASOIHEP公司
LHAASOIHEP公司
@微博1997
鲜味果 微博1997
@卡巴里古
卡里姆·巴里古 卡巴里古
加州大学卢万分校精算学助理教授（比利时卢万拉纽夫）

UC鲁汶 比利时卢瓦因-拉努夫

@阿诺德嗡嗡声
阿诺德爆炸 阿诺德嗡嗡声
我在Wolfram Research制作了很棒的软件

沃尔夫勒姆研究公司 伊利诺伊州香槟市

@科利亚·瓦西利耶夫
科利亚·瓦西里耶夫 科利亚·瓦西利耶夫
@米盖尔姆卡布
米盖尔·卡里略B。 米盖尔姆卡布

墨西哥国立自治大学。 墨西哥

@穆克什蒂瓦里
穆凯什·蒂瓦里 穆克什蒂瓦里
斯旺西大学讲师（助理教授）

斯旺西

@杰帕塞特
朱利安·帕塞特 杰帕塞特
@贾隆索
何塞·A·阿隆索 贾隆索
Matemático interesado en el estudio and enseñanza de la lógica computional，la programación functional and el razonaminento automático在计算机、功能程序和自动化方面的研究和应用。

塞维利亚大学 塞维利亚（西班牙）

@alreadydone公司
徐俊彦（Junyan Xu） alreadydone公司
数学博士，研究Lean的数学题4和FLT的形式化。对数学的自动形式化和人工智能感兴趣。

海德堡/深圳