#cas

2021-3-7 12:54
Juliasymbolics组织的路线图我们需要新的计算机代数系统(CAS),用于这个新的计算时代。 我们需要一个CAS以我们思考的多种方式调度。 我们需要一个符合我们的问题的CAS。 我们需要一个与我们的包生态系统集成的CA,让人们扩展零件并用一种语言返回核心库。 我们需要现代语言的现代cas。 symbolics......
2020-7-6 20:20
我已经创建了一批新的证书,这些证书违反了BRS的4.9.9,这是在ASA必须满足的基准要求的第一个版本中引入的。这是https://misissued.com/batch/138/。 在受影响的CA中快速检查包括以下O个字段:Quovadis、GlobalSign、Digicert、HARICA、Certinomis......