|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 389 occurrences of 225 keywords
|
|
|
Results
Found 1584 publication records. Showing 1584 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
28 | Kenji Ohmori, Wona Lee |
Shape Modeling Using Cellular Structured Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 1st International Symposium on Cyber Worlds (CW 2002), 6-8 November 2002, Tokyo, Japan, pp. 447-454, 2002, IEEE Computer Society, 0-7695-1862-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
homotopy model, filtration, cellular spatial structures |
28 | Toshio Kodama, Tosiyasu L. Kunii |
Homotopic Database Animation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CA ![In: Computer Animation 2002, CA 2002, Geneva, Switzerland, June 19-21, 2002, pp. 89-97, 2002, IEEE Computer Society, 0-7695-1594-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
database animation, cellular databases, homotopic animation, homotopy, cellular model |
28 | George Baciu, Tosiyasu L. Kunii |
Homological Invariants and HolorGraphic Representations of Topological Structures in Cellular Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Graphics International ![In: Computer Graphics International Conference, CGI 2000, Geneva, Switzerland, June 19-24, 2000, pp. 89-98, 2000, IEEE Computer Society, 0-7695-0643-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
holors, graph theory, geometric modeling, homotopy, simplicial complexes, topological spaces, cellular spaces |
28 | Tosiyasu L. Kunii, Hideko S. Kunii |
A Cellular Model for Information Systems on the Web-Integrating Local and Global Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DANTE ![In: 1999 International Symposium on Database Applications in Non-Traditional Environments (DANTE '99), 28-30 November 1999, Kyoto, Japan, pp. 19-, 1999, IEEE Computer Society, 0-7695-0496-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
a cellular model, a web information model, a cyberworld model, integrating local models globally, a situation model, web information mining, homotopy theory, cellular spatial structures |
28 | Gilles Bertrand 0001, Michel Couprie |
Some Structural Properties of Discrete Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 7th International Workshop, DCGI'97, Montpellier, France, Secember 3-5, 1997, Proceedings, pp. 113-124, 1997, Springer, 3-540-63884-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
surfaces, homotopy, simple points, discrete topology |
27 | Wenbo He, Yunshen Huang, Jie Wang, Shen Zeng |
Homotopy Method for Optimal Motion Planning With Homotopy Class Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 1045-1050, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Sergey V. Arkhipov, Sebastian Ørsted |
Homotopy (Co)limits via Homotopy (Co)ends in General Combinatorial Model Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 31(6), pp. 47, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Jonathan Prieto-Cubides |
On homotopy of walks and spherical maps in homotopy type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17 - 18, 2022, pp. 338-351, 2022, ACM, 978-1-4503-9182-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Jonathan Prieto-Cubides |
On Homotopy of Walks and Spherical Maps in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.06609, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
27 | Jafar Biazar, Roya Montazeri |
Optimal Homotopy Asymptotic and Multistage Optimal Homotopy Asymptotic Methods for Solving System of Volterra Integral Equations of the Second Kind. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2019, pp. 3037273:1-3037273:17, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Guillaume Brunerie |
On the homotopy groups of spheres in homotopy type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1606.05916, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
27 | Alexander V. Evako |
Classification of graphs using contractible transformations. Homotopy equivalence of graphs. Basic representatives and complexity of homotopy equivalence classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1512.07989, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
27 | Hassan A. Zedan, W. Barakati, Nada Hamad |
The Application of the Homotopy Analysis Method and the Homotopy Perturbation Method to the Davey-Stewartson Equations and Comparison between Them and Exact Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2013, pp. 326473:1-326473:12, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Majid Khan, Muhammad Asif Gondal, Iqtadar Hussain, S. Karimi Vanani |
A new comparative study between homotopy analysis transform method and homotopy perturbation transform method on a semi infinite domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Model. ![In: Math. Comput. Model. 55(3-4), pp. 1143-1150, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Subir Das, Praveen Kumar Gupta |
Application of homotopy perturbation method and homotopy analysis method to fractional vibration equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 88(2), pp. 430-441, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Ilkka Malinen, Juha Tanskanen |
Homotopy parameter bounding in increasing the robustness of homotopy continuation methods in multiplicity studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 34(11), pp. 1761-1774, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Philippe Gaucher |
T-Homotopy and Refinement of Observation - Part II: Adding New T-Homotopy Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2007, pp. 87404:1-87404:20, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Tzong-Mou Wu |
Solving the nonlinear equations by the Newton-homotopy continuation method with adjustable auxiliary homotopy function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 173(1), pp. 383-388, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Shijun Liao |
Comparison between the homotopy analysis method and homotopy perturbation method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 169(2), pp. 1186-1194, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Ji-Huan He |
Comparison of homotopy perturbation method and homotopy analysis method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 156(2), pp. 527-539, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Beifang Chen, Shing-Tung Yau, Yeong-Nan Yeh |
Graph homotopy and Graham homotopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 241(1-3), pp. 153-170, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Klaus Heiner Kamps, Timothy Porter 0001 |
Abstract homotopy and simple homotopy theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1997 |
RDF |
|
25 | Hans-Joachim Baues, Fernando Muro |
Smash Products for Secondary Homotopy Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 16(5), pp. 551-616, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 55Q15, 55Q35, 55S45 |
25 | Tsung-Lin Lee, Tien-Yien Li, Chih-Hsiung Tsai |
HOM4PS-2.0: a software package for solving polynomial systems by the polyhedral homotopy continuation method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 83(2-3), pp. 109-133, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 65H10, 65H15, 90B99 |
25 | Nicolas Delanoue, Luc Jaulin, Bertrand Cottenceau |
Guaranteeing the Homotopy Type of a Set Defined by Non-Linear Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 13(5), pp. 381-398, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Anton Leykin, Jan Verschelde |
Interfacing with the Numerical Homotopy Algorithms in PHCpack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings, pp. 354-360, 2006, Springer, 3-540-38084-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Javier Vidal, José Crespo, Victor Maojo |
Inclusion Relationships and Homotopy Issues in Shape Interpolation for Binary Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 12th International Conference, DGCI 2005, Poitiers, France, April 13-15, 2005, Proceedings, pp. 206-215, 2005, Springer, 3-540-25513-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
median set, image processing, interpolation, mathematical morphology, shape interpolation |
25 | Wenhui Li 0002, Chunhong Cao, Wan Yi |
A New Algebraic-Based Geometric Constraint Solving Approach: Path Tracking Homotopy Iteration Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS ![In: Computational and Information Science, First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings, pp. 449-454, 2004, Springer, 3-540-24127-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Jaewook Lee 0001 |
A novel homotopy-based algorithm for the closest unstable equilibrium point method in nonlinear stability analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 8-11, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Yasuaki Inoue, Saeko Kusanobu, Kiyotaka Yamamura, M. Ando |
An effective initial solution algorithm for globally convergent homotopy methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 196-199, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Kotzor, Thorsten Theobald |
Homotopy techniques for real-time visualization of geometric tangent problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 18th Annual Symposium on Computational Geometry, Barcelona, Spain, June 5-7, 2002, pp. 275-276, 2002, ACM, 1-58113-504-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Ernesto Chiarantoni, Girolamo Fornarelli, Silvano Vergura, Tiziano Politi |
A Fixed Point Homotopy Method for Efficient Time-Domain Simulation of Power Electronic Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2002, International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings, Part III, pp. 439-448, 2002, Springer, 3-540-43594-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Jaewook Lee 0001, Hsiao-Dong Chiang |
Computation of multiple type-one equilibrium points on the stability boundary using generalized fixed-point homotopy methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2001 International Symposium on Circuits and Systems, ISCAS 2001, Sydney, Australia, May 6-9, 2001, pp. 361-364, 2001, IEEE, 0-7803-6685-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Akio Ushida, Yoshihiro Yamagami, Ikkei Kinouchi, Yoshifumi Nishio, Yasuaki Inoue |
An efficient algorithm for finding multiple DC solutions based on Spice oriented Newton homotopy method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 2001 International Symposium on Circuits and Systems, ISCAS 2001, Sydney, Australia, May 6-9, 2001, pp. 447-450, 2001, IEEE, 0-7803-6685-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Sakaki Morishita, Neil Henderson |
Homotopy and Intellectual Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Graphics International ![In: Computer Graphics International Conference, CGI 1999, Canmore, Alberta, Canada, June 7-11, 1999, pp. 156-162, 1999, IEEE Computer Society, 0-7695-0185-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Ichiro Hagiwara, Shinsuke Noda |
Homotopical Modeling as the Basis of New CAD Standard Homotopy CAD for Collaboration Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Graphics International ![In: Computer Graphics International Conference, CGI 1999, Canmore, Alberta, Canada, June 7-11, 1999, pp. 231-237, 1999, IEEE Computer Society, 0-7695-0185-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Laura Anderson |
Homotopy Groups of the Combinatorial Grassmannian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 20(4), pp. 549-560, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Layne T. Watson, Masha Sosonkina, Robert C. Melville, Alexander P. Morgan, Homer F. Walker |
Algorithm 777: HOMPACK90: A Suite of Fortran 90 Codes for Globally Convergent Homotopy Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 23(4), pp. 514-549, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Chow-Yorke algorithm, fixed point, Fortran 90, curve tracking |
25 | Gudrun Albrecht, Rida T. Farouki |
Construction ofC2 Pythagorean-hodograph interpolating splines by the homotopy method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 5(1), pp. 417-442, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Jie Gao 0001, Leonidas J. Guibas, Steve Oudot, Yue Wang |
Geodesic Delaunay triangulation and witness complex in the plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2008, San Francisco, California, USA, January 20-22, 2008, pp. 571-580, 2008, SIAM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
24 | Dongshu Yan, Jintao Zhang, Bo Yu 0003, Changtong Luo, Shaoliang Zhang |
A Genetic Algorithm for Finding Minimal Multi-homogeneous Bézout Number. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 7th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2008, 14-16 May 2008, Portland, Oregon, USA, pp. 301-305, 2008, IEEE Computer Society, 978-0-7695-3131-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
minimal multi-homogeneous Bezout number, genetic algorithm, heuristics, polynomial equations |
24 | Eric Goubault, Emmanuel Haucourt |
Components of the Fundamental Category II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 15(4), pp. 387-414, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18A20, 18A22, 18A32, 18A40 |
24 | Tomohiko Mizutani, Akiko Takeda, Masakazu Kojima |
Dynamic Enumeration of All Mixed Cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 37(3), pp. 351-367, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Tryphon T. Georgiou |
Relative entropy and the multivariable multidimensional moment problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(3), pp. 1052-1066, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Leonard Jaillet, Thierry Siméon |
Path Deformation Roadmaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAFR ![In: Algorithmic Foundation of Robotics VII, Selected Contributions of the Seventh International Workshop on the Algorithmic Foundations of Robotics, WAFR 2006, July 16-18, 2006, New York, NY, USA, pp. 19-34, 2006, Springer, 978-3-540-68404-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Dmitry N. Kozlov |
Directed Trees in a String, Real Polynomials with Triple Roots, and Chain Mails. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 32(3), pp. 373-382, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Zvi Shiller, Yusuke Fujita, Dan Ophir, Yoshihiko Nakamura |
Computing a Set of Local Optimal Paths through Cluttered Environments and over Open Terrain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 4759-4764, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Robin Forman |
Morse Theory and Evasiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 20(4), pp. 489-504, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
AMS Subject Classification (1991) Classes: 05C99, 55U05 |
16 | Ojaswa Sharma, Francois Anton |
Homotopic Object Reconstruction Using Natural Neighbor Barycentric Coordinates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVD ![In: Seventh International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2010, Quebec, Canada, June 28-30, 2010, pp. 181-188, 2010, IEEE Computer Society, 978-0-7695-4112-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
continuous deformations, linear cross sections, reconstruction, Homotopy |
16 | Peter Bürgisser, Felipe Cucker |
Solving polynomial equations in smoothed polynomial time and a near solution to smale's 17th problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010, pp. 503-512, 2010, ACM, 978-1-4503-0050-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
approximate zero, polynomial equation solving, complexity, polynomial time, smoothed analysis, homotopy methods |
16 | Helmut Maier |
Fundamental Theorem of Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1101-1102, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Argument principle, Homotopy, Splitting field |
16 | Peter Orlik |
Hyperplane Arrangements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1545-1547, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Geometric semilattice, Orlik-Solomon algebra, Divisor, Homotopy type, Poincaré polynomial, Ball quotient, Logarithmic form, Hypergeometric integral, Singularity, Complement, Hyperplane arrangement |
16 | Jürgen Guddat, Francisco Guerra Vázquez, Dieter Nowack |
Parametric Optimization: Embeddings, Path Following and Singularities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 2924-2930, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Generic singularities, Embedding, Path following, Parametric optimization, Continuation method, Homotopy method |
16 | Leigh Tesfatsion |
Nonlocal Sensitivity Analysis with Automatic Differentiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 2642-2647, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Nonlocal sensitivity analysis, Nasa program, Feed algorithm, Adaptive homotopy, Adaptive computational method, Automatic differentiation |
16 | Jeff Danciger, Satyan L. Devadoss, John Mugno, Don Sheehy, Rachel A. Ward |
Shape deformation in continuous map generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GeoInformatica ![In: GeoInformatica 13(2), pp. 203-221, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Continuous generalization, Scale change, Homotopy, Cartograms |
16 | Pedro Real 0001 |
Connectivity Forests for Homological Analysis of Digital Volumes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I, pp. 415-423, 2009, Springer, 978-3-642-02477-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
digital volume, graph, tree, homology, forest, cell complex, cohomology, chain homotopy |
16 | Helena Molina-Abril, Pedro Real 0001 |
Homological Computation Using Spanning Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIARP ![In: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 14th Iberoamerican Conference on Pattern Recognition, CIARP 2009, Guadalajara, Jalisco, Mexico, November 15-18, 2009. Proceedings, pp. 272-278, 2009, Springer, 978-3-642-10267-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
digital volume, tree, spanning tree, homology, Cell complex, gradient vector field, chain homotopy |
16 | Ainhoa Berciano, Helena Molina-Abril, Ana Pacheco, Pawel Pilarczyk, Pedro Real 0001 |
Decomposing Cavities in Digital Volumes into Products of Cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 15th IAPR International Conference, DGCI 2009, Montréal, Canada, September 30 - October 2, 2009. Proceedings, pp. 263-274, 2009, Springer, 978-3-642-04396-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
cubical homology, cubical set, cavity, Alexander Whitney diagonal, algebraic gradient vector field, digital image, cycle, homology, cell complex, chain homotopy |
16 | Pedro Real 0001, Helena Molina-Abril, Walter G. Kropatsch |
Homological Tree-Based Strategies for Image Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP ![In: Computer Analysis of Images and Patterns, 13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009. Proceedings, pp. 326-333, 2009, Springer, 978-3-642-03766-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
digital volume, tree, skeleton, homology, image pyramid, Cell complex, gradient vector field, chain homotopy |
16 | Saugata Basu |
On the Number of Topological Types Occurring in a Parameterized Family of Arrangements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 40(4), pp. 481-503, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
O-minimal structures, Homotopy types, Arrangements, Combinatorial complexity |
16 | Yun Guan, Jan Verschelde |
Parallel Implementation of a Subsystem-by-Subsystem Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCS ![In: 22nd Annual International Symposium on High Performance Computing Systems and Applications (HPCS 2008), June 9-11, 2008, Québec City, Canada, pp. 117-123, 2008, IEEE Computer Society, 978-0-7695-3250-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
subsystem-by-subsystem solver, polynomial systems, homotopy continuation |
16 | Erin W. Chambers, Jeff Erickson 0001, Pratik Worah |
Testing contractibility in planar rips complexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 24th ACM Symposium on Computational Geometry, College Park, MD, USA, June 9-11, 2008, pp. 251-259, 2008, ACM, 978-1-60558-071-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
rips shadow, vietoris-rips complex, computational topology, homotopy |
16 | Peidong Wu, Changlin Wu, Lianqing Yu |
An Method for Forward Kinematics of Stewart Parallel Manipulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (1) ![In: Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part I, pp. 171-178, 2008, Springer, 978-3-540-88512-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Forward Kinematics, Homotopy Theory, Parallel Manipulators |
16 | Anton Leykin |
Numerical primary decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings, pp. 165-172, 2008, ACM, 978-1-59593-904-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
polynomial homotopy continuation, primary decomposition, numerical algebraic geometry, deflation |
16 | Charles W. Wampler II |
Numerical algebraic geometry and kinematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNC ![In: Symbolic-Numeric Computation, SNC 2007, International Workshop, 25-27 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 29-32, 2007, ACM, 978-1-59593-744-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
robotics, kinematics, numerical algebraic geometry, homotopy continuation |
16 | Derek Justice, Alfred O. Hero III |
A Binary Linear Programming Formulation of the Graph Edit Distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 28(8), pp. 1200-1214, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
continuation (homotopy) methods, linear programming, similarity measures, Graph algorithms, graphs and networks, structural pattern recognition |
16 | Kenji Ohmori, Tosiyasu L. Kunii |
An Incrementally Modular Abstraction Hierarchy for Linear Software Development Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 5th International Conference on Cyberworlds (CW 2006), 28-29 November 2006, Lausanne, Switzerland, pp. 216-223, 2006, IEEE Computer Society, 0-7695-2671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
incrementally modular abstraction hierarchy, fiber bundles, adjunction spaces, software development, homotopy, cellular spaces, Cyberworlds |
16 | Frédéric Chazal, André Lieutier |
Weak feature size and persistent homology: computing homology of solids in Rn from noisy data samples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 21st ACM Symposium on Computational Geometry, Pisa, Italy, June 6-8, 2005, pp. 255-262, 2005, ACM, 1-58113-991-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
homotopy type, topological persistence, reverse engineering, surface reconstruction |
16 | Michael A. Erdmann |
Protein similarity from knot theory and geometric convolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Eighth Annual International Conference on Computational Molecular Biology, 2004, San Diego, California, USA, March 27-31, 2004, pp. 195-204, 2004, ACM, 1-58113-755-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
writhing, homotopy, protein structure, homology, robot motion planning, knot theory |
16 | Tomoyuki Nieda, Alexander A. Pasko, Tosiyasu L. Kunii |
Detection and Classification of Critical Points for Linear Metamorphosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 3rd International Conference on Cyberworlds (CW 2004), 18-20 November 2004, Tokyo, Japan, pp. 384-391, 2004, IEEE Computer Society, 0-7695-2140-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
classification, homotopy, critical points, Morse theory, Metamorphosis |
16 | Dmitrii Berzin, Ichiro Hagiwara |
Minimal area for surface reconstruction from cross sections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 18(7), pp. 437-444, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Optimal shape from slices, Interpolation, Geometric modeling, Homotopy |
16 | Jaijeet S. Roychowdhury |
A time-domain RF steady-state method for closely spaced tones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 510-513, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
MPDE, RF switching mixers, analog/RF simulation, artificial time scales, difference-frequency time scales, multi-time PDEs, shooting, analog, homotopy, mixed-signal, envelope, continuation methods, harmonic balance |
16 | Yassin M. Y. Hasan, Lina J. Karam |
Morphological Reversible Contour Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 22(3), pp. 227-240, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
contour coding, contour filling, topology, mathematical morphology, Shape analysis, shape representation, binary images, homotopy |
16 | Tamal K. Dey, Sumanta Guha |
Computing Homology Groups of Simplicial Complexes in R3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 45(2), pp. 266-287, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
d/ dimensions, generators, topology, homotopy, homology, simplicial complexes |
16 | Yoshihisa Shinagawa, Tosiyasu L. Kunii |
Unconstrained Automatic Image Matching Using Multiresolutional Critical-Point Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 20(9), pp. 994-1010, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
critical-point filters, volume rendering, Image matching, multiresolution, morphing, nonlinear filters, singularity, homotopy, image interpolation |
16 | Ming-Deh A. Huang, Yiu-Chung Wong |
Solving Systems of Polynomial Congruences Modulo a Large Prime (extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 37th Annual Symposium on Foundations of Computer Science, FOCS '96, Burlington, Vermont, USA, 14-16 October, 1996, pp. 115-124, 1996, IEEE Computer Society, 0-8186-7594-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
polynomial congruences, algebraic homotopy method, algebraic set, computational complexity, randomized algorithm, decision, parallel complexity |
16 | Lenwood S. Heath, Sorin Istrail |
The Pagenumber of Genus g Graphs is O(g). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 39(3), pp. 479-501, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
book embeddings, graph genus, homotopy classes, planar-nonplanar decomposition, surface embeddings |
16 | Majid Sarrafzadeh, D. T. Lee |
Topological Via Minimization Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(11), pp. 1307-1312, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
topological via minimization problem, two-layer environment, two-terminal nets, bounded region, two-sided channel routing problem, partition number, circle graph, graph theory, circuit layout CAD, homotopy, optimal solution |
13 | Patrick Gillespie |
Vietoris thickenings and complexes are weakly homotopy equivalent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Comput. Topol. ![In: J. Appl. Comput. Topol. 8(1), pp. 35-53, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Ghaliah Alhamzi, Aafrin Gouri, Badr Saad T. Alkahtani, Ravi Shanker Dubey |
Analytical Solution of Generalized Bratu-Type Fractional Differential Equations Using the Homotopy Perturbation Transform Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 13(2), pp. 133, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Nesreen Althobaiti, Sayed M. Abo-Dahab, Araby Atef Kilany, Abdelmooty M. Abd-Aalla |
Solution of a Half-Space in Generalized Thermoelastic Problem in the Context of Two Models Using the Homotopy Perturbation Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(9), pp. 827, September 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Ci Chen, Frank L. Lewis, Kan Xie, Shengli Xie |
Adaptive Optimal Control of Unknown Nonlinear Systems via Homotopy-Based Policy Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 69(5), pp. 3396-3403, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Haoyang Zheng, Yao Huang, Ziyang Huang, Wenrui Hao, Guang Lin |
HomPINNs: Homotopy physics-informed neural networks for solving the inverse problems of nonlinear differential equations with multiple solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 500, pp. 112751, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Andreas Klingler, Tim Netzer |
Homotopy Methods for Convex Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.02095, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Axel Ljungström, Anders Mörtberg |
Computational Synthetic Cohomology Theory in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.16336, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Gratzer, Håkon Gylterud, Anders Mörtberg, Elisabeth Stenholm |
The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.04893, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Peixuan Li, Chuangyin Dang, Yang Zhan 0006 |
A Gradually Reinforced Sample-Average-Approximation Differentiable Homotopy Method for a System of Stochastic Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.00294, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Jonathan Weinberger |
Generalized Chevalley criteria in simplicial homotopy type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.08190, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Timothy Duff, Kisun Lee |
Certified homotopy tracking using the Krawczyk method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.07053, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary |
homotopy.io: a proof assistant for finitely-presented globular n-categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.13179, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Axel Ljungström |
Symmetric Monoidal Smash Products in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.03523, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Xingbang Cui, Liping Zhang |
Computing the dominant eigenpair of an essentially nonnegative tensor via a homotopy method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 438, pp. 115565, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Nazmul Sk, Golam Biswas |
Soft Homotopy Classes and Their Fundamental Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Math. Nat. Comput. ![In: New Math. Nat. Comput. 20(1), pp. 45-59, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Henry Adams, Florian Frick, Ziga Virk |
Vietoris thickenings and complexes have isomorphic homotopy groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Comput. Topol. ![In: J. Appl. Comput. Topol. 7(2), pp. 221-241, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yang-yang Liu, Jian-wei Liu 0006 |
An attempt to apply the homotopy method to the domain of machine learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 234, pp. 121098, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Fujie Yu, Yuan Chen |
Cyl-IRRT*: Homotopy Optimal 3D Path Planning for AUVs by Biasing the Sampling Into a Cylindrical Informed Subset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 70(4), pp. 3985-3994, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Shan Luo 0002, Tao Zhou, Yong Xiao, Rongping Lin, Yao Yan |
Predicting spectrum status duration using non-linear homotopy estimation based HMM for UAV communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Process. ![In: Signal Process. 212, pp. 109131, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Fedor Manin |
Rational Homotopy Type and Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 23(5), pp. 1817-1849, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Ulrik Buchholtz, Egbert Rijke |
The long exact sequence of homotopy n-groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 33(8), pp. 679-687, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Dan Licata, Peter LeFanu Lumsdaine |
Special issue on homotopy type theory 2019 vol. 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 33(8), pp. 660, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 1584 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|