Transfinite nesting in array-theoretic figures, changes, rigs, and arms. Part I
APL '93 Proceedings of the international conference on APL
Social processes and proofs of theorems and programs
Communications of the ACM
The Automation of Proof: A Historical and Sociological Exploration
IEEE Annals of the History of Computing
Robot Localization without Depth Perception
SWAT '02 Proceedings of the 8th Scandinavian Workshop on Algorithm Theory
The constructed objectivity of mathematics and the cognitive subject
Quantum mechanics, mathematics, cognition and action
Conservation principles and action schemes in the synthesis of geometric concepts
Artificial Intelligence
Computerizing Mathematical Text with MathLang
Electronic Notes in Theoretical Computer Science (ENTCS)
Ensuring Generality in Euclid's Diagrammatic Arguments
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Metagnostic deductive question answering with explanation from texts
UAHCI'11 Proceedings of the 6th international conference on Universal access in human-computer interaction: applications and services - Volume Part IV
Toward an object-oriented structure for mathematical text
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Premise selection in the naproche system
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
An investigation of hilbert's implicit reasoning through proof discovery in idle-time
ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry
A coherent logic based geometry theorem prover capable of producing formal and readable proofs
ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry
Journal of Automated Reasoning
Journal of Computational and Applied Mathematics
| Hi-index | 0.02 |