Advertentie
Isabelle
Isabelle - Generic Proof Assistant die wiskundige formules in een formele taal kan worden uitgedrukt ...
assistent proof assistant bewijs formaliseren wiskundig bewijs formele verificatie
Bonjour-bewijs van concepttoepassingen
Bonjour-bewijs van concepttoepassingen - voor het geval u een demonstratie nodig had. ...
Bewijs het
Firefox-add-on die tracking-referenties in MediaWiki faciliteert met behulp van cite.php .. ...
Wiskundig
Draagbaar, algemene CAS (Computer Algebra-systeem) Geschreven volledig in de C-programmeertaal ...
vergelijken oplossen Los algebraïsche vergelijking op vergelijk uitdrukking calculus transformatie
Wiskundig toetsenbord
Wiskundig toetsenbord - de app die u nodig hebt als u wiskundige symbolen met gemak wilt schrijven ...
wiskunde symbool toetsenbord wiskundebord wiskunde schrijver
Bewijs
Fast Document Export Herziening voor iedereen ...
beoordeling document exportdocument recensent Documentbeoordeling
Wiskundig
Een eenvoudig wiskundig spel voor kinderen ...