• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 25 matches

• 2020
• 
  Roland Coghetto:
  Klein-Beltrami model. Part III. Formaliz. Math. 28(1): 1-7 (2020)
• 
  Roland Coghetto:
  Klein-Beltrami model. Part IV. Formaliz. Math. 28(1): 9-21 (2020)
• 
  Roland Coghetto:
  A Case Study of Transporting Urysohn's Lemma from Topology via Open Sets into Topology via Neighborhoods. Formaliz. Math. 28(3): 227-237 (2020)
• 
  Noboru Endou:
  Reconstruction of the One-Dimensional Lebesgue Measure. Formaliz. Math. 28(1): 93-104 (2020)
• 
  Hiroshi Fujiwara, Hokuto Watari, Hiroaki Yamamoto:
  Dynamic Programming for the Subset Sum Problem. Formaliz. Math. 28(1): 89-92 (2020)
• 
  Adam Grabowski:
  Developing Complementary Rough Inclusion Functions. Formaliz. Math. 28(1): 105-113 (2020)
• 
  Adam Grabowski:
  On Fuzzy Negations Generated by Fuzzy Implications. Formaliz. Math. 28(1): 121-128 (2020)
• 
  Adrian Jaszczak:
  General Theory and Tools for Proving Algorithms in Nominative Data Systems. Formaliz. Math. 28(4): 269-278 (2020)
• 
  Adrian Jaszczak:
  Partial Correctness of an Algorithm Computing Lucas Sequences. Formaliz. Math. 28(4): 279-288 (2020)
• 
  Sebastian Koch:
  Miscellaneous Graph Preliminaries. Formaliz. Math. 28(1): 23-39 (2020)
• 
  Sebastian Koch:
  About Graph Complements. Formaliz. Math. 28(1): 41-63 (2020)
• 
  Sebastian Koch:
  Refined Finiteness and Degree Properties in Graphs. Formaliz. Math. 28(2): 137-154 (2020)
• 
  Sebastian Koch:
  About Graph Unions and Intersections. Formaliz. Math. 28(2): 155-171 (2020)
• 
  Sebastian Koch:
  Unification of Graphs and Relations in Mizar. Formaliz. Math. 28(2): 173-186 (2020)
• 
  Sebastian Koch:
  Extended Natural Numbers and Counters. Formaliz. Math. 28(3): 239-249 (2020)
• 
  Artur Kornilowicz:
  Partial Correctness of a Fibonacci Algorithm. Formaliz. Math. 28(2): 187-196 (2020)
• 
  Dominik Kulesza, Adam Grabowski:
  Formalization of Quasilattices. Formaliz. Math. 28(2): 217-225 (2020)
• 
  Adam Naumowicz:
  Elementary Number Theory Problems. Part I. Formaliz. Math. 28(1): 115-120 (2020)
• 
  Karol Pak:
  Grothendieck Universes. Formaliz. Math. 28(2): 211-215 (2020)
• 
  Christoph Schwarzweller:
  Renamings and a Condition-free Formalization of Kronecker's Construction. Formaliz. Math. 28(2): 129-135 (2020)
• 
  Christoph Schwarzweller:
  Ring and Field Adjunctions, Algebraic Elements and Minimal Polynomials. Formaliz. Math. 28(3): 251-261 (2020)
• 
  Katsumi Wasaki:
  Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I. Formaliz. Math. 28(1): 65-77 (2020)
• 
  Yasushige Watase:
  Rings of Fractions and Localization. Formaliz. Math. 28(1): 79-87 (2020)
• 
  Hiroshi Yamazaki:
  Functional Sequence in Norm Space. Formaliz. Math. 28(4): 263-268 (2020)
• 
  Rafal Ziobro:
  Multiplication-Related Classes of Complex Numbers. Formaliz. Math. 28(2): 197-210 (2020)