I'm aware of work like https://t.co/spePGYA6Ou but this is more focused on representing different ontologies, not explaining how they actually relate to doing computation.
657 followers
19,966 followers
@addshore @PersonalDataIO @Cassandreces @OpenHumansOrg @gedankenstuecke @madprime @david_stillwell We want to enable it by implementing in Wikibase this type of approach, transferred from mathematics https://t.co/ou8LC2otA0
642 followers
#arXiv #cs_LO "Satisfiability Checking meets Symbolic Computation (Project Paper). (arXiv:1607.08028v1 [cs.SC])" https://t.co/rUtzoLzbJe
5,436 followers
Mathematical Theory Exploration in Theorema: Reduction Rings. https://t.co/hSZjBxJa8P