Описание тега eulersharp
C# порт Эйлера, который является механизмом вывода, поддерживающим логические доказательства.
1
ответ
n3 вывод применения str: содержит к xsd: строку в EulerSharp
У меня есть набор данных, который содержит большое количество ресурсов, которые мне нужно согласовать с различными существующими данными. Самый простой подход - сделать несколько простых сравнений строк между различными литералами. К сожалению, лите…
12 фев '13 в 10:45
3
ответа
Как вывести переменные из вложенных циклов, используя BigIntegers
Я получаю сумасшедшие ошибки, когда пытаюсь реализовать эту программу, написанную мной, чтобы решить гипотезу Леонарда Эйлера. Ошибка, кажется, в println, Ты знаешь, что я делаю не так? (Перед запуском программы ошибок нет, появляются сообщения об о…
09 апр '15 в 18:30
0
ответов
Интеграция Eulersharp с Cliopatria
Я хотел бы использовать сервер семантической паутины Cliopatria, однако в настоящее время я широко использую n3-правила, используя EulerSharp. Я не хочу терять гарантии прекращения, предоставляемые n3, но я бы хотел обслуживать полученные графики че…
19 мар '13 в 06:28