not_IO@lemmy.blahaj.zone to 196@lemmy.blahaj.zoneEnglish · 5 个月前robot rulelemmy.blahaj.zoneexternal-linkmessage-square228linkfedilinkarrow-up11.38Karrow-down153
arrow-up11.33Karrow-down1external-linkrobot rulelemmy.blahaj.zonenot_IO@lemmy.blahaj.zone to 196@lemmy.blahaj.zoneEnglish · 5 个月前message-square228linkfedilink
minus-squareweker01@sh.itjust.workslinkfedilinkarrow-up4arrow-down3·5 个月前Never used a computer algebra system? Like wolfram mathematica or sage math or maple? Then we have proof assisting software like coq and smt solvers like cvc5 or Z3. This is all software that can solve real math problems in an easy way.
Never used a computer algebra system? Like wolfram mathematica or sage math or maple? Then we have proof assisting software like coq and smt solvers like cvc5 or Z3.
This is all software that can solve real math problems in an easy way.