|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marek Krcál, Jirí Matousek, Francis Sergeraert |
Polynomial-time homology for simplicial Eilenberg-MacLane spaces  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ana Romero, Francis Sergeraert |
Effective homotopy of fibrations.  |
Appl. Algebra Eng. Commun. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Cadek, Marek Krcál, Jirí Matousek, Francis Sergeraert, Lukás Vokrínek, Uli Wagner |
Computing all maps into a sphere.  |
SODA  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jónathan Heras, Vico Pascual, Julio Rubio, Francis Sergeraert |
fKenzo: A user interface for computations in Algebraic Topology.  |
J. Symb. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Cadek, Marek Krcál, Jirí Matousek, Francis Sergeraert, Lukás Vokrínek, Uli Wagner |
Computing all maps into a sphere  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ana Romero, Francis Sergeraert |
Discrete Vector Fields and Fundamental Algebraic Topology  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ana Romero, Julio Rubio, Francis Sergeraert |
Computing spectral sequences.  |
J. Symb. Comput.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | César Domínguez, Julio Rubio, Francis Sergeraert |
Modeling Inheritance as Coercion in the Kenzo System.  |
J. UCS  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ana Romero, Julio Rubio, Francis Sergeraert |
Computing spectral sequences  |
CoRR  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Julio Rubio, Francis Sergeraert |
Computing with locally effective matrices.  |
Int. J. Comput. Math.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Francis Sergeraert |
From a Noncomputability Result to new interesting Definitions and Computability Results.  |
ISSAC  |
1988 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|