Search results for "isotopy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Long Lin, Chee-Keng Yap	Adaptive isotopic approximation of nonsingular curves: the parametrizability and nonlocal isotopy approach.	Symposium on Computational Geometry	2009	DBLP DOI BibTeX RDF	curve approximation, exact numerical algorithm, parametrizability, topological correctness, meshing, isotopy, subdivision algorithm
3	Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton	Automatic Construction and Verification of Isotopy Invariants.	J. Autom. Reasoning	2008	DBLP DOI BibTeX RDF	Automated mathematics, Classification theorems, Computer algebra, Automated theorem proving, Model generation, SAT solving, Invariant generation, Isotopy
2	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
2	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
2	Simon Plantinga, Gert Vegter	Isotopic meshing of implicit surfaces.	The Visual Computer	2007	DBLP DOI BibTeX RDF	Approximation, Meshing, Implicit surfaces, Isotopy
2	Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton	Automatic Construction and Verification of Isotopy Invariants.	IJCAR	2006	DBLP DOI BibTeX RDF
2	F. Sokhatsky	The Deepest Repetition-Free Decompositions of Non-Singular Functions of Finite-Valued Logics. (PDF / PS)	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
2	J. Beckman, T. C. Wesselkamper	The Radii of Sheffer Functions Over E(3). (PDF / PS)	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
1	Long Lin, Chee Yap	Adaptive Isotopic Approximation of Nonsingular Curves: the Parameterizability and Nonlocal Isotopy Approach.	Discrete & Computational Geometry	2011	DBLP DOI BibTeX RDF
1	G. Panina	Isotopy problems for saddle surfaces.	Eur. J. Comb.	2010	DBLP DOI BibTeX RDF
1	Frédéric Chazal, David Cohen-Steiner, André Lieutier	Normal cone approximation and offset shape isotopy.	Comput. Geom.	2009	DBLP DOI BibTeX RDF
1	Patrick Dehornoy	Efficient solutions to the braid isotopy problem.	Discrete Applied Mathematics	2008	DBLP DOI BibTeX RDF
1	Gabriele Ferri	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
1	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
1	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
1	Robert S. Coulter, Marie Henderson, Pamela Kosick	Planar polynomials for commutative semifields with specified nuclei.	Des. Codes Cryptography	2007	DBLP DOI BibTeX RDF	AMS Classifications 11T06, 12K10
1	Ian M. Wanless	Cycle Switches in Latin Squares.	Graphs and Combinatorics	2004	DBLP DOI BibTeX RDF
1	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
1	Michael Joswig	Isotopy of Polygonal Domains for Generalized Polygons.	Eur. J. Comb.	1998	DBLP DOI BibTeX RDF
1	G. Bellin, A. Fleury	Planar and braided proof-nets for multiplicative linear logic with mix.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF
1	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
1	Rudi Penne	Yang-Baxter Invariants for Line Configurations.	Discrete & Computational Geometry	1996	DBLP DOI BibTeX RDF
1	Marco Pellegrini	Ray-shooting and Isotopy Classes of Lines in 3-Dimensional Space.	WADS	1991	DBLP DOI BibTeX RDF
1	Beat Jaggi, Peter Mani-Levitska, Bernd Sturmfels, Neil White	Uniform Oriented Matroids Without the Isotopy Property.	Discrete & Computational Geometry	1989	DBLP DOI BibTeX RDF