EulerSharp Files

Euler Yet another proof Engine

Brought to you by: josd

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
Euler-2013-02.zip	2013-02-28	8.6 MB	0
Totals: 1 Item		8.6 MB	0

Other Useful Business Software

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.

Try it Free

Crowdtesting That Delivers | Testeum

Unfixed bugs delaying your launch? Test with real users globally – check it out for free, results in days.

Testeum connects your software, app, or website to a worldwide network of testers, delivering detailed feedback in under 48 hours. Ensure functionality and refine UX on real devices, all at a fraction of traditional costs. Trusted by startups and enterprises alike, our platform streamlines quality assurance with actionable insights. Click to perfect your product now.

Click to perfect your product now.

Recommended Projects

dotNetRDF
dotNetRDF is a .Net Class Library for working with RDF and SPARQL programatically built with C# 3 for the .Net Framework 3.5/4.0/Silverlight 4 and WIndows Phone 7. It provides a simple object model for representing RDF, SPARQL Queries and Updates and understands all common RDF and SPARQL syntaxes. Extensive documentation is available on the website and support is available via the mailing lists.
dotSesame
The dotSesame project is a C# port of the Sesame project, which is originally written in Java. It is an open source RDF database with support for RDF Schema inferencing and querying. Full documentation of Sesame can be found at http://www.openrdf.org/
EulerGUI
A lightweight IDE for Artificial Intelligence. Started as GUI for the Euler reasoning engine. The sources can be N3, RDF, OWL, UML, eCore, plain XML or XSD, files or URL's. Wraps Drools (or CWM, FuXi) as N3 rules engines. Model based app. generation.
A Machine Learning Course with Python
A course about machine learning with Python

EulerSharp Files

Euler Yet another proof Engine

Get an email when there's a new version of EulerSharp