|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 39 occurrences of 31 keywords
|
|
|
Results
Found 35 publication records. Showing 35 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
120 | Volker Sorge, Andreas Meier 0002, Roy L. McCasland, Simon Colton |
Automatic Construction and Verification of Isotopy Invariants. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
Automated mathematics, Classification theorems, Computer algebra, Automated theorem proving, Model generation, SAT solving, Invariant generation, Isotopy |
96 | Volker Sorge, Andreas Meier 0002, Roy L. McCasland, Simon Colton |
Automatic Construction and Verification of Isotopy Invariants. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
76 | Long Lin, Chee-Keng Yap |
Adaptive isotopic approximation of nonsingular curves: the parametrizability and nonlocal isotopy approach. |
SCG |
2009 |
DBLP DOI BibTeX RDF |
curve approximation, exact numerical algorithm, parametrizability, topological correctness, meshing, isotopy, subdivision algorithm |
68 | Emmanuel Briand |
Equations, inequations and inequalities characterizing the configurations of two real projective conics. |
Appl. Algebra Eng. Commun. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Arrangements of conics, Rigid isotopy, Relative position of two conics, Classical invariant theory |
49 | Jürgen Bierbrauer |
New Commutative Semifields and Their Nuclei. |
AAECC |
2009 |
DBLP DOI BibTeX RDF |
PN functions, planar functions, presemifields, semifields, middle nucleus, Dembowski-Ostrom polynomial, strong isotopy, kernel, isotopy |
46 | Simon Plantinga, Gert Vegter |
Isotopic meshing of implicit surfaces. |
Vis. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Approximation, Meshing, Implicit surfaces, Isotopy |
46 | F. Sokhatsky |
The Deepest Repetition-Free Decompositions of Non-Singular Functions of Finite-Valued Logics. |
ISMVL |
1996 |
DBLP DOI BibTeX RDF |
nonsingular functions, finite-valued logics, repetition-free, isotopy change, commutation change, associative change, Boolean functions, Boolean functions, multivalued logic, three-valued logics |
46 | J. Beckman, T. C. Wesselkamper |
The Radii of Sheffer Functions Over E(3). |
ISMVL |
1995 |
DBLP DOI BibTeX RDF |
Sheffer functions radii, two place function, least natural number, isotopy classes, E(3), symmetric Sheffer function, functions, multivalued logic |
44 | Rudi Penne |
Yang-Baxter Invariants for Line Configurations. |
Discret. Comput. Geom. |
1996 |
DBLP DOI BibTeX RDF |
|
30 | Frédéric Bihan, Erika Croy, Weixun Deng, Kaitlyn Phillipson, Robert J. Rennie, J. Maurice Rojas |
Quickly Computing Isotopy Type for Exponential Sums over Circuits (Extended Abstract). |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
30 | John D. LaGrange |
Divisor graphs and isotopy invariants of commutative quasigroups. |
J. Comb. Theory, Ser. A |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Benedikt Kolbe, Myfanwy E. Evans |
Enumerating Isotopy Classes of Tilings Guided by the Symmetry of Triply Periodic Minimal Surfaces. |
SIAM J. Appl. Algebra Geom. |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Rachel Karpman, Érika Roldán |
Isotopy graphs of Latin tableaux. |
Adv. Appl. Math. |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Si Tiep Ðinh, Zbigniew Jelonek |
Thom Isotopy Theorem for Nonproper Maps and Computation of Sets of Stratified Generalized Critical Values. |
Discret. Comput. Geom. |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Yuxue Ren, Chengfeng Wen, Shengxian Zhen, Na Lei, Feng Luo 0002, Xianfeng David Gu |
Characteristic Class of Isotopy for Surfaces. |
J. Syst. Sci. Complex. |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Eduard Vatutin, Alexey Belyshev, Stepan Kochemazov, Oleg Zaikin 0002, Natalia Nikitina |
Enumeration of Isotopy Classes of Diagonal Latin Squares of Small Order Using Volunteer Computing. |
RuSCDays |
2018 |
DBLP DOI BibTeX RDF |
|
30 | J. Maurice Rojas, Korben Rusek |
A-Discriminants for Complex Exponents and Counting Real Isotopy Types. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
30 | Dave Auckly, Hee Jung Kim, Paul Melvin, Daniel Ruberman |
Stable isotopy in four dimensions. |
J. Lond. Math. Soc. |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Éric Colin de Verdière, Arnaud de Mesmay |
Testing Graph Isotopy on Surfaces. |
Discret. Comput. Geom. |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Éric Colin de Verdière, Arnaud de Mesmay |
Testing Graph Isotopy on Surfaces. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
30 | Long Lin, Chee Yap |
Adaptive Isotopic Approximation of Nonsingular Curves: the Parameterizability and Nonlocal Isotopy Approach. |
Discret. Comput. Geom. |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Gaiane Panina |
Isotopy problems for saddle surfaces. |
Eur. J. Comb. |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Frédéric Chazal, David Cohen-Steiner, André Lieutier |
Normal cone approximation and offset shape isotopy. |
Comput. Geom. |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Patrick Dehornoy |
Efficient solutions to the braid isotopy problem. |
Discret. Appl. Math. |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Michael Joswig |
Isotopy of Polygonal Domains for Generalized Polygons. |
Eur. J. Comb. |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Marco Pellegrini 0001 |
Ray-shooting and Isotopy Classes of Lines in 3-Dimensional Space. |
WADS |
1991 |
DBLP DOI BibTeX RDF |
|
30 | Beat Jaggi, Peter Mani-Levitska, Bernd Sturmfels, Neil White |
Uniform Oriented Matroids Without the Isotopy Property. |
Discret. Comput. Geom. |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Joel Hass, Rida T. Farouki, Chang Yong Han, Xiaowen Song, Thomas W. Sederberg |
Guaranteed consistency of surface intersections and trimmed surfaces using a coupled topology resolution and domain decomposition scheme. |
Adv. Comput. Math. |
2007 |
DBLP DOI BibTeX RDF |
curve topology, ambient isotopy, tensor-product surfaces, surface perturbations, topological consistency, domain decomposition, trimmed surfaces, surface intersections |
24 | Edward L. F. Moore, Thomas J. Peters, John A. Roulier |
Preserving computational topology by subdivision of quadratic and cubic Bézier curves. |
Computing |
2007 |
DBLP DOI BibTeX RDF |
Bézier curves, subdivision, Computational topology, knots, isotopy |
24 | Gabriele Ferri 0001 |
Making sense of a game: a preliminary sketch for a semantic approach to games. |
Advances in Computer Entertainment Technology |
2007 |
DBLP DOI BibTeX RDF |
semic analysis, semantics, game, perception, structuralism, semiotics, isotopy |
24 | Takis Sakkalis, Thomas J. Peters |
Ambient isotopic approximations for surface reconstruction and interval solids. |
Symposium on Solid Modeling and Applications |
2003 |
DBLP DOI BibTeX RDF |
ambient isotopy, interval solids, offsets and deformations, reverse engineering, surface reconstruction, computational topology |
22 | Robert S. Coulter, Marie Henderson, Pamela Kosick |
Planar polynomials for commutative semifields with specified nuclei. |
Des. Codes Cryptogr. |
2007 |
DBLP DOI BibTeX RDF |
AMS Classifications 11T06, 12K10 |
22 | Ian M. Wanless |
Cycle Switches in Latin Squares. |
Graphs Comb. |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Gianluigi Bellin, Arnaud Fleury |
Planar and braided proof-nets for multiplicative linear logic with mix. |
Arch. Math. Log. |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Robert P. Grzeszczuk, Milana Huang, Louis H. Kauffman |
Physically-Based Stochastic Simplification of Mathematical Knots. |
IEEE Trans. Vis. Comput. Graph. |
1997 |
DBLP DOI BibTeX RDF |
knot classification, polynomial invariants, simulated annealing, knot theory, Mathematical visualization |
Displaying result #1 - #35 of 35 (100 per page; Change: )
|
|