Search results for "Isotopy"

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