issues
search
Mttbnchtt
/
ontology-and-proofs
Ontological analysis of mathematical proofs
Other
3
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add content to Euclid's common notions
#44
Mttbnchtt
closed
9 months ago
1
Identify the relevant steps in Euclid's proof with axioms, postulates, or propositions
#43
Mttbnchtt
closed
9 months ago
1
Add content to Euclid's postulates.
#42
Mttbnchtt
closed
9 months ago
1
Is Euclid's step 4 (isosceles triangle proof) a construction?
#41
Mttbnchtt
closed
9 months ago
1
review step 1 in Euclid's proof
#40
Mttbnchtt
closed
9 months ago
1
review 2 steps in Aristotle's proof that have no reification properties
#39
Mttbnchtt
closed
9 months ago
2
add content of proof steps to the three ontologies concerning the isosceles triangle
#38
Mttbnchtt
closed
9 months ago
2
Fix https://www.foom.com/pappus_proofPappus#00000000000000000155
#37
Mttbnchtt
closed
9 months ago
1
Clarify historical Euclid's proof vs what we know label "Euclid's proof"
#36
Mttbnchtt
closed
9 months ago
1
Clarify rdf or owl container for areMore
#35
Mttbnchtt
closed
9 months ago
1
Euclid 7-9
#34
Mttbnchtt
closed
9 months ago
1
Euclid4
#33
Mttbnchtt
closed
2 years ago
0
add isSideOf
#32
Mttbnchtt
closed
2 years ago
1
fix step 19 Proclus' proof
#31
Mttbnchtt
closed
2 years ago
1
remove extendedTo
#30
Mttbnchtt
closed
2 years ago
1
fix producedTo
#29
Mttbnchtt
closed
9 months ago
1
review and probably remove axiom 4 from euclid.i.17.owl
#28
Mttbnchtt
closed
2 years ago
1
entailment of object-types
#27
Mttbnchtt
opened
2 years ago
2
add postulate 2 to Euclid's proof
#26
Mttbnchtt
closed
2 years ago
1
revise dependency graph
#25
Mttbnchtt
opened
2 years ago
0
add angles
#24
Mttbnchtt
closed
2 years ago
1
summand and sumOf relations
#23
Mttbnchtt
closed
2 years ago
1
Revise .gitignore and add input files
#22
Mttbnchtt
closed
2 years ago
1
Euclid3
#21
Mttbnchtt
closed
2 years ago
0
add README in tools folder
#20
Mttbnchtt
closed
2 years ago
1
Add citation of claims
#19
Mttbnchtt
closed
2 years ago
1
Python tool to ingest steps
#18
Mttbnchtt
closed
2 years ago
4
Euclid
#17
Mttbnchtt
closed
2 years ago
0
Model domain
#16
Mttbnchtt
closed
2 years ago
0
proofs by reductio
#15
Mttbnchtt
opened
2 years ago
1
describe or infer proof features
#14
Mttbnchtt
opened
2 years ago
0
direct antencedent relations
#13
Mttbnchtt
closed
2 years ago
1
Domain ontology
#12
Mttbnchtt
closed
2 years ago
0
Irreflexive properties
#11
Mttbnchtt
closed
9 months ago
3
Proof structure
#10
Mttbnchtt
closed
2 years ago
1
Refactoring
#9
Mttbnchtt
closed
2 years ago
1
add orderedPair of angles and projection relations relative to it
#8
Mttbnchtt
closed
3 years ago
0
add gitignore
#7
Mttbnchtt
closed
3 years ago
0
new owl file sqrt2.owl
#6
Mttbnchtt
closed
3 years ago
0
Irrationality of sqrt{2}
#5
Mttbnchtt
closed
2 years ago
1
Cartesian classes in OWL and Protege
#4
Mttbnchtt
closed
2 years ago
1
Euclid
#3
Mttbnchtt
closed
3 years ago
0
setup euclid/1
#2
Mttbnchtt
closed
3 years ago
0
Euclid I.17
#1
Mttbnchtt
closed
2 years ago
1
Previous