Pith. sign in

REVIEW 1 cited by

Integrating multiple sources to answer questions in Algebraic Topology

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1005.0749 v1 pith:7RSB2CCS submitted 2010-04-27 cs.SC cs.AIcs.HC

Jonathan Heras , Vico Pascual , Ana Romero , Julio Rubio This is my paper · ORCID
classification cs.SCcs.AIcs.HC
keywords systemalgebraicinterfacesourcestopologyalgebraallowingallows
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We present in this paper an evolution of a tool from a user interface for a concrete Computer Algebra system for Algebraic Topology (the Kenzo system), to a front-end allowing the interoperability among different sources for computation and deduction. The architecture allows the system not only to interface several systems, but also to make them cooperate in shared calculations.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Mining Math Conjectures from LLMs: A Pruning Approach

    cs.AI 2024-12 conditional novelty 4.0 of 10

    LLMs can generate original, simple conjectures about the solubilizer, but about two-thirds of their GAP code fails to execute.

Pith tools